Journal article

A Method for the Automatic Generation of Test Suites from Object Models

Abstract:: This paper shows how object-oriented specifications, written in the Unified Modeling Language (UML) can be translated into formal, behavioural descriptions and used as a basis for automatic test generation. The behavioural descriptions are written in a language of communicating state machines: the Intermediate Format (IF). The translation from UML to IF is based upon an earlier formal semantics, written in the Abstract State Machine (ASM) notation. Descriptions written in IF can be automatically explored; the results of these explorations are test trees, ready for input to a variety of testing packages.

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Cavarra, A., Crichton, C., & Davies, J. (2004). A Method for the Automatic Generation of Test Suites from Object Models. Information and Software Technology, 46(5), 309–314.

MLA Style

Cavarra, A, et al. “A Method for the Automatic Generation of Test Suites from Object Models.” Information and Software Technology, vol. 46, no. 5, 2004, pp. 309–14.

Chicago Style

Cavarra, A, C Crichton, and J Davies. 2004. “A Method for the Automatic Generation of Test Suites from Object Models.” Information and Software Technology 46 (5): 309–14.
Print

Access Document

Publisher copy:: 10.1016/j.infsof.2003.09.004

Authors

+ Cavarra, A More by this author

Role:: Author

+ Crichton, C More by this author

Role:: Author

+ Davies, J More by this author

Role:: Author

Journal:: Information and Software Technology More from this journal
Volume:: 46
Issue:: 5
Pages:: 309-314
Publication date:: 2004-01-01
DOI:: 10.1016/j.infsof.2003.09.004

UUID:: uuid:000085e0-9a2b-415f-ac4a-b970a4de6d3b
Local pid:: cs:2303
Deposit date:: 2015-03-31
ARK identifier:: ark:/29072/ora_000085e09a2b415fac4ab970a4de6d3b

Terms of use

Copyright date:: 2004

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP