%0 Book Section
%T A Specification-based Test Case Generation Method for UML/OCL
%A Brucker, Achim D.
%A Krieger, Matthias P.
%A Longuet, Delphine
%A Wolff, Burkhart
%E Dingel, Jürgen
%E Solberg, Arnor
%B MoDELS Workshops
%D 2010
%N 6627
%I Springer-Verlag
%C Heidelberg
%@ 978-3-642-21209-3
%G USenglish
%F brucker.ea:ocl-testing:2010
%O Selected best papers from all satellite events of the MoDELS 2010 conference. Workshop on OCL and Textual Modelling.
%X Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to cyclic class-diagrams and recursive query operations on them. A key feature of our approach is a implicit representation of object graphs avoiding a representation based on object-id?s; thus, our approach avoids the generation of isomorphic object graphs by using a concise and still human-readable symbolic representation.
%K OCL, UML, test case generation, specification-based testing
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-ocl-testing-2010
%U http://www.brucker.ch/bibliography/download/2010/brucker.ea-ocl-testing-2010.pdf
%U http://dx.doi.org/10.1007/978-3-642-21210-9_33
%P 334-348