Applications of PostFunction Information in Software Static Testing

doi:10.13190/jbupt.201006.103.159

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2010, Vol. 33 ›› Issue (6): 103-106.doi: 10.13190/jbupt.201006.103.159

• Reports • Previous Articles Next Articles

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

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

CLC Number:

TP311.5

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.

References

[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

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 8

Recommended Articles

Metrics

Comments

[1]	WANG Si-qi, MIAO Si-wei, ZHANG Xiao-ling, SHI Zhi-qiang, LU Xin-dai. Static Vulnerability Detection Technology for the Embedded Firmware Web Code Based on D-S Evidence Theory [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2019, 42(5): 91-99.
[2]	TAN Li-li, WANG Ya-wen, XING Ying, WAN Qian. Modeling Test Case Fault-detecting Capacity Based on Fault Detection Difficulty Level [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2017, 40(5): 67-74.
[3]	WANG Xiao-jun, MIN Li-juan. Genetic Test Data Generation for Path-Oriented Testing [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(6): 18-22.
[4]	Ya-wen WANG yunzhan gong qing xiao Yang Zhao-Hong. Variable Range Analysis Based on Interval Computation [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(3): 36-41.
[5]	XU Guo-ai1, ZHANG Miao1, CHEN Ai-guo1, LI Zhong-xian2 . An Integer Overflow Detection Method Based on Integer Variable Unification [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(6): 90-93.
[6]	YANG Zhao-hong1，2 ，GONG Yun-zhan1,2 ， XIAO Qing1，2 ，WANG Ya-wen1,2. A Defect Based Model Testing System [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2008, 31(5): 1-4.
[7]	LUO Hong. New Test Platform for BSC Software System [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2002, 25(3): 31-35.
[8]	Luo Hong. Testing and Design-for-Testability about Communication Software [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 1999, 22(3): 55-59.