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

• 作者: 宫云战 杨朝红 肖庆 金大海
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 软件测试 静态测试 函数后置信息 控制流迭代
• 年，卷（期）: 2010,（6）
• 页码范围: 103-106,111
• 分类号: TP311.5
• 字数: 2884字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2010.06.023

摘要

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性得到所有函数的后置信息,并可应用于静态分析过程中的区间计算和缺陷模式识别阶段.在缺陷检测系统中的应用结果表明,该方法具备一定的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖庆	装甲兵工程学院信息工程系	25	258	8.0	15.0
2	杨朝红	装甲兵工程学院信息工程系	30	449	11.0	20.0
3	宫云战	北京邮电大学网络与交换国家重点实验室	50	577	15.0	23.0
4	金大海	北京邮电大学网络与交换国家重点实验室	10	91	4.0	9.0