Structural testing of concurrent programs

Although structural testing techniques are among the weakest available with regard to developing confidence in sequential programs, they are not without merit. The authors extend the notion of structural testing criteria to concurrent programs and propose a hierarchy of supporting structural testing...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1992-03, Vol.18 (3), p.206-215
Main Authors: Taylor, R.N., Levine, D.L., Kelly, C.D.
Format: Article
Language:English
Subjects:
Aerospace materials
Aircraft propulsion
Buildings
Computer programming
Computer science
Concurrent computing
Criteria
Hierarchies
Laboratories
Monitoring
Multitasking
Runtime
Sequential analysis
Software testing
Systems analysis
Techniques
Testing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Although structural testing techniques are among the weakest available with regard to developing confidence in sequential programs, they are not without merit. The authors extend the notion of structural testing criteria to concurrent programs and propose a hierarchy of supporting structural testing techniques. Coverage criteria described include concurrency state coverage, state transition coverage and synchronization coverage. Requisite support tools include a static concurrency analyzer and either a program transformation system or a powerful run-time monitor. Also helpful is a controllable run-time scheduler. The techniques proposed are suitable for Ada or CSP-like languages. Best results are obtained for programs having only static naming of tasking objects.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.126769