Contract-based testing for PHP with Praspel
Autor: | Frédéric Dadeau, Alain Giorgetti, Ivan Enderlin, Fabrice Bouquet |
---|---|
Přispěvatelé: | Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), LIIP (LIIP) |
Rok vydání: | 2018 |
Předmět: |
Programming language
Computer science 020207 software engineering [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 02 engineering and technology Specification language Design by contract computer.software_genre [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Test (assessment) [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] Test case [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] Hardware and Architecture Formal specification 0202 electrical engineering electronic engineering information engineering [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET] 020201 artificial intelligence & image processing [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] computer Software Information Systems Test data |
Zdroj: | Journal of Systems and Software Journal of Systems and Software, 2018, 136, pp.209-222 |
ISSN: | 0164-1212 |
Popis: | International audience; We summarize several contributions related to the PHP Realistic Annotation and SPEcification Language (Praspel). This language extends PHP programs with annotations for the formal specification of the behavior of their functions and for the declaration of types for their data. These contracts are used to automate test generation, by deriving test cases and test data, and test execution, by checking assertions at run-time in order to establish the test verdict. Our approach to contract-based testing for PHP is fully implemented into a PHP framework currently in use by several web companies. |
Databáze: | OpenAIRE |
Externí odkaz: |