pdfreaders.org

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

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

Cover for brucker.ea:ocl-testing:2010.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
Categories: ,
Documents: (full text as PDF file)

QR Code for brucker.ea:ocl-testing:2010.Please cite this article as follows:
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, and Burkhart Wolff. A Specification-based Test Case Generation Method for UML/OCL. In MoDELS Workshops. Lecture Notes in Computer Science (6627), pages 334-348, Springer-Verlag, 2010. Selected best papers from all satellite events of the MoDELS 2010 conference. Workshop on OCL and Textual Modelling.
Keywords: OCL, UML, test case generation, specification-based testing
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-21210-9_33) (Share article on LinkedIn. Share article on CiteULike. )

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