Cavalcanti, A. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2023) Challenges in testing of cyclic systems. In: Aït-Ameur, Y., Khendek, F. and Méry, D., (eds.) 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS). 27th International Conference on Engineering of Complex Computer Systems, 14-16 Jun 2023, Toulouse, France. Institute of Electrical and Electronics Engineers (IEEE) ISBN 979-8-3503-4004-4
Abstract
The state of practice in design and verification of control software for robotics is code centric. The RoboStar framework supports a model-based approach, providing support for modelling and simulation, and techniques for automatic generation of artefacts. Existing results support test generation using a reactive design model; in RoboStar such models can be described using a diagrammatic notation called RoboChart. Here, we describe the challenges involved in using such tests for execution against simulations or cyclic implementations either automatically generated or custom developed. While it is possible to use a cyclic model to generate tests in the first place, reactive models are akin to those normally used by the community. Moreover, by linking design-based tests to the tests executed against the cyclic mechanisms, we support traceability.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 2023 The Authors. Except as otherwise noted, this author-accepted version of a paper published in 27th International Conference on Engineering of Complex Computer Systems (ICECCS) is made available via the University of Sheffield Research Publications and Copyright Policy under the terms of the Creative Commons Attribution 4.0 International License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ |
Keywords: | Codes; Semantics; Data models; Software; Test pattern generators; Robots; Testing |
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 UK Research and Innovation EP/V026801/2 UK Research and Innovation EP/V026801/1 UK Research and Innovation EP/V026747/1 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 14 Mar 2025 12:57 |
Last Modified: | 14 Mar 2025 12:57 |
Status: | Published |
Publisher: | Institute of Electrical and Electronics Engineers (IEEE) |
Refereed: | Yes |
Identification Number: | 10.1109/iceccs59891.2023.00010 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:224456 |