Title :
SeDiTeC-testing based on sequence diagrams
Author :
Fraikin, Falk ; Leonhardt, Thomas
Author_Institution :
Software Eng. Res. Group, Darmstadt Univ. of Technol., Germany
Abstract :
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC uses UML sequence diagrams, that are complemented by test case data sets consisting of parameters and return values for the method calls, as test specification and therefore can easily be integrated into the development process as soon as the design phase starts. SeDiTeC supports specification of several test case data sets for each sequence diagram as well as to combine several sequence diagrams to so-called combined sequence diagrams thus reducing the number of diagrams needed. For classes and their methods whose behavior is specified in sequence diagrams and the corresponding test case data sets SeDiTeC can automatically generate test stubs thus enabling testing right from the beginning of the implementation phase. Validation is not restricted to comparing the test case data sets with the observed data, but can also include validation of pre- and postconditions.
Keywords :
Java; automatic testing; diagrams; formal specification; formal verification; object-oriented programming; program testing; software tools; specification languages; Java applications; SeDiTeC tool; UML sequence diagrams; automated testing; automatic test stub generation; classes; combined sequence diagrams; method calls; object-oriented applications; postconditions; preconditions; return values; test case data sets; test specification; validation; Application software; Automatic testing; Collaboration; Java; Programming; Software engineering; Software systems; Software testing; Unified modeling language;
Conference_Titel :
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
Print_ISBN :
0-7695-1736-6
DOI :
10.1109/ASE.2002.1115026