一种生成符合MC／DC覆盖准则的测试用例算法.pdfVIP

10 一种生成符合MCD／C覆盖准则的测试用例算法 一 种生成符合MCD／C覆盖准则的测试用例算法 陈 星 陈新国2 (1．中国航天工程咨询中心，北京，100048；2．中科软科技股份有限公司，北京，100098) 摘 要 MC／DC即修改条件判／定及盖，是一种较新的结构覆盖准则，它是在 C／DC (条件／判定覆盖) 的基础上发展起来的。与其它结构及盖准则相比，它只是线性地增加了测试用例的数量，使得软件测试更加 具有可操作性。本文提出了一种符合 MC／DC准则的测试用例 自动生成方法，并结合实例对该方法进行了验 证 。 关键词 MC／DC；测试用例；覆盖准则 O 引言 软件测试方法中的结构测试是一种按照程序 内部逻辑结构和编码结构设计测试数据的测试方法。 MC／DC是软件结构覆盖测试准则之一，它是在C／DC的基础上发展起来的，但与C／DC存在不同之处：设 计测试用例的方法不同、对应的测试用例集不同、在测试中的覆盖范围不同、用途不同。MC／DC测试 方法与语句覆盖、判定覆盖、路径覆盖等其它结构覆盖准则相比，具有很多优点：如继承了多重条件 覆盖的优点，测试用例的数量随着条件数 目线性增长，对操作数及判定条件敏感等5【】。正因为这些优 点，MCD／C在软件深度覆盖测试中得到了广泛的应用。本文提出了一种符合MC／DC准则的测试用例 自 动生成方法，并结合实例对该方法进行了验证。 1 MCD／C覆盖准则 1．1 基本概念 条件：不包含逻辑操作符的布尔表达式，仅仅 由关系操作符 (、、=等等)构成的布尔表达 式属于条件 【。 判定：由条件及零个或多个逻辑操作符 (与，或，非，异或等)组成的逻辑表达式图。 真值向量：由判定语句的条件所产生的一个布尔值向量。 1．2 CD／C覆盖准则 C／DC即条件／判定覆盖准则，该覆盖必须同时满足判定覆盖和条件覆盖的要求，即必须有足够多 的测试用例去覆盖每个判定所可能出现的结果和每个条件所可能出现的结果3【】。由该定义可知，要设 计出足够多的测试用例，使得判定中的每个条件的所有可能结果至少出现一次，每个判定本身所有可 能结果也至少出现一次。 1．3 MC／DC被盖准则 MC／DC即修改的条件 定覆盖准则，其定义为：程序中的每个入 口点和出口点至少唤醒一次，每 个条件的所有可能结果至少出现一次，并且判定中的每一个条件能够独立的影响一个判定的结果，也 收稿 日期：2013．06-10 2013年 9月 第 3期 教 学 与 科 技 11 就是在其它条件不变的前提下仅改变某个条件的值就能使判定结果改变 3【】。MC／DC是在C／DC的基础上 又加了一条限制4【J，即每一个判定中的每一个条件能够独立影响一个判定的输出，也就是在其它条件 不变的前提下仅改变这个条件的值，就能使判定结果改变。 1．4 MC／DC对 一 个MC／DC对是一对真值向量，这对真值向量使得判定语句有不同的结果，但结果的不同仅仅取 决于真值向量中一个条件值的变化。这对真值向量又称为对偶真值向量。 由MC／DC对的定义，可以看出，符合MC／DC对的两个真值向量能够独立影响结果。可以首先穷举 出一个判定中所有条件的真值组合，然后根据MC／DC对的定义，确定出每个条件的MC／DC对。 2 人工设计符合MC／DC准则用例的方法 两种比较常见的人工设计符合MC／DC准则用例的方法：唯一原因法，屏蔽法。下面以判定z=(AI B) (CID)为例，其中A，B，C，D均为布尔型条件，结合唯一原因法来说明人工设计方法。 唯一原因法的要点是：仅仅所关心的条件值和判定结果可以改变，而其他所有可能的条件必须保 持固定，固定所有其他的条件是为了确保只有该条件能独立影响判定结果。以下是采用唯一原因法生 成符合MC／DC准则用例的步骤。 2．1 找 出独立影响对 表 1：z= (AIB) (ClD)唯一原因法示例 j 髻 录1平组一 判j皂结 l 倒l立影响 tlI勺对应组号 。慧- ．1．鱼— 。¨ — 誊 B≤ e