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
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;
Conference_Titel :
Software Engineering and Advanced Applications, 2009. SEAA '09. 35th Euromicro Conference on
Conference_Location :
Patras
Print_ISBN :
978-0-7695-3784-9
DOI :
10.1109/SEAA.2009.42