条件覆盖(Condition coverage)

一个判定中往往包含了若干个条件，例如图6.4的程序中，判定(A＞1) AND (B=0)包含了两个条件：A＞1以及B=0，所以可引进一个更强的覆盖标准——“条件覆盖”“条件覆盖”的含义是：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。

图6.4的程序有四个条件：

A＞1、B=0、A=2、X＞1

为了达到“条件覆盖”标准，需要执行足够的测试用例使得在a点有：

A＞1、A≤1、B=0、B≠0

等各种结果出现，以及在b点有：

A=2、A≠2、X＞1、X≤1

等各种结果出现。

现在只需设计以下两个测试用例就可满足这一标准：

①A=2，B=0，X=4 (沿路径ace执行)； ②A=1，B=1，X=1 (沿路径abd执行)。

“条件覆盖”通常比“判定覆盖”强，因为它使一个判定中的每一个条件都取到了两个不同的结果，而判定覆盖则不保证这一点。但如对语句IF(A AND B)THEN S设计测试用例使其满足"条件覆盖",即使A为真并使B为假,以及使A为假而且B为真,但是它们都未能使语句S得以执行。

条件覆盖(Condition coverage)相关推荐

白盒测试的5种逻辑覆盖法
文章目录判定覆盖法 Decision Coverage (DC) 条件覆盖 Condition Coverage (CC) 判定-条件覆盖 Condition-Decision Coverage 条 ...
软件测试中英文词汇汇总
Acceptance testing : 验收测试 Acceptance Testing:可接受性测试 Accessibility test : 软体适用性测试 actual outcome:实际结果 ...
软件测试术语中英文对照(部分)
Acceptance testing : 验收测试 Acceptance Testing:可接受性测试 Accessibility test : 软体适用性测试 actual outcome:实际结果 ...
Modelsim仿真流程
Modelsim仿真流程 1. Modelsim简介略. 2. modelsim仿真流程:modelsim基本的仿真流程包括建立库.建立工程并编译.仿真.调试.但在libero环境中运行models ...
JVM插码之六：jacoco插码及问题“$jacocodata 属性 Method not found: is$jacocoData”
在使用jacoco统计自动化代码覆盖率 jacoco统计自动化代码覆盖率 1. 简介 1.1. 什么是Jacoco Jacoco是一个开源的代码覆盖率工具,可以嵌入到Ant .Maven中,并提供了E ...
软件测试测试策略_测试策略| 软件工程
软件测试测试策略 Testing is a process of checking any software for its correctness. Various strategies are ...
软件测试中英文词汇对照表
Acceptance testing : 验收测试 Acceptance Testing:可接受性测试 Accessibility test : 软体适用性测试 actual outcome:实际结果 ...
软件测试英语单词词汇
软件测试英语单词 Acceptance testing : 验收测试 Acceptance Testing:可接受性测试 Accessibility test : 软体适用性测试 actual out ...
软件测试中一般术语的的英文缩写
单元测试:Unit Testing 驱动单元:driver 桩单元:Stub 集成测试:Integration Testing 系统测试:System Testing 性能测试:Performance ...
程序测试的逻辑覆盖测试方法
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术.它属白盒测试.白盒测试的测试方法有代码检查法.静态结构分析法.静态质量度量法.逻辑覆盖法.基本路径测试法.域测试.符号测试.Z路径覆盖.程序变 ...

条件覆盖(Condition coverage)

条件覆盖(Condition coverage)相关推荐

最新文章

热门文章