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）