Abstract-Även om strukturella testtekniker är bland de svagaste tillgängliga när det gäller att utveckla förtroendet för sekventiella program, de är inte utan meriter. I detta dokument utvidgas begreppet strukturella testkriterier till samtidiga program och föreslås en hierarki för stöd till strukturella testmetoder. Täckningskriterier som beskrivs omfattar konvergensstatstäckning, statsövergångstäckning och synkroniseringstäckning. Requisite supportverktyg inkluderar en statisk konvergensanalysator och antingen ett program omvandlingssystem eller en kraftfull körtid monitor. Också hjälpsamma är en kontrollerbar körtid schemaläggare. De tekniker som föreslås är lämpliga för Ada eller CSP-liknande språk. Bästa resultat uppnås för program som endast har statisk namngivning av aktivitet objekt.
Taylor och Al. REF beskriver en testmetod som utvidgar strukturella testkriterier för sekventiella program till samtidiga program, och föreslår en hierarki för att stödja strukturella testtekniker.
Structural testing of concurrent programs
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}