Challenges in testing of cyclic systems

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 us...

Full description

Saved in:
Bibliographic Details
Published inProceedings (International Conference on Engineering of Complex Computer Systems. Online) pp. 1 - 6
Main Authors Cavalcanti, Ana, Hierons, Robert M.
Format Conference Proceeding
LanguageEnglish
Published IEEE 14.06.2023
Subjects
Codes
Data models
formal testing
RoboStar
Robots
Semantics
simulation
Software
test generation
Test pattern generators
Testing
Online AccessGet full text
ISSN2770-8535
DOI10.1109/ICECCS59891.2023.00010

Cover

More Information
Summary: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.
ISSN:2770-8535
DOI:10.1109/ICECCS59891.2023.00010