软件测试-白盒测试:域测试
域测试
域测试(Domain Testing)是一种基于程序结构的测试方法。
为了域测试的方便,被测程序规定了一些限制:程序中不出现数组、程序中不含有子函数或子例程、程序中没有输入和输出错误、程序的分支谓词是简单谓词(不包含AND和OR)、程序分支谓词是线性的、程序输入域是连续的(非离散)、相邻的两个域(路径)上的计算是不相同的。
域测试的“域”指的是程序的输入空间。测试的理想结果就是检验输入空间中的每一个输入元素是否都产生正确的结果。输入空间又可分为不同的子空间,子空间的划分是由程序中分支语句中的谓词决定的,每一子空间对应一种不同的计算。
- 输入域结构
程序中包含三个条件语句的谓词:a. I<=J+1,K>=I+1,I=5。
- 测试点的选择
有两类测试点可供选择,一类称作ON点,这类测试点位于域的边界上;另一类称作OFF点,它离边界有一个小距离ε,并在被测域之外。
其中AB是测试输入空间某一子空间的一条边界(由被测程序决定),PQ是程序正确时实际边界的位置。A、B是两个ON点,C点是一个OFF点,离AB边界的距离是ε。
虚线以下为域D1,虚线以上为域D2。A、B应该在域D1中,C应该在域D2中。
判断测试点是否给出正确结果的依据是此测试点是否属于其应属的域中。ON-OFF-ON这种交错取点法对边界位移错误是相当有效的。 - 步骤
a. 根据各分支谓词,画出域分割图。
b. 对每一个域的每一个边界用ON-OFF-ON原则选取测试点进行测试。
c. 在域内取一些点进行测试。
软件测试-白盒测试:域测试相关推荐
- 软件工程——软件测试(黑盒测试、白盒测试、测试分析报告)
经过前面软件测编码阶段,是不是我们就可以把软件发布出去供用户使用了呢?不是的,为了确保软件不会出现不必要的差错,还需要经过重重测试的. 目录 软件测试的目的 软件测试的原则 软件测试的方法有哪些? 测 ...
- 软件测试质量保证与测试
软件测试质量保证与测试 第一章 软件测试概述 1.1 软件测试背景 随着计算机技术的迅速发展和越来越广泛深入地应用于国民经济与社会生活的各个方面,软件系统的规模和复杂性与日俱增,软件的生产成本和软件中 ...
- BS和CS架构,软件开发的瀑布模型,快速原型模型、螺旋模型、敏捷开发、软件测试分类,测试的分类和理解
1.BS和CS架构 1.1 BS:浏览器与服务器结构 优点:客户端无需安装,有web浏览器即可 缺点:在速度和安全性上需要花费巨大的设计成本 1.2 CS:客户机与服务器结构 优点:CS架构的页面 ...
- 软件测试-白盒测试:逻辑覆盖
逻辑覆盖 参考文献: 软件测试第4章白盒测试一 软件测试--白盒测试 白盒测试-覆盖测试(六种覆盖方法) 几种常用的逻辑覆盖测试方法 目的:结构测试是依据被测程序的逻辑结构设计测试用例,驱动被测程序运 ...
- 工资软件测试白盒测试报告,软件测试白盒测试实验报告
<软件测试白盒测试实验报告>由会员分享,可在线阅读,更多相关<软件测试白盒测试实验报告(7页珍藏版)>请在人人文库网上搜索. 1.西南科技大学计算机学院实验报告实 验 名 称 ...
- 软件测试用例白盒测试,软件测试白盒测试测试用例与代码.doc
软件测试白盒测试测试用例与代码 实验二 白盒测试 1.实验目的 能熟练应用白盒测试技术设计测试用例 2.实验内容 计算生日是星期几 已知公元1年1月1日 是星期一.编写一个程序,只要输入年月日,就能回 ...
- 软件测试 白盒测试案例--代码输入日期计算星期数
文章目录 软件测试 白盒测试案例--代码输入日期计算星期数 一.实验内容 二.实验步骤 三.实验结果 软件测试 白盒测试案例–代码输入日期计算星期数 一.实验内容 以下代码为输入日期计算星期数.对其代 ...
- 软件测试用例白盒测试,软件测试-白盒测试用例练习题
<软件测试-白盒测试用例练习题>由会员分享,可在线阅读,更多相关<软件测试-白盒测试用例练习题(5页珍藏版)>请在人人文库网上搜索. 1.白盒测试用例练习一.为以下所示的程序段 ...
- 软件测试开发:常见测试类型概念
软件测试是软件开发中非常重要的一个环节,软件测试工程师需要对每个环节进行严格把控,才能保证系统在每个阶段得以控制.下面小编就为大家详细介绍一下软件测试开发:常见测试类型概念的相关内容. 软件测试开发: ...
最新文章
- InnoDB purge原理--哪些undo log可purge
- MobileNetV3
- idea使用svn拉取项目代码_IntelliJ IDEA 14 拉取SVN maven 多模块项目 部署tomcat 详细图解!...
- 杭电acm2151题java的解法,杭电ACM题型分类
- nginx php oracle,第8天 ORACLE安装及NGINX整合PHP环境
- layui select框代码实现自动下拉
- EF连接ORACLE
- DBA突破35岁难题的三种策略
- np.linalg 线性代数
- 虚拟机centos7启动无法识别磁盘_分享VSAN磁盘无法识别的故障解决方法
- java debugger
- RabbitMQ~一些术语和最消息的生产
- beego 初体验 - 环境搭建
- 安信可云服务器,4g dtu测试,利用安信可进行透传测试
- Blender学习笔记(3)建模|blender
- 什么是web移动端-移动端布局特点
- 163邮箱 提示xm002 NO SELECT Unsafe Login. Please contact kefu@188.com for help
- 【CSDN AI 周刊】No. 005 | 高精地图在无人驾驶中的应用
- 欧盟数据保护通用条例》(General Data Protection Regulation,简称GDPR)。
- 基于C#winform的学生信息管理与成绩评价系统