Contract-based testing for PHP with Praspel
| Affiliation auteurs | !!!! Error affiliation !!!! |
| Titre | Contract-based testing for PHP with Praspel |
| Type de publication | Journal Article |
| Year of Publication | 2018 |
| Auteurs | Dadeau F, Giorgetti A, Bouquet F, Enderlin I |
| Journal | JOURNAL OF SYSTEMS AND SOFTWARE |
| Volume | 136 |
| Pagination | 209-222 |
| Date Published | FEB |
| Type of Article | Article |
| ISSN | 0164-1212 |
| Mots-clés | Annotations, Design by Contract, PHP, test generation |
| Résumé | 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. (C) 2017 Elsevier Inc. All rights reserved. |
| DOI | 10.1016/j.jss.2017.06.017 |