Pex公司

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


数学参考文献

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018)
  2. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  3. Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017)
  4. Rusu,Vlad;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017)
  5. Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  6. Arusoaie,Andrei;Lucanu,Dorel;Rusu,Vlad:基于语言转换的符号执行(2015)
  7. 安娜州卡瓦尔坎蒂;戈德尔,玛丽·克劳德:痕迹细化的测试选择(2015年)
  8. Liang,Tianyi;Tsiskaridze,Nestan;Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:无界字符串上规则成员和长度约束的决策过程(2015)
  9. Albert,Elvira;Arenas,Puri;Gómez Zamalola,Miguel;Rojas,Jose Miguel:通过符号执行生成测试用例:基本概念、基于CLP的实例和基于参与者的并发(2014)ioport公司
  10. Trtík,Marek;Strejček,Jan:带指针的符号记忆(2014)
  11. 谢涛;张璐;肖旭生;熊英飞;郝丹:合作软件测试与分析:进展与挑战(2014)ioport公司
  12. Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013)
  13. Amato,Gianluca;Parton,Maurizio;Scozzari,Francesca:通过简单成分分析发现不变量(2012)
  14. Carlier,Matthieu;Dubois,Catherine;Gotlieb,Arnaud:正式验证的基于约束的测试工具设计的第一步:FocalTest(2012)
  15. Christakis,Maria;Müller,Peter;Wüstholz,Valentin:《明确假设下的协同验证和测试》(2012)
  16. Janičić,Predrag:URSA:统一削减到SAT的系统(2012年)
  17. 科斯马托夫,尼古拉;威廉姆斯,尼基;博泰拉,伯纳德;罗杰,穆里尔;切巴罗,奥马尔:一堂关于PathCrawler-online.com的结构测试课程(2012)ioport公司
  18. Vanoverberghe,Dries;de Halleux,Jonathan;Tillmann,Nikolai;Piessens,Frank:州覆盖率:超出代码覆盖率的软件验证指标(2012年)ioport公司
  19. Yang,Guowei;Khurshid,Sarfraz;Kim,Miryung:使用轻量级形式化方法的基于规范的测试修复(2012)ioport公司
  20. Fähndrich,Manuel;Logozzo,Francesco:带抽象解释的静态合同检查(2011)