×

Pex公司

swMATH ID: 7263
软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux)
描述: Pex–的白盒测试生成。净利润。Pex自动为生成一个具有高代码覆盖率的小型测试套件。NET程序。为此,Pex执行系统程序分析(使用动态符号执行,类似于路径边界模型检查),以确定参数化单元测试的测试输入。Pex通过监视执行跟踪来学习程序行为。Pex使用约束解算器生成执行不同程序行为的新测试输入。其结果是自动生成一个小型测试套件,通常可以实现较高的代码覆盖率。在一个案例研究中,我们将Pex应用于的核心组件。NET运行时,它已经过了几年的广泛测试。Pex发现了错误,包括严重问题。
主页: http://rd.springer.com/chapter/10.1007/978-3-540-79124-9_10
相关软件: 投掷;可爱的;z3(零3);污水处理厂;吉隆坡机场;Java PathFinder;jCUTE公司;VeriFast公司;电子稳定控制系统/Java;规格#;布吉;YOGI公司;SpecExplorer(SpecExplorer);PathCrawler(路径爬行器);莫德;Coq公司;陌生人;ATGen公司;爆炸;ASTREE公司
引用于: 23文件

按年份列出的引文