修正的条件判定覆盖分析工具评估与选择.pdfVIP

载人航天2009年第3期 测控与通信 修正的条件／判定覆盖分析工具评估与选择 张卫民孙军 (北京航天飞行控制中心) 摘要使用工具进行修正的条件／判定覆盖(MC，Dc)分析可以简化软件验证工作． 但必须对候选的工具进行认真评估，确定每种工具的功能性和局限性，着重考虑的因素包括： 监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、 确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步 逻辑运算的处理和插装影响等。 关键词修正的条件／判定覆盖覆盖分析工具工具评估 中图分类号唧11．56文献标识码A文章编号 l引言 2覆盖分析工具的工作方式 MC，DC分析是一项非常复杂、繁琐的工作，利用 结构覆盖分析工具通常是利用插装代码或其 工具来执行MC，DC分析这种重复、复杂和耗时的软它的插入技术来增加测试的可见性。一般情况下． 件验证任务有助于消除因精神疲劳而可能产生的错 分析工具通过在源代码或目标代码中加入一系列 误，还可以为软件验证人员节省大量的时间。尽管使 的探针、标记或其它的监测机制来进行代码插装。 用工具来自动进行结构覆盖分析能够带来明显的好 代码插装使得分析工具能够准确地确定执行了代 处，但是，如果未对工具的作用进行适当的确认，使 码的哪些部分。代码插装完毕后执行测试用例，这 用工具也可能具有潜在的危害。 时覆盖分析工具就可以追踪测试用例执行了哪些 一旦决定要使用工具自动进行覆盖分析，就应 代码，如果需要进行更为复杂的分析，则还要追踪 当对候选的工具进行认真的评估，确定每种工具的 这些代码是如何被执行的。如果指定了结构覆盖的 功能性和局限性。对于工具的所有局限性，都应当执 通过或失败标准，分析工具则根据这些标准对代码 行适当的验证过程来加以说明。文章IlJ中介绍的MC，进行分析，并给出通过或失败报告。如果没有指定 DC分析方法可以用来帮助评价一个工具是否恰当、 通过或失败标准，分析工具则应该报告测试用例达 完全地执行了所有功能。 到的结构覆盖水平。 为了避免出现与自动覆盖分析相关的一些问 因为插装改变了代码，所以必须证明插装没有 题，本文概要地介绍了结构覆盖分析工具是如何工 隐藏错误，也没有引入错误。可以通过对源代码和插 作的，以及在选择和认证结构覆盖分析工具时应该 装后的代码分别运行测试用例并比较执行结果来说 考虑的一些重要因素。但是，这里介绍的因素并没有 明插装是否引人或隐藏了错误。这就意味着，在未插 覆盖在使用自动工具进行结构覆盖分析时应考虑的 装代码以及被测设备和测试设备中，要具有充分的 所有的问题。另外，也没有局限于讨论特定的覆盖分 可见性，这样才能观察到与插装版本相对应的结果。 析工具。 当然，可能还有其它的方法来说明插装对期望结果 来稿日期：2008—02—25 作者简介：张卫民(1962．1l一)。男．硕士。研究员，主要从事软件工程、软件可靠性、过程改进、项目管理、实时软件系统研究。 40 测控与通信 载人航天2009年第3期 不会产生影响。不管采用什么方法，须要牢记的一点 retum(AandB)orC： 是，覆盖工具确认的是经插装后的代码满足MC，DC 对这个语句