Grammar-Based Testing using Realistic Domains in PHP

Ivan Enderlin 1, 2 Frédéric Dadeau 2, 1 Alain Giorgetti 2, 1 Fabrice Bouquet 2, 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This paper presents an integration of grammar-based testing in a framework for contract-based testing in PHP. It relies on the notion of gtypes, 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 gtypes) 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.
Type de document :
Communication dans un congrès
IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. 〈10.1109/ICST.2012.136〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00751321
Contributeur : Alain Giorgetti <>
Soumis le : mardi 13 novembre 2012 - 11:06:02
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

Citation

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. 〈10.1109/ICST.2012.136〉. 〈hal-00751321〉

Partager

Métriques

Consultations de la notice

305