Paper Title:
A Method of Software Static Testing in the Presence of Runtime Exception
  Abstract

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, Y. Z. Gong, Z. H. Yang, Q. Xiao, C. C. Liu, "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
$32.00
Share

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

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

Authors: Yu Dai, Lei Yang, Bin Zhang, Zhi Liang Zhu
Abstract:Since accurately identifying the error source which causes the exception is important, the problem of diagnosis for composite service becomes...
307
Authors: Xue Feng Zhao, Shu Juan Jiang, Qi Zhou
Chapter 9: Modeling, Analysis, and Simulation of Manufacturing Processes
Abstract:Exception propagation affects the dependences of an Object-Oriented program, which must be taken into account when calculating program...
383
Authors: Qing Wu
Chapter 5: Theory and Application of Friction and Wear
Abstract:The dynamic and uncertainty in service-oriented software(SOS) running environment , together with the autonomy and loose coupling of service...
1151
Authors: Zong Min Shang
Chapter 11: Control Technologies and Intelligent Systems
Abstract:This paper proposes an exception handling mechanism for running reliable service-based business processes. With Smart Process-based...
1700
Authors: Li Qing Li, Hai Lu, Xu Dong Li
Chapter 12: Applications of Information Technology and Computer in Industry
Abstract:Software Fault -tolerance is an effective and reliable design technique and Recovery Block Scheme is an important Software Fault-tolerant...
1790