Show simple item record

dc.contributor.authorLefticaru, Raluca
dc.contributor.authorHierons, R.M.
dc.contributor.authorNúñez, M.
dc.date.accessioned2020-07-14T09:00:06Z
dc.date.accessioned2020-08-13T14:51:55Z
dc.date.available2020-07-14T09:00:06Z
dc.date.available2020-08-13T14:51:55Z
dc.date.issued2020-12
dc.identifier.citationLefticaru R, Hierons RM and Núñez M (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. The Journal of Systems & Software. 170: 110738.en_US
dc.identifier.urihttp://hdl.handle.net/10454/17953
dc.descriptionYesen_US
dc.description.abstractWe present a formalism to represent cyclic models and study di erent 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.en_US
dc.description.sponsorshipEngineering and Physical Sciences Research Council Grant numbers: EP/R025134/2. Ministerio de Economía y Competitividad Grant numbers: RTI2018-093608-B-C31. Comunidad de Madrid Grant numbers: S2018/TCS-4314en_US
dc.language.isoenen_US
dc.publisherElsevier
dc.relation.isreferencedbyhttps://doi.org/10.1016/j.jss.2020.110738en_US
dc.rights© 2020 Elsevier. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license (http://creativecommons.org/licenses/by-nc-nd/4.0/)en_US
dc.subjectModel-based testingen_US
dc.subjectImplementation relationsen_US
dc.subjectCyclic systemsen_US
dc.titleImplementation relations and testing for cyclic systems with refusals and discrete timeen_US
dc.status.refereedYesen_US
dc.date.Accepted2020-07-10
dc.date.application2020-07-13
dc.typeArticleen_US
dc.type.versionAccepted manuscripten_US
dc.date.updated2020-07-14T08:00:14Z
refterms.dateFOA2020-08-13T14:52:20Z


Item file(s)

Thumbnail
Name:
JSS_Lefticaru_2020.pdf
Size:
353.5Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record