机构名称：
¥ 1.0
D. Richard Kuhn，NIST，kuhn@nist.gov Raghu N. Kacker，NIST，raghu.kacker@nist.gov Yu Lei，德克萨斯大学阿灵顿分校，ylei@uta.edu Dimitris Simos，SBA 研究部，DSimos@sba-research.org 摘要：测试是软件保证最常用的方法，但它既是一门科学，也是一门判断和艺术。结构覆盖通过为某些测试完整性概念建立正式定义的标准，为该过程增加了一些严谨性，但即使是完全覆盖，无论如何定义，也可能会遗漏与测试套件中未包含的罕见输入相关的故障。我们建议，结构覆盖度量必须辅以输入空间覆盖度量。有用的输入空间度量是存在的，并且与结构覆盖度量有关系，提供了一种验证是否已定义适当输入模型的方法。简介 将测试作为一种软件验证形式的主要反对意见之一是，它永远不可能证明被测系统适用于所有可能的输入。也很难提供关于测试集是否足以验证被测系统 (SUT) 是否正常工作的有意义的陈述。传统的结构覆盖率测量，通常是语句或分支覆盖率，有很多不足之处。即使执行了所有语句并进行了所有分支，也不能保证输入空间已被充分覆盖以进行故障检测。潜在错误可能会在稍后出现非常罕见的条件组合，而这些条件组合并未包含在测试中。系统地划分输入空间的方法已被广泛研究，但大多数方法必然涉及大量主观判断，并且不提供完整性的定量测量。组合方法提供了基于现有输入空间划分技术的方法，以提供更严格的测试。覆盖率测量完整的输入模型是实现全面测试的目标的一部分。根据在定义完整性时要考虑的系统方面，存在多种方法来确定何时认为测试足够。通常，这些方法包括完全覆盖要求的一些概念，并且可能还考虑代码的结构覆盖率。在软件工程中，结构覆盖率是指程序执行程度的度量。最广泛使用的两种度量是语句覆盖率（已执行的程序语句的比例）和分支覆盖率（也称为判定覆盖率），即被评估为真和假的分支的比例。还有许多其他度量或测试标准，包括条件覆盖率和修改后的条件判定覆盖率，并且可以证明这些标准形成了一个层次结构 [4]。例如，判定覆盖率包含语句覆盖率。结构覆盖率度量在衡量测试集的完整性方面很有价值，虽然它们的实用性有些有限。语句覆盖率是这些措施中最弱的，但未能实现完整的语句覆盖率至少表明代码没有得到充分的测试。分支覆盖率提供了更强大的
输入空间覆盖很重要
主要关键词
相关文件推荐
