检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国矿业大学计算机科学与技术学院
出 处:《微电子学与计算机》2013年第1期104-109,共6页Microelectronics & Computer
基 金:国家自然科学基金(60970032);江苏省自然科学基金(BK2008124);江苏省研究生培养创新工程(CXLX12_0950)
摘 要:本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.This paper provides an effective and automatic method of generating basis path set,which is significant in improving the efficiency of software testing.Firstly,a basis path set of the program is generated by visiting all nodes of the program's control flow graph;secondly,infeasible paths are detected according to the dependent analysis among blocks and are deleted from the basis path set at the same time;then,some feasible independent paths which contain the edges which are not covered by the path set are added into the path set;finally,some infeasible independent paths which contain the edges which are not covered by the path set or are needed by linear operations.The author applies the proposed method in some typical programs,and the result shows that the proposed method can generate a basis path set which contains as many feasible paths as possible efficiently.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200