A Specification-based Test Case Generation Method for UML/OCL

By Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, and Burkhart Wolff.

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.

Keywords:
OCL, UML, Test Case Generation, Specification-Based Testing

Please cite this work as follows:
A. D. Brucker, M. P. Krieger, D. Longuet, and B. Wolff, “A specification-based test case generation method for UML/OCL,” in MoDELS workshops, J. Dingel and A. Solberg, Eds. Heidelberg: Springer-Verlag, 2010, pp. 334–348. doi: 10.1007/978-3-642-21210-9_33. Selected best papers from all satellite events of the MoDELS 2010 conference. Workshop on OCL and Textual Modelling.. Author copy: https://logicalhacking.com/publications/brucker.ea-ocl-testing-2010/

BibTeX
@InCollection{ brucker.ea:ocl-testing:2010,
  abstract  = {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.},
  author    = {Achim D. Brucker and Matthias P. Krieger and Delphine Longuet
               and Burkhart Wolff},
  booktitle = {MoDELS Workshops},
  language  = {USenglish},
  publisher = {Springer-Verlag },
  address   = {Heidelberg },
  series    = {Lecture Notes in Computer Science },
  number    = {6627},
  areas     = {formal methods, software},
  year      = {2010},
  note      = {Selected best papers from all satellite events of the MoDELS
               2010 conference. Workshop on OCL and Textual Modelling.. 
               Author copy: \url{https://logicalhacking.com/publications/brucker.ea-ocl-testing-2010/}},
  keywords  = {OCL, UML, Test Case Generation, Specification-Based Testing},
  pages     = {334--348},
  title     = {A Specification-based Test Case Generation Method for
               {UML}/{OCL}},
  editor    = {J{\"u}rgen Dingel and Arnor Solberg},
  isbn      = {978-3-642-21209-3},
  doi       = {10.1007/978-3-642-21210-9_33},
  pdf       = {https://logicalhacking.com/publications/brucker.ea-ocl-testing-2010/brucker.ea-ocl-testing-2010.pdf},
}