En vanlig metod för att testa sekvensgenerering för strukturellt testa samtidiga program innebär att bygga en räckvidd graf (RG) och välja en uppsättning vägar från grafen för att uppfylla vissa täckningskriterium. Det föreslås ofta att testsekvensgenereringsmetoder för att testa sekventiella program baserade på en kontrollflödesgraf (CFG) också kan användas för att välja sökvägar från en RG för att testa samtidiga program. Det finns dock en stor skillnad mellan dessa två, eftersom de förstnämnda lider av ett genomförbarhetsproblem (dvs. vissa vägar i en CFG kanske inte är möjliga i drifttid) och de senare inte gör det. Som ett resultat, även om testsekvensgenerering metoder för sekventiella program kan tillämpas på samtidiga program, de kanske inte är effektiva. Vi föreslår fyra metoder - två baserade på hot spot-prioritering och två baserade på topologisk sort för att effektivt generera en liten uppsättning testsekvenser som täcker alla noder i en RG. Samma metoder tillämpas också på motsvarande dubbla graf för att generera testsekvenser för att täcka alla kanter. En fallstudie genomfördes för att visa hur vi använder våra metoder.
Användningen av en nåbarhetskurva för strukturell testsekvensgenerering för samtidiga program rapporteras i REF.
REACHABILITY GRAPH-BASED TEST SEQUENCE GENERATION FOR CONCURRENT PROGRAMS
{'venue': 'International Journal of Software Engineering and Knowledge Engineering', 'journal': 'International Journal of Software Engineering and Knowledge Engineering', 'mag_field_of_study': ['Computer Science']}