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

作     者：赵会群 卢飞 ZHAO Hui-qun;LU Fei

作者机构：北方工业大学计算机学院北京100144 

基　　金：北方工业大学优势学科项目资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2017年第44卷第4期

页      码：114-117页

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

主 题 词：路径测试 白盒测试 基本路径集 模型代数 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2017.04.025

馆 藏 号：203226989...