%0 Journal Article
%T 函数后置信息在软件静态测试中的应用
%A 金大海
%A 宫云战
%A 杨朝红
%A 肖庆
%J 北京邮电大学学报
%P 103-106
%D 2010
%R 10.13190/jbupt.201006.103.159
%X 为了提高基于模式的代码缺陷检测精度，提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响，应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后置信息，并可应用于静态分析过程中的区间计算和缺陷模式识别阶段.在缺陷检测系统中的应用结果表明，该方法具备一定的可行性.
%K 软件测试
%K 静态测试
%K 函数后置信息
%K 控制流迭代
%U http://www.buptjournal.cn/CN/abstract/abstract974.shtml