Title |
A software testing approach based on behavioral UML models / |
Another Title |
UML elgsenos modeliais paremtas programų testavimo metodas. |
Authors |
Barisas, Dominykas ; Bareiša, Eduardas |
Full Text |
|
Is Part of |
Informacinės technologijos ir valdymas = Information technology and control.. Kaunas : Technologija. 2009, t. 38, Nr. 2, p. 119-124.. ISSN 1392-124X |
Abstract [eng] |
The aim of this paper is to describe a systematic way to construct tests from a formal software specification for validating a system implementation. In order to achieve this goal, the specification could be extended to create UML states that directly address those aspects of the system we wish to test. The presented technique generates test cases from UML communication and state machine diagrams which allow testing a correct class integration of object-oriented software. UML state machine diagrams provide a good way for test generation in a form that can be easily manipulated. The concept of the technique and an example model are presented. |
Published |
Kaunas : Technologija |
Type |
Journal article |
Language |
English |
Publication date |
2009 |
CC license |
|