基于函数调用路径的数据流分析错误定位  

Fault Location of Data Flow Analysis Based on the Function Calling Path

作　　者：宁国秀 牟永敏[1] 申闫春[1] 张志华[1] 

机构地区：[1]北京信息科技大学,北京100101

出　　处：《计算机仿真》2016年第6期396-400,428,共6页Computer Simulation

基　　金：国家自然科学基金项目面上基金(61370129);北京市学科与研究生教育基金(PXM2015_014224_000018)

摘　　要：软件调试过程中,如何高效准确地定位软件中的错误一直是一个重点也是难点。而数据是程序的中心,由数据引起的错误是软件系统中常见的。就软件测试中的错误定位针对C源程序提出一种基于函数调用路径的数据流分析的技术,着重分析程序中的数据流信息,沿着函数调用路径分析数据流的变化结合程序切片的思想来定位软件中的错误。仿真结果表明:基于函数调用路径的数据流分析错误定位方法能够有效地检查出程序中存在的与变量相关的错误。How to locate the fault in the software is always a key and difficult point in the process of the software debugging. The data are the core of the program, and the fault caused by data is common in the software system. A data flow analysis technique based on the function calling path for C language source program is presented in this pa- per, which is based on the fault localization in software testing. And the data flow information in the program is ana- lyzed emphatically. This paper analyzes the change of data flow along the function calling path, combines with the i- dea of program slicing to locate the fault in the software. Tile experimental results show that the proposed fault locali- zation method can check the fault which associated with the variables in the program effectively.

关 键 词：函数调用路径 数据流 程序切片 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]