On the Generation of Input Space Model for Model-Driven Requirements-Based Testing

Ikram Darif, Ghizlane El Boussaidi, Sègla Kpodjedo, Pratibha Padmanabhan, Andrés Paz

2025

Abstract

Safety Critical Software (SCS) are characterized by their complex specifications with a high number of requirements due to their certification constraints. For such systems, requirements can be specified semi-formally using Controlled Natural Language (CNL) to mitigate the inherent ambiguity of natural language, and to be understandable by certification agents. Requirements serve as artifacts for software testing, where Combinatorial Interaction Testing (CIT) emerges as a relevant testing technique for SCS. CIT requires as a first step the generation of an Input Space Model (ISM) from input specifications. In this paper, we propose an approach that leverages Model-Driven Engineering (MDE) techniques for the generation of ISM from semi-formal CNL requirements constrained by templates that are specified by template models. To automatically generate the ISM, we define rules that map the template models to a generic input space model. The generated ISMs include test parameters, their test values, and inter-input constraints. Our approach ensures traceability between the generated ISM and the originating requirements, which is crucial for the certification of SCSs. We implemented our approach, and we evaluated it through a case study from the avionics domain. The case study shows that our approach can support the DO-178C certification needs in terms of requirements-based testing and provides multiple advantages over manual modeling.

Paper Citation

in Harvard Style

Darif I., El Boussaidi G., Kpodjedo S., Padmanabhan P. and Paz A. (2025). On the Generation of Input Space Model for Model-Driven Requirements-Based Testing. 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 250-262. DOI: 10.5220/0013186800003896

in Bibtex Style

@conference{modelsward25,
author={Ikram Darif and Ghizlane El Boussaidi and Sègla Kpodjedo and Pratibha Padmanabhan and Andrés Paz},
title={On the Generation of Input Space Model for Model-Driven Requirements-Based Testing},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={250-262},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013186800003896},
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 - On the Generation of Input Space Model for Model-Driven Requirements-Based Testing
SN - 978-989-758-729-0
AU - Darif I.
AU - El Boussaidi G.
AU - Kpodjedo S.
AU - Padmanabhan P.
AU - Paz A.
PY - 2025
SP - 250
EP - 262
DO - 10.5220/0013186800003896
PB - SciTePress