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

doi:10.13190/jbupt.201006.103.159

北京邮电大学学报 ›› 2010, Vol. 33 ›› Issue (6): 103-106.doi: 10.13190/jbupt.201006.103.159

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

金大海¹,宫云战¹,杨朝红²,肖庆²

1.北京邮电大学网络与交换国家重点实验室, 北京 100876; 2. 装甲兵工程学院信息工程系, 北京 100072

收稿日期:2009-09-07 修回日期:2010-07-20 出版日期:2010-12-28 发布日期:2011-01-07
通讯作者: 金大海 E-mail:jindh@bupt.edu.cn
基金资助:
国家高技术研究发展计划项目(2009AA012404)；国家高技术研究发展计划重点项目(2007AA010302

Applications of PostFunction Information in Software Static Testing

Jin Da-Hai

Received:2009-09-07 Revised:2010-07-20 Online:2010-12-28 Published:2011-01-07
Contact: Jin Da-Hai E-mail:jindh@bupt.edu.cn

摘要/Abstract

摘要：

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

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

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.

Key words: software test, static analysis, postfunction information, control flow iteration

中图分类号:

TP311.5

金大海,宫云战,杨朝红,肖庆. 函数后置信息在软件静态测试中的应用[J]. 北京邮电大学学报, 2010, 33(6): 103-106.

Jin Da-Hai. Applications of PostFunction Information in Software Static Testing[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2010, 33(6): 103-106.

参考文献

[1] Engler D, Chelf B, Chou A, et al. Checking system rules using system-specific, programmer-written compiler extensions//OSDI 2000. San Diego: , 2000:1-16.
[2] Ashcraft K, Engler D. Using programmer-written com-piler extensions to catch security holes//IEEE Symposium on Security and Privacy. Washington: IEEE CS, 2002: 143-159.
[3] Hovemeyer D, Pugh W. Finding bugs is easy[J]. ACM SIGPLAN Notices, 2004, 39(12): 92-106.
[4] 杨朝红, 宫云战, 肖庆, 等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报, 2008, 20(12): 1-6. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect based model testing system[J]. Journal of Beijing University of Posts and Telecommunications, 2008, 20(12): 1-6.
[5] Hallem S, Chelf B, Xie Yichen, et al. A system and language for building system-specific, static analyses //PLDI 2002. Berlin: , 2002: 69-82.
[6] Das M, Lerner S, Seigle M. Path-sensitive program verification in polynomial time //PLDI 2002. Berlin: , 2002: 57-68.
[7] 肖庆, 宫云战, 杨朝红. 一种路径敏感的静态缺陷检测方法[J]. 软件学报, 2010, 21(2): 209-217. Xiao Qing, Gong Yunzhan, Yang Zhaohong. Path sensitive static defect detecting method[J]. Journal of Software, 2010, 21(2): 209-217.
[8] John P B. An efficient way to find the side effects of procedure calls and the aliases of variables//POPL 1979. New York: ACM, 1979: 29-41.
[9] Cooper K D, Kennedy K. Interprocedural side-effect analysis in linear time[J]. ACM SIGPLAN Notice, 1988, 23(7): 57-66.
[10] Cooper K D, Kennedy K. Efficient computation of flow-insensitive interprocedural summary information a correction[J]. ACM SIGPLAN Notice, 1988, 23(4): 35-42.
[11] William L, Barbara G R, Sean Z. Interprocedural modification side effect analysis with pointer aliasing[J]. ACM SIGPLAN Notices, 1993, 28(6): 56-67.

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

Applications of PostFunction Information in Software Static Testing

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 5

编辑推荐

Metrics

本文评价

[1]	王晓军, 闵丽娟. 面向路径测试的演化测试数据生成方法[J]. 北京邮电大学学报, 2013, 36(6): 18-22.
[2]	王雅文宫云战肖庆杨朝红. 扩展区间运算的变量值范围分析技术[J]. 北京邮电大学学报, 2009, 32(3): 36-41.
[3]	杨朝红1,2 , 宫云战2 , 肖庆1,2 , 王雅文2. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报, 2008, 31(5): 1-4.
[4]	罗红. 新型BSC系统软件测试平台[J]. 北京邮电大学学报, 2002, 25(3): 31-35.
[5]	罗红. 通信软件的测试与可测性设计[J]. 北京邮电大学学报, 1999, 22(3): 55-59.