Mutation of model checker specifications for test generation and evaluation
Mutation of model checker specifications for test generation and evaluation
复制标题
用于测试生成和评估的模型检查器规范的突变
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Y. Yesha
中科院分区：
文献类型：
--
作者：
P. Black;Vadim Okun;Y. Yesha
模型检查规范的突变分析是最近的发展。这种方法会改变规范，然后应用模型检查器将突变体与原始规范进行比较，以自动生成测试或评估覆盖范围。规范变异算子的属性尚未被深入探索。我们报告了这些运算符的理论和实证比较的工作。我们未来的计划包括研究规范的形式如何影响结果，寻找不同运算符之间的关系，以及根据独立指标验证该方法。
Mutation analysis on model checking specifications is a recent development. This approach mutates a specification, then applies a model checker to compare the mutants with the original specification to automatically generate tests or evaluate coverage. The properties of specification mutation operators have not been explored in depth. We report our work on theoretical and empirical comparison of these operators. Our future plans include studying how the form of a specification influences the results, finding relations between different operators, and validating the method against independent metrics.