Pex公司

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

此软件的关键字

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

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公司