TY - CHAP AU - Brucker, Achim D. AU - Krieger, Matthias P. AU - Longuet, Delphine AU - Wolff, Burkhart ED - Dingel, Jürgen ED - Solberg, Arnor PY - 2010 DA - 2010// TI - A Specification-based Test Case Generation Method for UML/OCL BT - MoDELS Workshops T3 - Lecture Notes in Computer Science SP - 334 EP - 348 IS - 6627 PB - Springer-Verlag CY - Heidelberg KW - OCL, UML, test case generation, specification-based testing AB - 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. SN - 978-3-642-21209-3 L1 - https://www.brucker.ch/bibliography/download/2010/brucker.ea-ocl-testing-2010.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-ocl-testing-2010 UR - https://doi.org/10.1007/978-3-642-21210-9_33 DO - 10.1007/978-3-642-21210-9_33 LA - USenglish N1 - Selected best papers from all satellite events of the MoDELS 2010 conference. Workshop on OCL and Textual Modelling. ID - brucker.ea:ocl-testing:2010 ER -