不变量与测试用例相关论文
2 The Oracle Problem in Software Testing: A Survey 引用：Barr E T, Harman M, McMinn P, et al. The oracle problem in software testing: A survey[J]. IEEE transactions on software engineering, 2014, 41(5): 507-525. CCF A TSE 链接 2.0 摘要 本文提供了对测试预言问题的当前方法的全面调查，以及在这一重要的软件测试研究和实践领域的分析趋势。 在软件测试的许多工作中，我们试图将测试过程尽可能地自动化，以使测试更快、更便宜和更可靠。为此，我们需要一个测试预言，这是一种能够区分被测系统（Sys..
Read moredaikon使用
1 介绍 Daikon是一个动态检测不变量的工具 不变量是程序中某个特定点上保持为真的属性，这些通常出现在断言语句，文档和形式化规范中。 不变量在程序理解和其它许多应用中都非常有用，例如，不变量可以是 x.field > abs(y) y = 2 * x + 3 数组a是有序的 对于所有的列表对象lst，kst.next.prev = lst 等等，用户可以扩展Daikon以添加新的属性 动态不变量检测通过运行程序，观察程序计算的值，然后报告在观察到的执行过程中始终为真的属性。 Daikon可以在C、C++、C#、Eiffel、F#、Java、Perl和Visual Basic程序中检测属性 在spreedsheet文件中 以及其它数据源中（动态不变量监测是一种可以应用于任意数据..
Read more