DocumentCode :
2631677
Title :
Model-Based System Testing Using Visual Contracts
Author :
Guldali, Baris ; Mlynarski, Michael ; Wubbeke, A. ; Engels, Gregor
Author_Institution :
Software Quality Lab., Univ. of Paderborn, Paderborn, Germany
fYear :
2009
fDate :
27-29 Aug. 2009
Firstpage :
121
Lastpage :
124
Abstract :
In system testing the system under test (SUT) is tested against high-level requirements which are captured at early phases of the development process. Logical test cases developed from these requirements must be translated to executable test cases by augmenting them with implementation details. If manually done these activities are error-prone and tedious. In this paper we introduce a model-based approach for system testing where we generate first logical test cases from use case diagrams which are partially formalized by visual contracts, and then we transform these to executable test cases using model transformation. We derive model transformation rules from the design decisions of developers.
Keywords :
Unified Modeling Language; program testing; software architecture; executable test cases; logical test cases; model transformation; system testing; use case diagrams; visual contracts; Automatic testing; Contracts; Logic testing; Programming profession; Software design; Software engineering; Software testing; System testing; Terminology; Unified modeling language; executable test cases; logical test cases; model transformations; model-based testing; visual contracts;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Advanced Applications, 2009. SEAA '09. 35th Euromicro Conference on
Conference_Location :
Patras
ISSN :
1089-6503
Print_ISBN :
978-0-7695-3784-9
Type :
conf
DOI :
10.1109/SEAA.2009.42
Filename :
5349869
Link To Document :
بازگشت