.png){kind=icon}
Return
Contract-based testing for PHP with Praspel
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2017.06.017.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
PHP
Design by Contract
Annotations
Test generation
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
5.5K
Citations:
8.4K
Organization
Cited Papers
ShareSaveStudy protocol: building an evidence base for epidemiology emergency response, a mixed-methods study.png)
BMJ Open
OAAI
BMJ OpenIF0
OAAIShareSaveHydrogen production in single-chamber microbial electrolysis cells using Ponceau S dye3 Biotech
OAAI
3 BiotechIF0
OAAIShareSaveShareSave no more
no more