Bearbmagovva

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis †

Furkejuvvon:
Publikašuvnnas:Machines vol. 13, no. 6 (2025), p. 504-532
Váldodahkki: Paduraru Ciprian
Eará dahkkit: Cernat Marina, Staicu Adelina-Nicoleta
Almmustuhtton:
MDPI AG
Fáttát:
User interface
Software
Information systems
Program verification (computers)
Best practice
Methods
User interfaces
Automation
Hypotheses
Large language models
Robotics
Liŋkkat:Citation/Abstract
Full Text + Graphics
Full Text - PDF
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Abstrákta:Robotic Process Automation is a technology that replicates human interactions with user interfaces across various applications. However, testing Robotic Process Automation implementations remains challenging due to the dynamic nature of workflows. This paper presents a novel testing framework that first integrates symbolic execution and concolic testing strategies to enhance Robotic Process Automation workflow validation. Building on insights from these methods, we introduce a hybrid approach that optimizes test coverage and efficiency in specific cases. Our open-source implementation demonstrates that automated testing in the Robotic Process Automation domain significantly improves coverage, reduces manual effort, and enhances reliability. Furthermore, the proposed solution supports multiple Robotic Process Automation platforms and aligns with industry best practices for user interface automation testing. Experimental evaluation, conducted in collaboration with industry, validates the effectiveness of our approach.
ISSN:2075-1702
DOI:10.3390/machines13060504
Gáldu:Engineering Database