| 一种改进的程序可达基路径生成方法 |
| |
| 引用本文： | 王庆坛,姜淑娟,张艳梅. 一种改进的程序可达基路径生成方法[J]. 计算机工程, 2012, 38(9): 40-42 |
| |
| 作者姓名： | 王庆坛 姜淑娟 张艳梅 |
| |
| 作者单位： | 中国矿业大学计算机科学与技术学院,江苏徐州,221116 |
| |
| 基金项目： | 国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省研究生培养创新工程基金资助项目(CX10B_157Z);江苏省“青蓝工程”基金资助项目 |
| |
| 摘 要： | 考虑程序中分支冲突和异常处理结构对控制流信息的影响，提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法，构建异常控制流图。在此基础上计算相关分支之间的关系，利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明，该方法能准确生成可达基路径集，满足基路径测试的要求。
|
| 关 键 词： | 分支冲突 异常处理 可达基路径 控制流图 基路径测试 |
| 收稿时间： | 2011-11-14 |
Improved Generation Method of Feasible Basis Path in Program |
| |
| WANG Qing-tan , JIANG Shu-juan , ZHANG Yan-mei. Improved Generation Method of Feasible Basis Path in Program[J]. Computer Engineering, 2012, 38(9): 40-42 |
| |
| Authors: | WANG Qing-tan JIANG Shu-juan ZHANG Yan-mei |
| |
| Affiliation: | (School of Computer Science and Technology,China University of Mining and Technology,Xuzhou 221116,China) |
| |
| Abstract: | This paper proposes an improved method to generate the feasible basis paths,taking into account the influence of branch correlation and exception-handling constructs on the feasibility of paths.It analyzes the causes of generation for infeasible paths and gives its detecting method,constructs exceptional control flow graph which computes the branch correlations to determine the feasibility of paths,builds the feasible basis path set.Case analysis results show that the method can effectively avoid infeasible path in basis path set,and it meets the requirements of the basis path test. |
| |
| Keywords: | branch conflict exception handling feasible basis path control flow graph basis path test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
