| 函数后置信息在软件静态测试中的应用 |
| |
| 引用本文： | 金大海,宫云战,杨朝红,肖庆.函数后置信息在软件静态测试中的应用[J].北京邮电大学学报,2010,33(6):103-106. |
| |
| 作者姓名： | 金大海 宫云战 杨朝红 肖庆 |
| |
| 作者单位： | 北京邮电大学,网络与交换国家重点实验室,北京,100876;装甲兵工程学院,信息工程系,北京,100072 |
| |
| 基金项目： | 国家高技术研究发展计划项目，国家高技术研究发展计划重点项目 |
| |
| 摘 要： | 为了提高基于模式的代码缺陷检测精度，提出一种应用函数后置信息(PFI)软件静态测试方法. 采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响，应用控制流迭代技术生成PFI. 该方法以较低的计算复杂性得到所有函数的后置信息，并可应用于静态分析过程中的区间计算和缺陷模式识别阶段. 在缺陷检测系统中的应用结果表明，该方法具备一定的可行性.
|
| 关 键 词： | 软件测试 静态测试 函数后置信息 控制流迭代 |
| 收稿时间： | 2009-09-07 |
Applications of Post-Function Information in Software Static Testing |
| |
| JIN Da-hai,GONG Yun-zhan,YANG Zhao-hong,XIAO Qing.Applications of Post-Function Information in Software Static Testing[J].Journal of Beijing University of Posts and Telecommunications,2010,33(6):103-106. |
| |
| Authors: | JIN Da-hai GONG Yun-zhan YANG Zhao-hong XIAO Qing |
| |
| Abstract: | A method using post function information (PFI) is presented, in order to improve the precision in software static testing. 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. |
| |
| Keywords: | software test static analysis post function information control flow iteration |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
