Test case generation from UML state charts

Loading...
Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Diplomityö

Date

2000

Major/Subject

Tietokoneverkot

Mcode

Tik-110

Degree programme

Language

en

Pages

64

Series

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.

Description

Supervisor

Nikander, Pekka

Thesis advisor

Nikander, Pekka

Keywords

testitapausten generointi, UML, tilakaaviot

Other note

Citation