Variable Range Analysis Based on Interval Computation

doi:10.13190/jbupt.200903.36.wangyw

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2009, Vol. 32 ›› Issue (3): 36-41.doi: 10.13190/jbupt.200903.36.wangyw

• Papers • Previous Articles Next Articles

Variable Range Analysis Based on Interval Computation

Ya-wen WANG yunzhan gong qing xiao Yang Zhao-Hong

Received:2008-09-27 Revised:2009-02-22 Online:2009-06-28 Published:2009-06-28
Contact: Ya-wen WANG

Abstract

Abstract:

The concept of interval-set is introduced firstly, and then the interval compu瑃ations on Boolean and reference types are given. Finally interval computations are applied in program static analysis, and an algorithm of Range Analysis Based on Interval Computation (RABIC) is presented. The advantage of this method was verified in experiments. On the one hand, it can detect infeasible paths in program, On the other hand, it can improve the testing efficiency of defects testing tool based on this method.

Key words: software testing, static analysis, interval computation, range analysis

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.

References

[1] Alefeld G, Herzberger J. Introduction to interval computations[M]. New York: Academic Press, 1983.
[2] Hansen E. Topics in interval analysis[M]. Oxford: Clarendon Press, 1969.
[3] Harrison W H. Compiler analysis of the value ranges for variables[J]. IEEE Transaction on Software Engineering, 1977, SE-3(3): 243-250.
[4] 王志言, 刘椿年. 区间算术在软件测试中的应用[J]. 软件学报, 1998, 9(6): 438-443. Wang Zhiyan, Liu Chunnian. The application of interval computation in software testing[J]. Journal of Software, 1998, 9(6): 438-443.
[5] 李福川, 宋晓秋. 软件测试中的新方法——区间代数方法[J]. 计算机工程与设计, 2005, 26(10): 2576-2578. Li Fuchuan, Song Xiaoqiu. New method of software test—interval algebra method. Computer Engineering and Design, 2005, 26(10): 2576-2578.
[6] Ghodrat M A, Givargis T, Nicolau A. Expression equivalence checking using interval analysis[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2006, 14(8): 830-842.
[7] 高传平, 谈利群, 宫云战, 等. 基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统, 2006, 27(12): 2222-2227. Gao Chuanping, Tan Liqun, Gong Yunzhan, et al. Research on static and auto-testing method for array bounds based on integer range aggregation[J]. Journal of Chinese Computer Systems, 2006, 27(12): 2222-2227.
[8] 杨朝红,宫云战,肖庆,等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报,2008,31(5): 1-4. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect model based testing system[J]. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1-4.
[9] Hovemeyer D, Pugh H. Finding more null pointer bugs, but not too many//Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM Press, 2007: 9-14.

Variable Range Analysis Based on Interval Computation

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 6

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]	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.
[3]	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.
[4]	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.
[5]	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.
[6]	Luo Hong. Testing and Design-for-Testability about Communication Software [J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 1999, 22(3): 55-59.