![](bg8.png)
gration testing, regression testing and non–functional
testing of service oriented systems are discussed but
in contrast to our approach system testing is not con-
sidered explicitly.
5 CONCLUSIONS AND FUTURE
WORK
We have presented a novel approach to model–driven
system testing for service oriented systems based on
a separated system and test model. The approach
has been aligned with SoaML and the UML Testing
Profile. Our methodology integrates system and test
modeling for service oriented systems in a concise
way and addresses main system testing issues of ser-
vice oriented systems such as the integration of vari-
ous service technologies, the evolution of services, or
the validation of service level agreements. Addition-
ally, our approach is fully traceable by defining links
between the requirements model, the system model,
the test model and the executable system. We suc-
cessfully applied our approach on an industrial case
study from the telecommunication domain.
As next step we will consider the evolution of
models which is very important in a service–oriented
context and which emphasizes model–based regres-
sion testing. Additionally we also consider oracle
computation based on OCL verification (Cabot et al.,
2009) or semantic web technologies to fully elabo-
rate test generation. A mapping from our model–
driven approach to the table–driven test sheets ap-
proach (Atkinson et al., 2008) provides an additional
tabular and textual representation of tests and the ca-
pability of usability testing.
ACKNOWLEDGEMENTS
This work was partially supported by the Telling Test-
Stories project funded by the trans-it and the MATE
project funded by the FWF.
REFERENCES
Abbors, F., P¨a¨aj¨arvi, T., Teittinen, R., Truscan, D., and Lil-
ius, J. (2009). Transformational support for model-
based testing – from UML to QML. In 2nd Workshop
on Model-based Testing in Practice.
Atkinson, C., Brenner, D., Falcone, G., and Juhasz, M.
(2008). Specifying High-Assurance Services. Com-
puter, 41:64–71.
Baker, P., Ru Dai, P., Grabowski, J., Haugen, O., Schiefer-
decker, I., and Williams, C. E. (2007). Model-Driven
Testing - Using the UML Testing Profile. Springer.
Cabot, J., Claris´o, R., and Riera, D. (2009). Verifying
UML/OCL Operation Contracts. In IFM 2009, pages
40–55, Berlin, Heidelberg. Springer-Verlag.
Canfora, G. and Di Penta, M. (2008). Service-oriented ar-
chitectures testing: A survey. In Lucia, A. D. and
Ferrucci, F., editors, ISSSE, volume 5413 of Lecture
Notes in Computer Science, pages 78–105. Springer.
Conformiq (2009). Qtronic. http://www.conformiq.com/.
Engels, G., Hess, A., Humm, B., Juwig, O., Lohmann, M.,
Richter, J.-P., Voß, M., and Willkomm, J. (2008). A
Method for Engineering a True Service-Oriented Ar-
chitecture. In ICEIS 2008.
Felderer, M., Breu, R., Chimiak-Opoka, J., Breu, M.,
and Schupp, F. (2009a). Concepts for Model–Based
Requirements Testing of Service Oriented Systems.
IASTED SE’2009.
Felderer, M., Fiedler, F., Zech, P., and Breu, R. (2009b).
Flexible Test Code Generation for Service Oriented
Systems. QSIC’2009.
Hafner, M. and Breu, R. (2008). Security Engineering
for Service–Oriented Architectures. Springer-Verlag,
Berlin Heidelberg.
Margaria, T. and Steffen, B. (2004). Lightweight coarse-
grained coordination: a scalable system-level ap-
proach. STTT, 5(2-3).
Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., and
Stapf, E. (2009). Programs that test themselves. Com-
puter, 42:46–55.
Mugridge, R. and Cunningham, W. (2005). Fit for Develop-
ing Software: Framework for Integrated Tests. Pren-
tice Hall.
OASIS Standard (2006). OASIS SOA Reference
Model TC. http://www.oasis-open.org/committees/
tc home.php?wg abbrev=soa-rm.
OASIS Standard (2007). Web Services Business Process
Execution Language Version 2.0 - OASIS Standard.
http://docs.oasis-open.org/wsbpel/2.0/.
OMG (2005). UML Testing Profile, Version 1.0.
http://www.omg.org/docs/formal/05-07-07.pdf.
OMG (2008). Service Oriented Architecture Modeling Lan-
guage (SoaML) - Specificiation for the UML Pro-
file and Metamodel for Services (UPMS). Object
Modeling Group. http://www.omg.org/docs/ad/08-08-
04.pdf.
Pretschner, A. and Philipps, J. (2004). Methodological is-
sues in model-based testing. In Model-Based Testing
of Reactive Systems, pages 281–291.
W3C (2005). Web Services Choreography Description Lan-
guage Version 1.0. http://www.w3.org/TR/ws-cdl-10/.
Willcock, C., Deiss, T., Tobies, S., Keil, S., Engler, F., and
Schulz, S. (2005). An Introduction to TTCN–3. John
Wiley and Sons.
Zander, J., Dai, Z. R., Schieferdecker, I., and Din, G.
(2005). From U2TP Models to Executable Tests with
TTCN-3 - An Approach to Model Driven Testing. In
TestCom.
MODEL-DRIVEN SYSTEM TESTING OF SERVICE ORIENTED SYSTEMS - A Standard-aligned Approach based on
Independent System and Test Models
435