软件设计师--判定覆盖,判定条件覆盖,条件组合覆盖--一个栗子

针对上图的一个判断条件,在这里将分别讨论判定覆盖、判定条件覆盖、条件组合覆盖的情况:

设T1=A>3,T2=B>3;为该判定节点的两个子条件。

(一)判定覆盖:

    所谓的判定覆盖就是让判定的真分支和假分支各执行一次,只要列出的子条件能够满足真假分支各一次就可以了:

例如: A=4,B=3(T1=True,T2=False)走了真分支,A=3,B=3(T1=False,T2=False)走了假分支。

    当然,能走真假分支都走的条件组合还有很多种,这里随便选一种就可以了。

(二)判定条件覆盖(条件覆盖):

    所谓判定条件覆盖就是给出的条件组合里面每个子条件的真、假都出现过,也就是T1(True,False),T2(True,False)都出现过。现在如果我们拿过问题(一)的条件组合,那么得到的就是:

     A=4,B=3(T1=True,T2=False)

    A=3,B=3(T1=False,T2=False)

发现T1(True,False)都有了,T2(__,False)只有False,没有出现True,所以随便补充一个T2=True的条件组合就可以了:

    A=3,B=4(T1=False,T2=True)

    这样就满足判定条件覆盖了,当然,如果不在问题(一)的基础上扩展的话,可以用判定条件覆盖的最暴力的方式给出答案:

     A=4,B=4(T1=True,T2=True)

    A=3,B=3(T1=False,T2=False)

这样就满足了判定条件覆盖。

(三)条件组合覆盖:

    所谓的条件组合覆盖,就是一个判定的所有子条件的组合情况都出现一次。一般使用列表法,把子条件的所有组合情况都列出来,然后填表:

 

T1T2红色是从问题AB
TRUETRUE(二)继承的55
FALSEFALSE------33
TRUEFALSE绿色是补充的43
FALSETRUE--------34

 

    在表格中的A B组合就满足了条件组合覆盖,可见条件组合覆盖是包含着判定条件覆盖的,而判定条件覆盖不一定包含判定覆盖。

 

    注:本例中给出的测试用例严格来讲都是错误的,因为一个完整的测试用例,还要给出结果,这里只是为了说明问题,程序是截块的,所以就只给了输入,没有给输出。

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/569171.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

sqliteman install parameter

1、安装前准备系统要求:linuxQt库版本:一般都有2、安装文件 官网自行下载3、安装1)这里用的pscp pscp .\sqliteman-1.2.2.tar.gz root192.168.30.140:/root/from_pscp2)tar xf sqliteman-1.2.2.tar.gz3)执行 cmake -D…

python3 多继承搜索__init__方法的两种策略

继承情形一:测试代码如下: class A(object):def __init__(self):print(A)class B(object):def __init__(self):print(B)class C(A):def __init__(self):print(C)class D(B): def __init__(self):print(D)class E(C, D):pass执行当前代码 xE()&#xff0c…

Unity Shader 屏幕后效果——Bloom外发光

Bloom的原理很简单,主要是提取渲染图像中的亮部区域,并对亮部区域进行模糊处理,再与原始图像混合而成。 一般对亮部进行模糊处理的部分采用高斯模糊,关于高斯模糊,详见之前的另一篇博客: https://www.cnblo…

python3 一些常用的数学函数

# -*- coding:utf-8 -*- # Author: Evan Mi import math# 返回数字的绝对值,如abs(-10)返回10 print(abs(-10)) # 返回数字向上取整的结果 print(math.ceil(1.3)) # 比较两个数 import operator print(operator.eq(1, 1)) print(operator.ne(1, 1)) print(operator.…

Gauss elimination Template

Gauss elimination : #include <iostream> #include <cstdlib> #include <cstring> #include <stdio.h> using namespace std;const int MAXN 50;int a[MAXN][MAXN];//增广矩阵 int x[MAXN];//解集 bool free_x[MAXN];//标记是否是不确定的变元 int f…

不要假装努力,结果不会陪你演戏!

转载于:https://www.cnblogs.com/strive-19970713/p/11171205.html

机器学习基石作业一中的PLA和POCKET_PLA实现

前提&#xff1a;文中使用的数据是本人下载下来以后自己处理过的&#xff0c;就是把文件中的所有分隔符都换成了空格。所以load_data方法只能加载我自己的数据&#xff0c;想要加载原生数据的话需要自己写load_data方法。 两个算法的关键地方都需要判断当前的w在某个样本点x上是…

