Test case generation from UML state charts

Abstract

Työn tarkoituksena oli tutkia UML:n tilakaavioiden soveltuvuutta automaattisen testitapausten generoinnin pohjana olio-pohjaisille ohjelmille.

Automaattinen testitapausten generointi on monimutkainen asia, sillä systeemin formaalin esitysmuodon valinta vaikuttaa generoivan algoritmin soveltuvuuteen. Tilakaavioiden käyttämisessä systeemin käyttäytymisen kuvaamiseen on joitain ongelmia, joita on kuvattu tässä työssä.

Työssä suunniteltiin ja toteutettiin viitekehys testien generointiin käyttämällä Javan sarjallistettuja objekteja testitapausten esittämiseen. Testattavan objektin alku- ja lopputilojen kuvaamiseen käytettiin kenttä-arvo -pareja.

Viitekehykseen perustuva prototyyppi tehtiin UML-mallinnustyökalu Together/J:n yhteyteen ulkoiseksi skriptiksi. Se generoi testitapauksia Together/J:n tilakaavioista ja kirjoittaa lähdekoodia yhdelle ajettavalle testille jokaista testitapausta kohti. Vain osa viitekehyksen toiminnallisuudesta toteutettiin.

Prototyyppi on rajoitettu, koska se pystyy käsittelemään vain hyvin yksinkertaisia arvoja. Viitekehys sen sijaan näyttää käytettävältä, mutta sarjallistamisen asettamat vaatimukset rajoittavat valitun testitapauskuvauksen käyttömahdollisuuksia. Ilman täysin toimivaa prototyyppiä ei voi sanoa, voidaanko viitekehystä käyttää käytännön sovelluksissa.