喻琴仪,罗扬,杨浩.一种改进的程序不可达路径静态检测方法[J].南华大学学报(自然科学版),2014,28(4):68~73.[YU Qin-yi,LUO Yang,YANG Hao.Improved Static Approach of Infeasible Paths in Program[J].Journal of University of South China(Science and Technology),2014,28(4):68~73.] |
一种改进的程序不可达路径静态检测方法 |
Improved Static Approach of Infeasible Paths in Program |
投稿时间:2014-06-04 |
DOI: |
中文关键词: 不可达路径 函数调用 调用上下文 数据流 冲突分支 |
英文关键词:infeasible paths function call call context data flow conflict branch |
基金项目: |
|
摘要点击次数: 818 |
全文下载次数: 936 |
中文摘要: |
能够精确的检测出程序中不可达路径是提高结构测试效率的关键.本文提出一种针对函数调用的程序不可达路径静态检测方法,该方法分析程序控制流图中结点的定值—引用集合数据信息,并记录调用点的函数摘要,更新调用点的调用上下文数据流信息,判断程序条件语句的冲突分支,进而检测路径的可达性.实例分析结果表明,该方法可以进一步提高不可达路径检测的准确度. |
英文摘要: |
It is the key to accurately detect the infeasible paths in the program to improve the efficiency of structured test.This article proposes a static approach to detecting infeasible path of program aiming at function call.this approach records the define-use data information of program control flow graph,and the function summary of call site,then updates its call context data flow information,finally judges the conflict branch of program conditional statement to detecting the paths accessibility.The results of case research show that the proposed method can further enhance the accuracy for detected infeasible paths. |
查看全文 查看/发表评论 下载PDF阅读器 |
关闭 |
|
|
|