A Method of Software Static Testing in the Presence of Runtime Exception

Abstract:

Article Preview

Control flow graph plays an important role in software static testing based on defect patterns, while the impact of runtime exception on control flow graph is not negligible. After the runtime exception control flow graph and exception pattern Finite State Machine were defined, an algorithm for fault detection in the presence of runtime exception was proposed. Basing on FSM for exception pattern, the feasible states and its condition are iterated along the node of control flow graph, while the abnormal status, which can throw a runtime exception, will be added into control flow graph as an edge automatically. Thus the static testing method can detect more defects by the control flow graph constructed dynamically. The experiment results show that, the static testing method in the presence of runtime exception can decrease defect false negative significantly.

Info:

Periodical:

Edited by:

Helen Zhang and David Jin

Pages:

789-794

DOI:

10.4028/www.scientific.net/AMM.63-64.789

Citation:

D. H. Jin et al., "A Method of Software Static Testing in the Presence of Runtime Exception", Applied Mechanics and Materials, Vols. 63-64, pp. 789-794, 2011

Online since:

June 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.