关于软件测试中的强连通图、MCDC覆盖以及testbed知识点汇总介绍
来源:互联网 发布:怎么查看淘宝店铺扣分 编辑:程序博客网 时间:2024/06/05 08:41
强连通图(Strongly Connected Graph)
是指一个有向图(Directed Graph)中任意两点v1、v2间存在v1到v2的路径(path)及v2到v1的路径的图。
LDRA公司的旗舰产品Testbed/TBrun
功能强大、功能全面、易于使用,不仅适合于主机平台软件测试,同时适合于嵌入式软件测试。
编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法,使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
对于软件开发工程师、项目负责人及高级管理者来说,软件质量的管理与监控是非常困难的且费时。
LDRA Testbed 很好地解决了这一问题,使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求,从而达到对软件项目的质量跟踪与控制,用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。
修正判定条件覆盖MCDC(Modified Condition Decision Coverage)
MC/DC首先要求实现条件覆盖、判定覆盖,在此基础上,对于每一个条件C,要求存在符合以下条件的两次计算:
1)条件C所在判定内的所有条件,除条件C外,其他条件的取值完全相同;
2)条件C的取值相反;
3)判定的计算结果相反。
核心意思是每个条件都要独立影响判定结果。为什么说“两次计算”,而不是“两个用例”呢?当循环中有判定时,一个用例下同一判定可能被计算多次,每次的条件值和判定值也可能不同,因此,一个用例就可能完成循环中判定的MC/DC。
示例:
int func(BOOL A, BOOL B, BOOL C)
{
if(A && (B || C))
return 1;
return 0;
}
- 关于软件测试中的强连通图、MCDC覆盖以及testbed知识点汇总介绍
- 软件测试知识点汇总
- 软件测试中的语句覆盖,分支覆盖,条件覆盖以及路径覆盖
- 强连通汇总
- 强连通+最小路径覆盖
- 软件测试中的逻辑覆盖
- hdu 5934 强连通 && 判断覆盖图的最少点
- 关于强连通分量
- 学习软件测试各阶段知识点汇总
- 【软件测试】白盒测试的条件覆盖标准强于判定覆盖(错)
- 关于覆盖和隐藏以及软件技巧
- 第一阶段软件测试知识点总结以及问题
- HDU3861(强连通+最小覆盖路径)
- 强连通+最小路径覆盖 hdu 3861
- 求强连通子图的方法以及简单实现
- 强连通图
- 强连通子图
- 判断强连通图
- CAS实现SSO单点登录原理
- SQL实用小语句(SQL Server)
- 朴素贝叶斯实现
- 小玩意:时间显示
- 多线程
- 关于软件测试中的强连通图、MCDC覆盖以及testbed知识点汇总介绍
- Java学习笔记(四)循环控制
- 二级指针和二维数组的比较
- bitmap file res\xxx.png is not in 3.00 format 的处理方法
- TortoiseGit上传项目到github
- Ruby on Rails服务器文件上传
- 数据结构与算法分析(c++版) #2 初涉线性表
- linux下共享内存mmap和DMA(直接访问内存)的使用 2014-08-13 09:31:40 blog.chinaunix.net/uid-7374279-id-4413316.html
- Altera硬IP开发PCIe 之二 Arria V Hard IP for PCI Express用户指南