Research on the Effect of Runtime Exception in Software Static Testing
JIN Da-Hai,GONG Yun-Zhan,YANG Zhao-Hong,XIAO Qing
DOI: https://doi.org/10.3724/sp.j.1016.2011.01090
2011-01-01
Chinese Journal of Computers
Abstract:When a runtime exception occurred during the execution of program,an unexpected executing logic maybe appeared due to the modified of control flow dynamically.Thus,a great challenge,detecting the defect caused by the unexpected executing logic,will be brought to software static testing.Therefore an approach for iterative defect detection in the presence of runtime exception is proposed,in which defect detection and control flow extension are interleaved and performed repeatedly.The finite state machine for runtime exception is defined as EM,which include all the state of runtime exception related,and the conversation behavior between different states.The control flow with runtime exception is defined as EC,which is the basis for defect detection.By the given iterative equation and algorithm,the sequence of EC can be got,and on which the traditional onetime testing is extended to multiple times.Experimental results show that,although sequence of EC increases the time cost and false positive,more defects can be detected than ever,and these defects are missed by other method or tools indeed.