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

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

软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路径。通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能。

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.