RT Journal Article
JF IEEE Transactions on Software Engineering
YR 1980
VO 6
IS
SP 265
TI Anomaly Detection in Concurrent Software by Static Data Flow Analysis
A1 R.N. Taylor,
A1 L.J. Osterweil,
K1 uninitialized variables
K1 Concurrent software
K1 data flow analysis
K1 error detection
K1 HAL/S
K1 process synchronization errors
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN 0098-5589
LA English
DO 10.1109/TSE.1980.234488
LK http://doi.ieeecomputersociety.org/10.1109/TSE.1980.234488