DocumentCode
2599641
Title
SeDiTeC-testing based on sequence diagrams
Author
Fraikin, Falk ; Leonhardt, Thomas
Author_Institution
Software Eng. Res. Group, Darmstadt Univ. of Technol., Germany
fYear
2002
fDate
2002
Firstpage
261
Lastpage
266
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
ISSN
1938-4300
Print_ISBN
0-7695-1736-6
Type
conf
DOI
10.1109/ASE.2002.1115026
Filename
1115026
Link To Document