Abstract-BPEL (Business Process Execution Language) som de facto-standard för webbtjänsteorkestrering har särskilt uppmärksammats av forskare och industrier. BPEL är ett semiformellt flöde språk med komplexa funktioner som samstämmighet och hierarki. För att testa en modell grundligt måste vi täcka olika utförandescenarier. Som bekant är det tröttsamt, tidskrävande och fel benägna att designa testfall manuellt, särskilt för komplexa modellspråk. Det är därför önskvärt att tillämpa befintliga modellbaserade provningsmetoder inom området för webbtjänster. Vi föreslog att WSA (Web Service Automata) skulle vara den operativa semantiken för BPEL. Baserat på WSA föreslår vi en modellkontrollbaserad ram för framtagning av testfall för BPEL. SPIN- och NuSMV-modellerna används som provningsgenereringsmotor, och de konventionella kriterierna för strukturell provning är kodade i LTL- och CTL-tidslogik. Tillståndstäckning och övergångstäckning används för BPEL-kontrollflödestestning, och all-du-path-täckning används för BPEL-dataflödestestning. Två nivåer av testfall kan genereras för att testa om genomförandet av webbtjänster överensstämmer med BPEL-beteendet och WSDL-gränssnittsmodellerna. De genererade testfallen utförs på motorn för JUnit-provning.
Testfall för en WS-BPEL-sammansättning genereras automatiskt i REF enligt tillstånds-, övergångs- och dupliceringskriterier.
An Automatic Test Case Generation Framework for Web Services
{'venue': 'JSW', 'journal': 'JSW', 'mag_field_of_study': ['Computer Science']}