The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1992 vol.18)
pp: 206-215
ABSTRACT
<p>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.</p>
INDEX TERMS
structural testing techniques; sequential programs; structural testing criteria; concurrent programs; concurrency state coverage; state transition coverage; synchronization coverage; support tools; static concurrency analyzer; program transformation system; powerful run-time monitor; controllable run-time scheduler; Ada; CSP-like languages; static naming; tasking objects; concurrency control; parallel programming; program testing; scheduling; software metrics
CITATION
R.N. Taylor, D.L. Levine, C.D. Kelly, "Structural Testing of Concurrent Programs", IEEE Transactions on Software Engineering, vol.18, no. 3, pp. 206-215, March 1992, doi:10.1109/32.126769
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool