Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio
Gespeichert in:
| Titel: | Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio |
|---|---|
| Autoren: | Nicaj, A., Flemström, D., Enoiu, Eduard Paul, PhD, Afzal, Wasif |
| Quelle: | Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :290-306 |
| Schlagwörter: | embedded systems, Napkin Studio, Passive testing, requirements engineering, T-EARS, vehicular systems, Construction equipment, Embedded-system, Industrial case study, Normal operations, Requirement engineering, Specialized tools, System behaviors, Timed easy approach to requirement syntax |
| Beschreibung: | Passive testing is an approach to verify system behavior by observing logs from normal operation, without actively injecting test stimuli. This paper presents an industrial case study of applying passive testing in the domain of vehicular embedded systems, utilizing two specialized tools: Timed Easy Approach to Requirements Syntax (T-EARS) for specifying temporal requirements, and Napkin Studio for evaluating these requirements against real system execution logs. We collaborated with Volvo Construction Equipment (VCE) to translate a set of natural language requirements into structured T-EARS specifications. Then we used Napkin Studio to test these requirements against recorded machine log data passively. We evaluate the feasibility of this approach, the extent to which it can detect requirement violations or injected faults, and the perceptions of industry stakeholders regarding the adoption of such passive tests in their verification process. The results show that a majority of functional requirements can be expressed as Guarded Assertions (GAs) and validated on logs, uncovering specific issues. Stakeholders found the method promising for improving test coverage and efficiency, although integration challenges (e.g., log signal inconsistencies and tool usability issues) were noted. Overall, this work provides empirical evidence that passive testing with T-EARS and Napkin Studio can complement traditional hardware-in-the-loop testing, offering a scalable and non-intrusive verification approach in developing vehicular systems. |
| Dateibeschreibung: | |
| Zugangs-URL: | https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-73983 https://doi.org/10.1007/978-3-032-05188-2_19 |
| Datenbank: | SwePub |
Nájsť tento článok vo Web of Science | Abstract: | Passive testing is an approach to verify system behavior by observing logs from normal operation, without actively injecting test stimuli. This paper presents an industrial case study of applying passive testing in the domain of vehicular embedded systems, utilizing two specialized tools: Timed Easy Approach to Requirements Syntax (T-EARS) for specifying temporal requirements, and Napkin Studio for evaluating these requirements against real system execution logs. We collaborated with Volvo Construction Equipment (VCE) to translate a set of natural language requirements into structured T-EARS specifications. Then we used Napkin Studio to test these requirements against recorded machine log data passively. We evaluate the feasibility of this approach, the extent to which it can detect requirement violations or injected faults, and the perceptions of industry stakeholders regarding the adoption of such passive tests in their verification process. The results show that a majority of functional requirements can be expressed as Guarded Assertions (GAs) and validated on logs, uncovering specific issues. Stakeholders found the method promising for improving test coverage and efficiency, although integration challenges (e.g., log signal inconsistencies and tool usability issues) were noted. Overall, this work provides empirical evidence that passive testing with T-EARS and Napkin Studio can complement traditional hardware-in-the-loop testing, offering a scalable and non-intrusive verification approach in developing vehicular systems. |
|---|---|
| ISSN: | 03029743 |
| DOI: | 10.1007/978-3-032-05188-2_19 |