This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Approach to Concurrent Control Flow Checking
March 1980 (vol. 6 no. 2)
pp. 126-137
S.S. Yau, Department of Electrical Engineering and Computer Science, Northwestern University
A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors, hardware malfunctions, or memory mutilation during the execution of the program is presented. In this approach, the program is partitioned into loop-free intervals and a database containing the path information in each of the loop-free intervals is derived from the detailed design. The path in each loop-free interval actually traversed at run time is recorded and then checked against the information provided in the database, and any discrepancy indicates an error. This approach is general, and can detect all uncompensated illegal branches. Any uncompensated error that occurs during the execution of a loop-free interval and manifests itself as a wrong branch within the loop-free interval or right after the completion of execution of the loop-free interval is also detectable. The approach can also be used to check the control flow in the testing phase of program development. The capabilities, limitations, implementation, and the overhead of using this approach are discussed.
Index Terms:
wrong branches, Algorithms, capabilities, concurrency, control errors, control flow checking, illegal branches, implementation, limitations, loop-free intervals, overhead, path representation, program design
Citation:
S.S. Yau, null Fu-Chung Chen, "An Approach to Concurrent Control Flow Checking," IEEE Transactions on Software Engineering, vol. 6, no. 2, pp. 126-137, March 1980, doi:10.1109/TSE.1980.234478
Usage of this product signifies your acceptance of the Terms of Use.