Pex公司

Pex–用于.NET的白盒测试生成。Pex自动为.NET程序生成一个小的测试套件,具有高代码覆盖率。为此,Pex执行一个系统的程序分析(使用动态符号执行,类似于路径边界模型检查),以确定参数化单元测试的测试输入。Pex通过监视执行跟踪来学习程序行为。Pex使用一个约束解算器来产生新的测试输入,这些输入执行不同的程序行为。结果是一个自动生成的小型测试套件,通常可以实现高代码覆盖率。在一个案例研究中,我们将Pex应用于.NET运行时的一个核心组件,该组件已经经过了多年的广泛测试。Pex发现了错误,包括一个严重的问题。


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

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  2. 朱利安,J。;库什纳连科,O。;马森,P。A、 。;Voiron,G.:从事件系统抽象到覆盖其状态和转换的测试生成(2018)
  3. 阿伦特,沃尔夫冈;奇门托,杰斯ú毛里西奥;佩斯,戈登J。;Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性:理论与工具(2017)
  4. 卢卡努、多雷尔;拉苏,弗拉德;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  5. 拉苏,弗拉德;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  6. 梁天一;雷诺兹,安德鲁;茨卡里泽,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  7. 阿鲁索艾,安德烈;卢卡努、多雷尔;Rusu,Vlad:基于语言转换的符号执行(2015)
  8. 安娜,卡瓦尔康蒂;Gaudel,Marie Claude:痕迹细化的测试选择(2015)
  9. 梁天一;茨卡里泽,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;Barrett,Clark:无界弦上正则成员和长度约束的决策过程(2015)
  10. 艾伯特,艾薇拉;阿里纳斯,普里;Gó米盖尔,米盖尔;Rojas,Jose Miguel:通过符号执行生成测试用例:基本概念、基于CLP的实例和基于参与者的并发(2014)ioport公司
  11. Trt公司ík、 马雷克;斯特雷吉č《带指针的符号记忆》(2014)
  12. 谢涛;张璐;肖旭升;熊英飞;郝丹:《协同软件测试与分析:进展与挑战》(2014)ioport公司
  13. 布鲁克,阿希姆D。;Wolff,Burkhart:基于定理证明的测试(2013)
  14. 阿马托,詹卢卡;帕顿,毛里齐奥;斯科扎里,弗朗西斯卡:《通过简单成分分析发现不变量》(2012)
  15. 卡莱尔,马修;杜布瓦,凯瑟琳;Gotlieb,Arnaud:正式验证的基于约束的测试工具设计的第一步:FocalTest(2012)
  16. 克里斯塔基斯,玛丽亚;ü勒,彼得;Wüstholz,Valentin:《明确假设下的协同验证与测试》(2012)
  17. 贾尼čć, Predrag:URSA:SAT统一还原系统(2012)
  18. 科斯马托夫,尼古拉;威廉姆斯,尼基;肉毒杆菌,伯纳德;收到,穆里尔;Chebaro,Omar:PathCrawler-online.com的结构测试课程(2012)ioport公司
  19. 范诺贝格,干燥剂;德哈雷,乔纳森;蒂尔曼,尼古拉;Piessens,Frank:州覆盖率:超出代码覆盖率的软件验证指标(2012)ioport公司
  20. 杨国伟;库尔希德,萨尔弗拉兹;Kim,Miryung:使用轻量级形式化方法的基于规范的测试修复(2012)ioport公司