2009 35th Euromicro Conference on Software Engineering and Advanced Applications Model-Based System Testing Using Visual Contracts Patras, Greece August 27-August 29 ISBN: 978-0-7695-3784-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.42
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.
Index Terms:
model-based testing, visual contracts, model transformations, logical test cases, executable test cases
Citation:
Baris Güldali, Michael Mlynarski, Andreas Wübbeke, Gregor Engels, "Model-Based System Testing Using Visual Contracts," seaa, pp.121-124, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb