Issue No. 03 - March (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.126769
<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>
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
D. Levine, C. Kelly and R. Taylor, "Structural Testing of Concurrent Programs," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 206-215, 1992.