Abstract-Service-nivåavtal används vanligtvis för att specificera regler för konsumtion av tjänster som avtalas mellan leverantörerna av de tjänstebaserade applikationerna (SBA) och deras konsumenter. En SLA innehåller en förteckning över villkor som innehåller de garantier som måste uppfyllas under tillhandahållandet och konsumtionen av tjänsterna. Eftersom överträdelser av sådana garantier kan leda till att potentiella påföljder tillämpas, är det viktigt att se till att småföretagsakten fungerar som förväntat. I detta dokument föreslår vi ett proaktivt tillvägagångssätt för att testa SLA-medvetna SBA genom att identifiera testkrav, som representerar situationer som är relevanta att testa. För att ta itu med denna fråga definierar vi en fyrvärderad logik som gör det möjligt att utvärdera både de individuella garantivillkoren och deras logiska relationer. Med utgångspunkt i denna logik utformar vi ett testkriterium baserat på det ändrade tillståndsbeslutets täckning (MCDC) för att erhålla en kostnadseffektiv uppsättning testkrav från SLA:s struktur. Genom att analysera avtalets syntax och semantik definierar vi dessutom specifika regler för att undvika icke-genomförbara testkrav. Hela tillvägagångssättet har automatiserats och tillämpats i en fallstudie om e-hälsa.
Palacios och så vidare. REF tillhandahåller också ett täckningskriterium för att testa SLA-aware-tjänstbaserad applikation.
Coverage-Based Testing for Service Level Agreements
{'venue': 'IEEE Transactions on Services Computing', 'journal': 'IEEE Transactions on Services Computing', 'mag_field_of_study': ['Computer Science']}