Using UML for Automatic Test Generation

Alessandra Cavarra; Jim Davies; Thierry Jeron; Laurent Mounier; Alan Hartman; Sergey Olvovsky

Using UML for Automatic Test Generation

Alessandra Cavarra, Jim Davies, Thierry Jeron, Laurent Mounier, Alan Hartman, Sergey Olvovsky

Department of Information Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.
Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing tool adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports upon the problems encountered.

Original language	English
Title of host publication	Proceedings of ISSTA
Volume	15
State	Published - 2002

Access to Document

https://d1wqtxts1xzle7.cloudfront.net/67545591/uml4testgen-libre.pdf?1623078042=&response-content-disposition=inline%3B+filename%3DUsing_UML_for_automatic_test_generation.pdf&Expires=1690890202&Signature=VbIp7CEFtoOQRIGwkK6iie49mDp9Zl5mDuuTxc~Joezf6wZlSYC8vzxrI6GSJSw8rvNW0PoFeXBksF3A~UnUGM-z5vznQH7AbanUeiiFq8jT~Eknz-rpvZHk9LnIdcyi~AO3g-KwGpDmWVUDTsFJwhaoPuPVFQE6xHf0tAoSZV5Qx2d2i9FYuuNUQJty6rpHe7FK0BpbfIU3tFLcx9xAenpppYA1ENxODSPeHVtRzYQacSfntoJfl4fhAA4bmKLgH~hUHfDZ-JbNFnRtoLi-8txHg00vevU0SM~0vk471rMAm~vJlzSEBFtHDfuAmxflKD70v-PqIHwnm9khSr-a6Q__&Key-Pair-Id=APKAJLOHF5GGSLRBV4ZA

Cite this

Cavarra, A., Davies, J., Jeron, T., Mounier, L., Hartman, A., & Olvovsky, S. (2002). Using UML for Automatic Test Generation. In Proceedings of ISSTA (Vol. 15) https://d1wqtxts1xzle7.cloudfront.net/67545591/uml4testgen-libre.pdf?1623078042=&response-content-disposition=inline%3B+filename%3DUsing_UML_for_automatic_test_generation.pdf&Expires=1690890202&Signature=VbIp7CEFtoOQRIGwkK6iie49mDp9Zl5mDuuTxc~Joezf6wZlSYC8vzxrI6GSJSw8rvNW0PoFeXBksF3A~UnUGM-z5vznQH7AbanUeiiFq8jT~Eknz-rpvZHk9LnIdcyi~AO3g-KwGpDmWVUDTsFJwhaoPuPVFQE6xHf0tAoSZV5Qx2d2i9FYuuNUQJty6rpHe7FK0BpbfIU3tFLcx9xAenpppYA1ENxODSPeHVtRzYQacSfntoJfl4fhAA4bmKLgH~hUHfDZ-JbNFnRtoLi-8txHg00vevU0SM~0vk471rMAm~vJlzSEBFtHDfuAmxflKD70v-PqIHwnm9khSr-a6Q__&Key-Pair-Id=APKAJLOHF5GGSLRBV4ZA

@inproceedings{5104b52243c744e8a3443cbf9488c9b2,

title = "Using UML for Automatic Test Generation",

abstract = "This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing tool adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports upon the problems encountered.",

author = "Alessandra Cavarra and Jim Davies and Thierry Jeron and Laurent Mounier and Alan Hartman and Sergey Olvovsky",

year = "2002",

language = "English",

volume = "15",

booktitle = "Proceedings of ISSTA",

}

Cavarra, A, Davies, J, Jeron, T, Mounier, L, Hartman, A & Olvovsky, S 2002, Using UML for Automatic Test Generation. in Proceedings of ISSTA. vol. 15. <https://d1wqtxts1xzle7.cloudfront.net/67545591/uml4testgen-libre.pdf?1623078042=&response-content-disposition=inline%3B+filename%3DUsing_UML_for_automatic_test_generation.pdf&Expires=1690890202&Signature=VbIp7CEFtoOQRIGwkK6iie49mDp9Zl5mDuuTxc~Joezf6wZlSYC8vzxrI6GSJSw8rvNW0PoFeXBksF3A~UnUGM-z5vznQH7AbanUeiiFq8jT~Eknz-rpvZHk9LnIdcyi~AO3g-KwGpDmWVUDTsFJwhaoPuPVFQE6xHf0tAoSZV5Qx2d2i9FYuuNUQJty6rpHe7FK0BpbfIU3tFLcx9xAenpppYA1ENxODSPeHVtRzYQacSfntoJfl4fhAA4bmKLgH~hUHfDZ-JbNFnRtoLi-8txHg00vevU0SM~0vk471rMAm~vJlzSEBFtHDfuAmxflKD70v-PqIHwnm9khSr-a6Q__&Key-Pair-Id=APKAJLOHF5GGSLRBV4ZA>

TY - GEN

T1 - Using UML for Automatic Test Generation

AU - Cavarra, Alessandra

AU - Davies, Jim

AU - Jeron, Thierry

AU - Mounier, Laurent

AU - Hartman, Alan

AU - Olvovsky, Sergey

PY - 2002

Y1 - 2002

N2 - This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing tool adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports upon the problems encountered.

AB - This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as illustrating the testing tool adopted, the paper defines the profile for UML, explains testing directives, the basis of the compilation into IF and of the test generation process, and reports upon the problems encountered.

M3 - Conference contribution

VL - 15

BT - Proceedings of ISSTA

ER -

Using UML for Automatic Test Generation

Abstract

Access to Document

Fingerprint

Cite this