{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T21:18:25Z","timestamp":1758057505874,"version":"3.44.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032051875","type":"print"},{"value":"9783032051882","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>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.<\/jats:p>","DOI":"10.1007\/978-3-032-05188-2_19","type":"book-chapter","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:40Z","timestamp":1757973160000},"page":"290-306","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Passive Testing of\u00a0Vehicular Embedded Systems: An Industrial Case Study with\u00a0T-EARS and\u00a0Napkin Studio"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5530-8280","authenticated-orcid":false,"given":"Aleksandra","family":"Nicaj","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8096-3592","authenticated-orcid":false,"given":"Daniel","family":"Flemstr\u00f6m","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2416-4205","authenticated-orcid":false,"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-2655","authenticated-orcid":false,"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511809163"},{"issue":"6","key":"19_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1002\/stvr.1464","volume":"22","author":"C Andr\u00e9s","year":"2012","unstructured":"Andr\u00e9s, C., Merayo, M.G., N\u00fa\u00f1ez, M.: Formal passive testing of timed systems: theory and tools. Softw. Test. Verif. Reliab. 22(6), 365\u2013405 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"12","key":"19_CR3","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1016\/S0950-5849(03)00063-6","volume":"45","author":"A Cavalli","year":"2003","unstructured":"Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Inf. Softw. Technol. 45(12), 837\u2013852 (2003)","journal-title":"Inf. Softw. Technol."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Cavalli, A.R., Higashino, T., Nunez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. annales des t\u00e9l\u00e9communications 70(3), 85\u201393 (2015)","DOI":"10.1007\/s12243-015-0457-8"},{"key":"19_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-031-04115-0_5","volume-title":"Software Quality: The Next Big Thing in Software Engineering and Quality","author":"D Flemstr\u00f6m","year":"2022","unstructured":"Flemstr\u00f6m, D., Afzal, W., Enoiu, E.P.: Specification of\u00a0passive test cases using an\u00a0improved T-EARS language. In: Mendez, D., Wimmer, M., Winkler, D., Biffl, S., Bergsmann, J. (eds.) SWQD 2022. LNBIP, vol. 439, pp. 63\u201383. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-04115-0_5"},{"key":"19_CR6","unstructured":"Flemstr\u00f6m, D.: Industrial system level test automation. Ph.D. thesis, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden (2021)"},{"key":"19_CR7","unstructured":"Flemstr\u00f6m, D., Enoiu, E., Afzal, W., Sundmark, D., Gustafsson, T., Kobetski, A.: From natural language requirements to passive test cases using guarded assertions. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) (2018)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Flemstr\u00f6m, D., Gustafsson, T., Kobetski, A.: Saga toolbox: interactive testing of guarded assertions. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (2017)","DOI":"10.1109\/ICST.2017.59"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Flemstr\u00f6m, D., Jonsson, H., Enoiu, E.P., Afzal, W.: Industrial scale passive testing with t-ears. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (2021)","DOI":"10.1109\/ICST49551.2021.00047"},{"key":"19_CR10","unstructured":"GeeksforGeeks: Difference between active testing and passive testing (2025). https:\/\/www.geeksforgeeks.org\/difference-between-active-testing-and-passive-testing\/. Accessed 23 July 2025"},{"key":"19_CR11","unstructured":"Gibbs, G.: Learning by Doing: A Guide to Teaching and Learning Methods. FEU (1988)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Gustafsson, T., Skoglund, M., Kobetski, A., Sundmark, D.: Automotive system testing by independent guarded assertions. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2015)","DOI":"10.1109\/ICSTW.2015.7107474"},{"key":"19_CR13","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.sysarc.2016.05.001","volume":"68","author":"D Heffernan","year":"2016","unstructured":"Heffernan, D., MacNamee, C.: Runtime observation of functional safety properties in an automotive control network. J. Syst. Architect. 68, 38\u201350 (2016)","journal-title":"J. Syst. Architect."},{"key":"19_CR14","unstructured":"Itkin, I., Yavorskiy, R.: Overview of applications of passive testing techniques. In: Proceedings of the Workshop on Modeling and Analysis of Complex Systems and Processes MACSPro. CEUR Workshop Proc (2019)"},{"key":"19_CR15","unstructured":"Koopman, P.: A case study of toyota unintended acceleration and software safety (2014). https:\/\/users.ece.cmu.edu\/~koopman\/pubs\/koopman14_toyota_ua_slides.pdf. Accessed 23 July 2025"},{"issue":"1","key":"19_CR16","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4271\/2016-01-0128","volume":"4","author":"P Koopman","year":"2016","unstructured":"Koopman, P., Wagner, M.: Challenges in autonomous vehicle testing and validation. SAE Int. J. Transp. Saf. 4(1), 15\u201324 (2016)","journal-title":"SAE Int. J. Transp. Saf."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy approach to requirements syntax (ears). In: 2009 17th IEEE International Requirements Engineering Conference (2009)","DOI":"10.1109\/RE.2009.9"},{"key":"19_CR18","unstructured":"ISO 26262: Road vehicles - Functional safety. International Standardization Organization, Geneva, Switzerland (2018)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Sonigara, B., et al.: Xandar: verification & validation approach for safety-critical systems. In: 2023 IEEE 36th International System-on-Chip Conference (SOCC) (2023)","DOI":"10.1109\/SOCC58585.2023.10257177"},{"key":"19_CR20","unstructured":"Travis, G.: How the boeing 737 max disaster looks to a software developer (2019). https:\/\/spectrum.ieee.org\/how-the-boeing-737-max-disaster-looks-to-a-software-developer. Accessed 23 July 2025"},{"key":"19_CR21","unstructured":"Vector Informatik GmbH: Canalyzer: Comprehensive ECU & network analysis software, version 18 (released 30 October 2024), windows 7\u201311 (2024). https:\/\/www.vector.com\/us\/en\/download\/canalyzer-full-installer-18-sp4\/. Accessed 23 July 2025"},{"key":"19_CR22","unstructured":"Yin, R.: Case Study Research and Applications: Design and Methods. SAGE Publications (2017)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05188-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:45Z","timestamp":1757973165000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05188-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"ISBN":["9783032051875","9783032051882"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05188-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,16]]},"assertion":[{"value":"16 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no conflicts of interest to declare that are relevant to the content of this paper.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}