软件测试——2.5 数据流测试

数据流测试

关注点上的变量的操作是否正确

关于变量的操作：

· 定义：赋值、初始化……

· 使用

def(n) def(e)：节点n 边e上所有定义的变量

use(n) use(e)：节点n 边e上所有使用的变量

定义引用对（DU pair）：

控制流(li,lj)构成的DU对是指，在li定义，在lj使用的变量

定义清晰（Def-clear）：

从li到lj的路径上变量v是定义清晰的是指从li定到lj使用的中间，变量v没有被重新定义过

数据流的可达：

有一条定义清晰的路径，可以从li到lj

定义引用路径（DU Path）：

定义清晰并且是简单的一个子路径

du(ni, nj, v)：the set of du-paths from ni to nj

du(ni, v)：the set of du-paths that start at ni

3种数据流覆盖准则：

定义覆盖（All-defs coverage, ADC）

关于某个变量v，它所有定义的地方都至少覆盖过一次
引用覆盖（All-uses coverage, AUC）

关于某个变量v，所有引用的地方都至少覆盖一次
所有的定义引用路径覆盖（All-du-paths coverage, ADUPC）

覆盖变量v的所有定义引用路径

软件测试——2.5 数据流测试相关推荐

【软件测试】白盒测试の数据流测试
文章目录数据流测试数据流图动态数据流测试数据流测试数据流测试方法根据程序中定义的位置和变量的使用来选择程序的测试路径. 数据流测试是一种强大的工具,用于检测由于编码错误而导致的数据值的不当使 ...
软件测试学习笔记（三）控制数据流测试
软件测试学习笔记(三)控制&数据流测试视频链接:软件测试_中国大学MOOC 2.3 结构化覆盖 2.4 控制流测试 2.5 数据流测试 1.什么是顶点覆盖? 对每个测试需求,即可达顶点,都可 ...
软件测试的16种测试类型
软件测试主要从以下16种类型进行测试: 一:功能测试(10个方面) 菜单.工具栏.快捷键.下拉框.按钮.单选按钮.复选按钮.切换.链接.触发键二:界面测试登陆界面.总界面.输入界面(增.删.改.查 ...
软件测试——性能测试、压力测试、负载测试等详解
软件测试--性能测试.压力测试.负载测试等详解 1. 总述先看博客:性能测试.负载测试.压力测试区别(博主的行文很清晰,很努力地在举例子). 压力测试.负载测试都是性能测试. 压力测试是一种破坏性 ...
《软件测试技术大全：测试基础流行工具项目实战(第3版)》—第1章1.2节软件测试的发展...
本节书摘来自异步社区<软件测试技术大全:测试基础流行工具项目实战(第3版)>一书中的第1章,第1.2节软件测试的发展,作者陈能技 , 黄志国,更多章节内容可以访问云栖社区"异 ...
全员编程的时代下，软件测试如何转渗透测试？
随着时代的不断发展,软件测试这一行越来越不好做了,各种自动化工具的普遍,再加上00后都开始抢饭碗了(开个玩笑). 软件测试:(Software Testing),一种用来促进鉴定软件的正确性.完整性. ...
虚拟WIFI软件测试工程师,【Wifi测试工程师是什么职位】中互联zhl.com2021年Wifi测试工程师待遇怎么样-看准网...
岗位职责: 1. 根据项目计划制定路由测试工作计划,包括系统测试.性能测试.自动化测试和回归测试. 2. 对整个测试项目进行跟踪管理,对最终的产品质量负责: 3. 编写路由测试方案.测试计划.测试报告 ...
白盒测试--数据流测试
文章目录白盒测试--数据流测试基础定义最少测试用例数计算白盒测试–数据流测试基础定义数据流测试主要用于优化代码,早期的数据流分析常常集中于定义/引用异常的缺陷. 变量被定义,但从来没有使用 ...
全国大学生软件测试大赛Web应用测试（一）赛项简介
全国大学生软件测试大赛Web应用测试(一)赛项简介 web应用测试环境配置所需资料链接 Selenium功能测试 Jmeter性能测试 Web众包测试在全国大学生软件测试大赛中Web应用测试共包含三 ...

软件测试——2.5 数据流测试

数据流测试

关于变量的操作：

定义引用对（DU pair）：

定义清晰（Def-clear）：

数据流的可达：

定义引用路径（DU Path）：

3种数据流覆盖准则：

定义覆盖（All-defs coverage, ADC）

引用覆盖（All-uses coverage, AUC）

所有的定义引用路径覆盖（All-du-paths coverage, ADUPC）

软件测试——2.5 数据流测试相关推荐

最新文章

热门文章