Abstract
Test case generation using combinatorial testing requires an input model comprising parameters and their ranges of possible values, i.e., their domains, which might be appropriate for ordinary applications but not for more sophisticated application domains like autonomous systems. Therefore, we discuss the use of ontologies for modeling and its utilization for combinatorial testing. We focus on ontologies describing the interface between the system under test and its environment, discuss the rationale behind such an approach, and introduce the basic algorithm for mapping ontologies to input models. We further consider modeling challenges and provide some initial modeling principles.
Originalsprache | englisch |
---|---|
Titel | 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
Redakteure/-innen | Anna Rita Fasolino, Sebastiano Panichella, Aldeida Aleti, Ali Mesbah |
Herausgeber (Verlag) | IEEE |
Seiten | 244-247 |
Seitenumfang | 4 |
ISBN (elektronisch) | 9798331534677 |
DOIs | |
Publikationsstatus | Veröffentlicht - 16 Apr. 2025 |
Veranstaltung | 18th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 - Naples, Italien Dauer: 31 März 2025 → 4 Apr. 2025 |
Konferenz
Konferenz | 18th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 |
---|---|
Land/Gebiet | Italien |
Ort | Naples |
Zeitraum | 31/03/25 → 4/04/25 |
ASJC Scopus subject areas
- Angewandte Informatik
- Human-computer interaction
- Software
- Sicherheit, Risiko, Zuverlässigkeit und Qualität
- Artificial intelligence