Novel framework for automated testing of ill-defined human–robot interaction environments
As automated systems advance in complexity, comprehensive testing becomes crucial, particularly for human–robot interaction (HRI) environments where human unpredictability creates ill-defined testing domains that challenge conventional software testing approaches. In interactive robotics, evaluation criteria extend beyond performance to include critical safety considerations. This paper introduces a novel automated testing framework combining runtime monitoring with constraint-based techniques for HRI environments. The framework employs a three-level cognitive oracle architecture – observation, interpretation, and diagnosis – that automatically evaluates the correctness of human and robot actions without requiring expert human intervention. The approach uses constraint-based modeling to handle the non-deterministic nature of HRI scenarios while ensuring safety compliance. Validation through five test cases in a refrigerator disassembly simulation demonstrates the framework’s effectiveness in detecting safety violations and procedural errors under environmental uncertainties. • AI framework for automated human-robot interaction testing without supervision. • Three-level cognitive framework for diagnosing human-robot interaction environments. • Constraint-based interpretation and diagnosis handling uncertain behavior in HRI. • Framework avoids state explosion problems vs. traditional model checking. • Successfully validated on simulated human-robot interaction disassembly tasks.
Authors
- Leire Etxeberria (ORCID: https://orcid.org/0000-0002-4846-2007)
- Íñigo Elguea-Aguinaco (ORCID: https://orcid.org/0000-0001-6511-8542)
- Joseba Andoni Agirre (ORCID: https://orcid.org/0000-0002-3528-2496)
- Nestor Arana-Arexolaleiba (ORCID: https://orcid.org/0000-0002-3305-8108)
- Aitor Aguirre-Ortuzar (ORCID: https://orcid.org/0000-0002-7056-5344)
Institutions
- Mondragon Unibertsitatea (ES)
- Hospital Universitario Araba (ES)
Publication Details
- Journal
- Journal of Systems and Software
- Published
- 2025-10-08
- DOI
- https://doi.org/10.1016/j.jss.2025.112654
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00