摘要
软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。基路径测试作为路径测试的一种重要手段,是软件自动化测试的热点。但是由于基路径基于数学的向量理论,并不考虑程序的逻辑情况,使得在实际工作中很多基路径本身是不可达路径。通过分析判定节点的定义-判定序列的方法提出不可达路径的检测手段,并以该手段为基础,提出可达基路径自动生成算法,使得自动生成可达基路径集成为可能。
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.
出处
《武汉理工大学学报》
CAS
CSCD
北大核心
2009年第3期54-58,共5页
Journal of Wuhan University of Technology
基金
863高科研究计划(2007AA01Z185)
关键词
基路径
程序图
软件测试
路径测试
basis path
program diagram
software testing
path testing