Close search

AMOST 2012

Logo de ICST La conférence ICST (International Conference on Software Testing, Verification and Validation) est une conférence internationale sur la qualité logiciel, principalement sur la vérification et la validation. Cette conférence propose plusieurs workshops dont AMOST (Advances in Model Based Testing) auquel s'est rendu Ivan Enderlin pour présenter les derniers travaux de recherche présents dans Hoa.

Grammar-Based Testing using Realistic Domains in PHP

This paper presents an integration of grammar-based testing in a framework for contract-based testing in PHP. It relies on the notion of realistic domains, that make it possible to assign domains to data, by means of contract assertions written inside the source code of a PHP application. Then a test generation tool uses the contracts to generate relevant test data for unit testing. Finally a runtime assertion checker validates the assertions inside the contracts (among others membership of data to realistic domains) to establish the conformance verdict. We introduce here the possibility to generate and validate complex textual data specified by a grammar written in a dedicated grammar description language. This approach is tool-supported and experimented on the validation of web applications.

Article and presentation

The article and the presentation are available in PDF format.