达尼尔·莱斯科;马塞·特杰费尔 基于领域的新代码覆盖度量和相关的自动测试数据生成方法。 （英语） Zbl 1249.68032号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 36, 217-240 (2012)。 摘要：自从程序员编写程序以来，总是需要分析这些程序的正确性，这主要是通过测试完成的。然而，测试我们的程序并不能直接保证程序的质量，因为它在很大程度上依赖于使用的测试数据集。可以应用许多代码覆盖度量来衡量测试集的质量，但其中大多数主要是为命令式程序设计的，并且主要依赖于分支和循环等控制结构。问题是，表达式密集型程序和函数式编程语言通常没有这些结构。因此，相应的代码覆盖度量至少是不合适的，但主要对这类程序无用。本文提出了一种新的基于算术表达式的代码覆盖率（域覆盖率）度量。考虑了它们之间的关系和影响，例如关于编程语言结构的某种语义信息。本文还提出了一种与领域覆盖相关的自动测试数据生成方法，旨在达到尽可能高的覆盖率。 MSC公司： 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：代码覆盖度量;领域;测试数据生成;符号执行 PDF格式BibTeX公司 XML格式引用 \textit{D.Leskó}和\textit{M.Tejfel}，安理大学。布达普。罗兰多·Eötvös，Sect。计算。36217-240（2012年；兹比尔1249.68032）