Medan verikationsmetoder blir mer och mer integrerade i programutvecklingsprojekt, är programvarutester fortfarande den huvudsakliga metoden som används för att söka efter programmeringsfel. Testmetoder för programvara fokuserar på metoder för att täcka olika körvägar för ett program, t.ex., som täcker alla påståenden, eller täcker alla möjliga tester. Sådana täckningskriterier är vanligtvis ungefärliga med hjälp av vissa add-hoc heuristics. Vi presenterar ett verktyg för att testa körningsvägar i sekventiella och samtidiga program. Verktyget, sökväg prospekteringsverktyget (Pet), visualiserar samtidig kod som ow grafer, och gör det möjligt för användaren att interaktivt välja en (interleaved) körningsväg. Den beräknar sedan och visar villkoret att köra en sådan sökväg, och gör det möjligt för användaren att enkelt ändra valet för att täcka ytterligare relaterade sökvägar. Vi beskriver utformningen och arkitekturen av detta verktyg och föreslår olika tillägg.
Ett särskilt uttryckligt verktyg för beräkning av vägtraversell tillstånd är Path Exploration Tool REF.
Path Exploration Tool
{'venue': "In Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, The Netherlands, LNCS 1579", 'journal': None, 'mag_field_of_study': ['Computer Science']}