机器学习基石-作业二-第10题分析

题目如上图所示&#xff0c;答案是&#xff1a;&#xff1b;在网上看到的答案中有一个很好的解释就是说在一个n纬的欧几里德空间里&#xff0c;分别按照参数做一个垂直于每个轴的超平面&#xff0c;这些超平面能够打散这么多个点。首先我承认这个事实&#xff0c;具体的证明还没…

用CSS控制Table和div因撑开而变形

用CSS控制Table和div因撑开而变形 http://inrainight.blogbus.com/logs/50853786.html <style>table { table-layout: fixed; word-wrap:break-word; }div { word-wrap:break-word; }</style> 语法&#xff1a; word-wrap : normal | break-word 参数&#xff1…

机器学习基石作业二中的DECISION_STUMP实现

概要&#xff1a;在林老的题目描述中&#xff0c;DECISION_STUMP&#xff08;其实就是“决策桩”&#xff0c;也就是只有一层的决策树&#xff09;。题目中提到了的选去是把属性&#xff08;一维的&#xff09;按照从小到大的顺序排列以后取两个挨着的值的平均值&#xff0c;网…

【MM系列】SAP 关于更改物料的价格控制类型

公众号&#xff1a;SAP Technical本文作者&#xff1a;matinal原文出处&#xff1a;http://www.cnblogs.com/SAPmatinal/ 原文链接&#xff1a;【MM系列】SAP 关于更改物料的价格控制类型前言部分 大家可以关注我的公众号&#xff0c;公众号里的排版更好&#xff0c;阅读更舒适…

机器学习基石-作业三-第2题分析以及通过H证明EIN的讨论

题目&#xff1a; 这是机器学习基石作业三种的第二小题&#xff0c;额&#xff0c;在网上看了很多解答&#xff08;解答也不多&#xff09;感觉都没有说清楚为什么&#xff0c;所以励志清楚滴解决一下这个问题&#xff0c;经过努力&#xff0c;自认为得到了详细的解答&#xff…

Nginx的平滑升级记录---适用于编译安装的Nginx

一、查看自己的Nginx的版本号 [rootlocalhost sbin]# cd /usr/local/nginx/sbin/ [rootlocalhost sbin]# ls nginx [rootlocalhost sbin]# ./nginx -V nginx version: nginx/1.15.0 built by gcc 4.8.5 20150623 (Red Hat 4.8.5-36) (GCC) configure arguments: 二、确定自己要…

机器学习基石-作业三-代码部分

梯度下降迭代和牛顿迭代&#xff0c;gradient_and_newton.py # -*- coding:utf-8 -*- # Author: Evan Mi import numpy as np""" 作业三中使用梯度下降和牛顿法进行迭代 """def update(u, v, eta):u_tem u - eta * (np.exp(u) v * np.exp(u*v…

设备树中#address-cells和#size-cells作用

device tree source Example1 / {#address-cells <0x1>; // 在 root node 下使用 1 個 u32 來代表 address。#size-cells <0x0>; // 在 root node 下使用 0 個 u32 來代表 size。......memory { // memory device... reg <0x90000000>; /…

[线段树][树上差分] Jzoj P3397 雨天的尾巴

Description 深绘里一直很讨厌雨天。灼热的天气穿透了前半个夏天&#xff0c;后来一场大雨和随之而来的洪水&#xff0c;浇灭了一切。虽然深绘里家乡的小村落对洪水有着顽固的抵抗力&#xff0c;但也倒了几座老房子&#xff0c;几棵老树被连根拔起&#xff0c;以及田地里的粮食…

02(c)多元无约束优化问题-牛顿法

此部分内容接《02(a)多元无约束优化问题》&#xff01; 第二类&#xff1a;牛顿法(Newton method) \[f({{\mathbf{x}}_{k}}\mathbf{\delta })\text{ }\approx \text{ }f({{\mathbf{x}}_{k}}){{\nabla }^{T}}f({{\mathbf{x}}_{k}})\cdot \mathbf{\delta }\frac{1}{2}{{\mathbf{\…

推荐系统浅浅的例子

对于推荐系统&#xff0c;有很多的很强大的算法。这里作为练习&#xff0c;只介绍基本的协同过滤算法&#xff08;userbased&#xff09;和FM&#xff08;通过梯度下降的角度&#xff0c;还可以通过交替优化的角度来看&#xff09;。 这里的例子是在七月算法的视频中看的&#…