消除不可达路径的基路径自动获取方法研究  

A Research on Basis Path Auto-acquire Method Without Infeasible Path

作　　者：李勇华[1] 吴莹[1] 王锋[1] 毋国庆[2] 

机构地区：[1]武汉理工大学计算机科学与技术学院,武汉430063 [2]武汉大学计算机学院,武汉430072

出　　处：《武汉理工大学学报》2009年第3期54-58,共5页Journal of Wuhan University of Technology

基　　金：863高科研究计划(2007AA01Z185)

摘　　要：软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路径。通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能。Software testing, an important way to maintain software quality is an important part of software engineering. Basic path testing, as an important method, is the hotspot of automatic testing. Since basic path which bases on math vector theory does not consider program logic, many basis paths themselves are infeasible paths in practice. This paper presents testing measure of infeasible path by analyzing DEF-JUDGE-SEQ （n） and presents feasible basic path auto-create arithmetic based on above measure and makes auto-create feasible basic path probable.

关 键 词：基路径 程序图 软件测试 路径测试 

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