Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos

2025

Abstract

Test adapter generation forms an essential but often least automatized part in the Model-Based Testing (MBT). The difficulty of adapter generation is due to ambiguous or loosely defined mapping between the executable test interface and that of abstracted in the test model. The novel method exposed in this work uses saturated Assume/Guarantee (A/G) contracts to specify test interfaces and to generate adapters from those. As a contribution, firstly, we define a generic saturated A/G contract template that supports the uniform approach to specification and verification of test configuration components. Secondly, we demonstrate how the adapter component model is derived by refining the test interface contracts and its correctness is verified. Finally, the adapter code is generated from the verified model as a set of abstract to concrete and concrete to abstract symbol transformers. The approach is exemplified and validated on a real climate control system example.

Paper Citation

in Harvard Style

Guin J., Vain J. and Tsiopoulos L. (2025). Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 297-304. DOI: 10.5220/0013322100003896

in Bibtex Style

@conference{modelsward25,
author={Jishu Guin and Jüri Vain and Leonidas Tsiopoulos},
title={Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={297-304},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013322100003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
SN - 978-989-758-729-0
AU - Guin J.
AU - Vain J.
AU - Tsiopoulos L.
PY - 2025
SP - 297
EP - 304
DO - 10.5220/0013322100003896
PB - SciTePress