软件测试之逻辑覆盖

软件测试之逻辑覆盖  软件测试工具

逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，它是一系列测试过程的总称，这组测试过程逐渐进行越来越完整的通路测试。从覆盖源程序预计的详尽程度分析，逻辑覆盖标准包括：   1.语句覆盖SC（statement coverage）：   选择测试数据，使被测程序中每条语句至少执行一次。   2.判定覆盖DC（decision coverage）：   选择测试用例，使程序中的每个判定至少获得一次“真值”或“假值”，或说使得程序中的每个取“真”和取“假”分支至少经历一次。   3.条件覆盖CC（condition coverage）：   选择测试用例，使得每个判定语句中的每个逻辑条件的可能值至少满足一次。   满足条件覆盖不一定满足判定覆盖。   4.条件判定组合覆盖CDC：   设计足够的测试用例，使得判定中每个条件的所有可能取值（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）至少出现一次。   5.多条件覆盖MCC：   设计足够的测试用例，使得每个判定条件中的各种可能组合都至少出现一次。   满足多条件覆盖的测试用例一定满足判定覆盖，条件覆盖和条件组合覆盖。   6.修正判定条件覆盖MCDC：修正条件判定覆盖方法要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变.

原文转自：http://www.ltesting.net