A Method for the Automatic Generation of Test Suites from Object Models
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 I...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2004
|
| _version_ | 1797050203247738880 |
|---|---|
| author | Cavarra, A Crichton, C Davies, J |
| author_facet | Cavarra, A Crichton, C Davies, J |
| author_sort | Cavarra, A |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T18:01:41Z |
| format | Journal article |
| id | oxford-uuid:000085e0-9a2b-415f-ac4a-b970a4de6d3b |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:01:41Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | oxford-uuid:000085e0-9a2b-415f-ac4a-b970a4de6d3b2022-03-26T08:27:08ZA Method for the Automatic Generation of Test Suites from Object ModelsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:000085e0-9a2b-415f-ac4a-b970a4de6d3bDepartment of Computer Science2004Cavarra, ACrichton, CDavies, JThis 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. |
| spellingShingle | Cavarra, A Crichton, C Davies, J A Method for the Automatic Generation of Test Suites from Object Models |
| title | A Method for the Automatic Generation of Test Suites from Object Models |
| title_full | A Method for the Automatic Generation of Test Suites from Object Models |
| title_fullStr | A Method for the Automatic Generation of Test Suites from Object Models |
| title_full_unstemmed | A Method for the Automatic Generation of Test Suites from Object Models |
| title_short | A Method for the Automatic Generation of Test Suites from Object Models |
| title_sort | method for the automatic generation of test suites from object models |
| work_keys_str_mv | AT cavarraa amethodfortheautomaticgenerationoftestsuitesfromobjectmodels AT crichtonc amethodfortheautomaticgenerationoftestsuitesfromobjectmodels AT daviesj amethodfortheautomaticgenerationoftestsuitesfromobjectmodels AT cavarraa methodfortheautomaticgenerationoftestsuitesfromobjectmodels AT crichtonc methodfortheautomaticgenerationoftestsuitesfromobjectmodels AT daviesj methodfortheautomaticgenerationoftestsuitesfromobjectmodels |