埃克拉特 swMATH ID: 7273 软件作者： 卡洛斯·帕切科；迈克尔·D·恩斯特 描述： Eclat：测试输入的自动生成和分类。本文描述了一种技术，该技术从大量测试输入中选择一个可能会揭示被测软件中故障的小子集。该技术需要一个程序或软件组件，再加上一组正确的执行——例如，通过对软件正常运行的观察，或者从用户希望增强的现有测试套件中。该技术首先推断软件操作的操作模型。然后，其操作执行模式在特定方面与模型不同的输入会提示故障。通过每个操作模式只选择一个输入，可以进一步减少这些输入。结果是原始输入的一小部分，该技术认为最有可能揭示故障。因此，该技术也可以被视为一种错误检测技术。本文描述了两种补充测试输入选择的附加技术。一种是为操作模型中的测试输入自动生成oracle（一组断言）的技术，从而将测试输入转换为测试用例。另一种是分类指导的测试输入生成技术，它也使用操作模型和模式。在生成输入时，它过滤掉不太可能有助于合法输入的代码序列，从而提高了搜索容错输入的效率。我们在Eclat工具中实现了这些技术，该工具为Java类生成单元测试。Eclat的输入是一组要测试的类和一个示例程序执行语句，一个传递测试套件。Eclat的输出是一组JUnit测试用例，每个测试用例都包含一个潜在的错误修复输入和一组断言，其中至少有一个断言失败。在我们的实验中，Eclat成功地生成了暴露容错行为的输入；我们已经使用Eclat来揭示程序中的真实错误。它选择作为故障排除的输入与所有生成的输入一样，显示故障的可能性是一个数量级。 主页： http://rd.springer.com/chapter/10.1007/11531142_22 相关软件： J拉舍尔;罗斯特拉;Symstra公司;可爱的;科拉特;测试时代;Daikon公司;投掷;电子稳定控制系统/Java;OBJ3型;NanoXML;JUnit公司;JWalk公司;污水处理厂;CIL公司;数学SAT;CVC精简版;Yices公司;SMT-LIB公司;标识哈希映射 引用于： 3文件 全部的 前5名15位作者引用 1 切诺夫，E.S。 1 迈克尔·D·恩斯特。 1 Philip J.郭。 1 Michael S.肖。 1 萨帕里亚克里希纳莫奥斯蒂 1 维克托·五·库利亚明。 1 洛加那坦林加潘 1 斯蒂芬·麦卡曼特 1 卡洛斯·加布里埃尔（Carlos Gabriel），帕切科·冈萨雷斯（Pacheco González） 1 杰夫·H·珀金斯。 1 A.V.Ponomarenko。 1 鲁巴诺夫。 1 马修·桑茨。 1 肖，陈 1 兹宾，R.S。 3篇连载文章中引用 1 编程和计算机软件 1 计算机程序设计科学 1 科学中国。信息科学 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文