Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1109/32.126769 | Software Engineering, IEEE Transactions |
Keywords | Field | DocType |
coverage criterion,concurrency state coverage,static concurrency analyzer,concurrent programs,static naming,structural testing criterion,powerful run-time monitor,controllable run-time scheduler,synchronization coverage,structural testing,state transition coverage,structural testing technique,computer science,ada,concurrency control,scheduling,concurrent computing,aerospace materials,sequential analysis,software metrics,indexing terms,state transition,software testing,parallel programming | Synchronization,Programming language,Program transformation,Software engineering,Concurrency control,Computer science,Concurrency,Scheduling (computing),Real-time computing,Software metric,Software development,Data flow diagram | Journal |
Volume | Issue | ISSN |
18 | 3 | 0098-5589 |
Citations | PageRank | References |
129 | 10.32 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Richard N. Taylor | 1 | 5395 | 482.75 |
David L. Levine | 2 | 609 | 65.16 |
Cheryl D. Kelly | 3 | 129 | 10.32 |