Webbtjänster använder en standard kommunikationsinfrastruktur som XML och SOAP för att kommunicera via Internet. Även om webbtjänster blir mer och mer utbredda som en framväxande teknik, är det svårt att testa webbtjänster eftersom de distribueras program med många aspekter av runtime beteende som skiljer sig från typiska program. I detta dokument presenteras en ny metod för att testa webbtjänster baserade på EFSM (Extended Finite State Machine). WSDL (Webbtjänster Beskrivning Språk) fil ensam ger inte dynamisk beteendeinformation. Detta problem kan övervinnas genom att utöka det med en beteendespecifikation av tjänsten. I stället för domänpartitionering eller perturbation tekniker väljer vi EFSM eftersom webbtjänster har kontrollflöde samt dataflöde som kommunikationsprotokoll. Genom att lägga till denna formella modell av EFSM till standard WSDL kan vi generera en uppsättning testfall som har en bättre testtäckning än andra metoder. Dessutom tillhandahålls ett förfarande för att härleda en EFSM-modell från WSDL-specifikationen för att hjälpa en tjänsteleverantör att utöka EFSM-modellen som beskriver dynamiska beteenden hos webbtjänsten. För att visa effektiviteten i vår strategi, tillämpade vi vår strategi för Parlay-X Web tjänster. På så sätt kan vi testa webbtjänster med större förtroende för eventuell feldetektering.
I Ref föreslogs ett förfarande för att härleda en EFSM-modell från WSDL-beskrivningen av en tjänst.
Generating test cases for web services using extended finite state machine
{'venue': 'TestCom', 'journal': None, 'mag_field_of_study': ['Computer Science']}