软件测试——2.2 图测试覆盖准则

本文深入探讨了软件测试中的覆盖技术,包括语法可达、语义可达的概念,以及结构覆盖和数据流覆盖的区别。同时,文章详细解释了测试准则和测试需求的定义,以及如何根据这些准则来评估测试用例集的有效性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

可达

​ 语法可达:通过语法构建的图结构中,存在一条路径可以到达这个子图

​ 语义可达:在实际程序中,存在一个测试可以跑到子图

覆盖:

​ 存在一条测试路径p1可以覆盖顶点v:v恰好在路径p1中

​ 存在一条测试路径p1可以覆盖边e:边e恰好在路径p1中

​ 存在一条测试路径p1可以覆盖子路径p’:子路径p恰好在路径p1中

结构覆盖

​ 仅关注图的点和边

数据流覆盖

​ 在图的电和边上标注数据流信息

测试准则

测试需求(Test Requirement, TR):用来描述测试路径性质的定义

测试准则(Test Criterion):用来描述测试需求的一些规则

​ 给定一个测试准则C,对应派生的测试需求TR,我们称一个测试用例集T满足这个准则,是指这个测试需求TR里面的每一个测试需求tr都可以被这个测试用例集T里的某一个测试用例t所满足

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值