基于模型代数的基本路径集的自动生成

• 作者: 卢飞 赵会群
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 路径测试 白盒测试 基本路径集 模型代数
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: NASAC 2015
• 页码范围: 114-117
• 页数: 4页
• 分类号: TP312
• 字数: 3972字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.04.025

摘要

路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法.基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键.考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法.该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集.最后通过经典案例证明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵会群	北方工业大学计算机学院	79	920	14.0	28.0
2	卢飞	北方工业大学计算机学院	1	3	1.0	1.0