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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Novel framework for automated testing of ill-defined human–robot interaction environments

Leire Etxeberria, Íñigo Elguea-Aguinaco, Joseba Andoni Agirre, Nestor Arana-Arexolaleiba et al.
Journal of Systems and Software
Software Testing and Debugging Techniques
article

Novel framework for automated testing of ill-defined human–robot interaction environments

Leire Etxeberria, Íñigo Elguea-Aguinaco, Joseba Andoni Agirre, Nestor Arana-Arexolaleiba, Aitor Aguirre-Ortuzar
article en

Abstract

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.

Journal of Systems and SoftwareVol. 231
Mondragon Unibertsitatea (ES), Hospital Universitario Araba (ES)
Openalex Percentile: Top 72%
Software Testing and Debugging Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.