Testfallsgenereringen från konstruktionsspecifikationerna är ett viktigt arbete i testfasen. I detta papper använder vi UML aktivitetsscheman som konstruktionsspecifikationer, och presentera en automatisk test fallgenerering metod. Den metod som först slumpmässigt genererar rikliga testfall för ett JAVA-program under testning. Sedan, genom att köra programmet med de genererade testfall, kan vi få motsvarande program exekvering spår. Slutligen, genom att jämföra dessa spår med det givna aktivitetsschemat enligt de specifika täckningskriterierna, kan vi få ett reducerat testfall som uppfyller testtäckningskriterierna. Metoden kan också användas för att kontrollera överensstämmelsen mellan programutförande spår och beteendet hos UML aktivitet diagram.
Kör program med tillämpning av test fall, Chen Mingsong et al. REF få programutförande spår.
Automatic test case generation for UML activity diagrams
{'venue': "AST '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}