Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170. 110738. ISSN 0164-1212
Abstract
We present a formalism to represent cyclic models and study different semantic frameworks that support testing. These models combine sequences of observable actions and the passing of (discrete) time and can be used to specify a number of classes of reactive systems, an example being robotic systems. We use implementation relations in order to formally define a notion of correctness of a system under test (SUT) with respect to a specification. As usual, the aim is to devise an extension of the classical ioco implementation relation but available timed variants of ioco are not suitable for cyclic models. This paper thus defines new implementation relations that encapsulate the discrete nature of time and take into account not only the actions that models can perform but also the ones that they can refuse. In addition to defining these relations, we study a number of their properties and provide alternative characterisations, showing that the relations are appropriate conservative extensions of trace containment. Finally, we give test derivation algorithms and prove that they are sound and also are complete in the limit.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2020 Elsevier Inc. This is an author produced version of a paper subsequently published in Journal of Systems and Software. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/). |
Keywords: | Model-based testing; Implementation relations; Cyclic systems |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Funding Information: | Funder Grant number ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL EP/R025134/2 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 13 Jul 2020 14:58 |
Last Modified: | 13 Jul 2021 00:38 |
Status: | Published |
Publisher: | Elsevier |
Refereed: | Yes |
Identification Number: | 10.1016/j.jss.2020.110738 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:163152 |