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

金大海; 宫云战; 杨朝红; 肖庆

首页> 中文期刊> 《北京邮电大学学报》 >函数后置信息在软件静态测试中的应用

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京邮电大学学报》 |2010年第6期|103-106|共5页
作者
金大海; 宫云战; 杨朝红; 肖庆;
展开▼
作者单位

北京邮电大学网络与交换国家重点实验室;

北京100876;

装甲兵工程学院信息工程系;

北京100072;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
软件测试; 静态测试; 函数后置信息; 控制流迭代;

相似文献

中文文献
外文文献
专利

1. 函数后置信息在软件静态测试中的应用 [J] . 杨砚博 . 科学与财富 . 2013,第7期
2. 函数副作用在软件静态测试中的应用 [J] . 吕金和 . 软件导刊 . 2010,第4期
3. 函数副作用在软件静态测试中的应用 [J] . 吕金和 . 软件导刊 . 2010,第4期
4. 过程约束信息在软件静态测试中的应用 [J] . 金大海 ,宫云战 ,杨朝红 . 计算机辅助设计与图形学学报 . 2011,第3期
5. 主成分分析法在软件静态测试中的研究与应用 [J] . 余为峰 ,黄松 . 计算机技术与发展 . 2011,第6期
6. 软件静态测试中的源代码分析技术 [C] . Meng Yunxiu ,孟云秀 ,Zhao Zhengxu . 2013年“计算机科学与技术及教育技术”学术研讨会 . 2013
7. 信息技术与中专数学课程整合的实践研究——以数学软件Geogebra在函数教学中的应用为例 [A] . 毛鹏帅 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