This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
R.N. Taylor, Space and Military Applications Division, Boeing Computer Services Company
Algorithms are presented for detecting errors and anomalies in programs which use synchronization constructs to implement concurrency. The algorithms employ data flow analysis techniques. First used in compiler object code optimization, the techniques have more recently been used in the detection of variable usage errors in dngle process programs. By adapting these existing algorithms, the sane classes of variable usage errors can be detected in concurrent process programs. Important classes of errors unique to concurrent process programs are also described, and algorithms for their detection are presented.
Index Terms:
uninitialized variables, Concurrent software, data flow analysis, error detection, HAL/S, process synchronization errors
Citation:
R.N. Taylor, L.J. Osterweil, "Anomaly Detection in Concurrent Software by Static Data Flow Analysis," IEEE Transactions on Software Engineering, vol. 6, no. 3, pp. 265-278, May 1980, doi:10.1109/TSE.1980.234488
Usage of this product signifies your acceptance of the Terms of Use.