函数后置信息在软件静态测试中的应用  

Applications of Post-Function Information in Software Static Testing

作　　者：金大海[1] 宫云战[1] 杨朝红[2] 肖庆[2] 

机构地区：[1]北京邮电大学网络与交换国家重点实验室,北京100876 [2]装甲兵工程学院信息工程系,北京100072

出　　处：《北京邮电大学学报》2010年第6期103-106,111,共5页Journal of Beijing University of Posts and Telecommunications

基　　金：国家高技术研究发展计划项目(2009AA012404);国家高技术研究发展计划重点项目(2007AA010302)

摘　　要：为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段.在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.A method sion in software static using post-function information （PFI） is presented, in order to improve the precitesting. The PFI includes local modified set and global modified set used to model the effect on data flow under testing. An algorithm to generate PFI by using control flow iteration for each function is proposed as well. The generated PFIs by the algorithm can be used in the phase of interval computation and defect pattern detection. Applications in defect detect system verifies the feasibility of this method.

关 键 词：软件测试 静态测试 函数后置信息 控制流迭代 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]