恶作剧

Praspel:PHP中基于契约的测试的规范语言。本文介绍了一种新的规范语言Praspel,用于PHP的真实注释和规范语言。这种语言基于契约式设计范式。Praspel子句对PHP类的方法进行注释,以便使用前置和后置条件指定它们的契约,并为方法参数指定实际的域。一个实际的域描述了一组具体的,并且希望是相关的值,这些值可以分配给程序的数据(类属性和方法参数)。Praspel被实现到PHP的单元测试生成器中,它提供了一个随机测试数据生成器,它计算测试数据,再加上运行时断言检查器,它通过在运行时检查契约的满足程度来决定测试是否通过。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 安德林,伊凡;法国达多édé风险投资委员会;乔尔盖蒂,阿兰;Ben Othman,Abdallah:Praspel:PHP中基于合同的测试的规范语言(2011)ioport公司