基路径与业务逻辑结合的有效测试路径集算法  

An Effective Path Set Algorithm Based on a Combination of Basis Paths and Business Logic

作　　者：杜庆峰[1] 张秋华[1] 

机构地区：[1]同济大学软件学院

出　　处：《同济大学学报（自然科学版）》2013年第1期135-141,共7页Journal of Tongji University:Natural Science

基　　金：国家自然科学基金(41171303)

摘　　要：在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的.Based on an analysis of the basis path test methods and the latest relevant research results, this paper defines variable dependence and non-affiliated path according to the tested program and its program graph. Subsequently, the calculation formula VE of the set of effective path is devived. Furthermore, an algorithm model for solving infeasible paths is established. A theoretical derivation and an application prove the algorithm to be feasible and efficient.

关 键 词：基路径 无效路径 算法 测试用例 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]