.png){kind=icon}
返回
Contract-based testing for PHP with Praspel
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2017.06.017.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
PHP
Design by Contract
Annotations
Test generation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.5K
被引数:
8.4K
机构
引用论文
Study protocol: building an evidence base for epidemiology emergency response, a mixed-methods study.png)
BMJ Open
OAAI
BMJ OpenIF0
OAAI分享收藏Hydrogen production in single-chamber microbial electrolysis cells using Ponceau S dye3 Biotech
OAAI
3 BiotechIF0
OAAI分享收藏SURGERY IN PARKINSON'S DISEASE DIVISION OF LATERAL PYRAMIDAL TRACT FOR TREMOR帕金森病外侧锥体束区震颤的手术治疗The Lancet
The LancetIF0
PREAI
分享收藏 没有更多内容
没有更多内容