Med webbtjänster som redan är viktiga ingredienser i moderna webbsystem blir automatiska och lättanvända men samtidigt kraftfulla och uttrycksfulla testramar för webbtjänster allt viktigare. Vårt arbete syftar till helautomatisk testning av webbtjänster: helst anger användaren endast egenskaper som webbtjänsten förväntas uppfylla, i form av input-output-relationer, och systemet hanterar alla de övriga. I detta dokument presenterar vi i detalj den komponent som står i centrum för detta system: hur WSDL-specifikationen för en webbtjänst används för att automatiskt skapa testfallsgeneratorer som kan matas till PropEr, ett egendomsbaserat testverktyg, för att skapa strukturellt giltiga slumpmässiga testfall för dess verksamhet och kontrollera dess svar. Även om processen är helt automatisk, vårt verktyg gör det möjligt för användaren att enkelt ändra sin utgång för att antingen lägga till semantisk information till generatorerna eller skriva egenskaper som testar för mer involverade funktionalitet av webbtjänsterna.
Lampropoulos och Sagonas REF presenterar ett liknande tillvägagångssätt som automatiskt läser WSDL-specifikationen för en webbtjänst och gör webb-tjänstsamtal med genererad data.
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
{'venue': 'EPTCS 98, 2012, pp. 3-16', 'journal': None, 'mag_field_of_study': ['Computer Science']}