A Specification-based Test Case Generation Method for UML/OCL
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet und 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.
Schlüsselwörter: OCL, UML, test case generation, specification-based testing
Kategorien: ,
Dokumente: (Artikel als PDF Datei)
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet und 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.
Schlüsselwörter: OCL, UML, test case generation, specification-based testing
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-21210-9_33) (
)
| 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}, | |
| = | {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}, |