Résumé
System Testing of Single-Arm Robots (SAR) is challenging as typical SAR involve multiple coordinated software-controlled subsystems, such as motion and action control, perception and anti-collision systems. Developing convincing test scenarios which place the SAR into highly CPU-demanding cases is complicated due to the huge number of possible robots' workspace configurations. In this paper, we introduces RobTest, a tool-supported method for stress testing of SAR, which generates automatically optimal collision-free trajectories. Initially specified by a cloud of points and a set of obstacles, these trajectories are piecewise linear paths in a cost-labelled oriented graph. By using advanced Constraint Programming (CP) techniques, such as constraint refutation over continuous domains and constraint optimization over graphs, RobTest can generate continuous trajectories which 1) avoid physical obstacles and 2) maximize the load of the various CPUs of the SAR. These trajectories result into automatically robot computer programs which place the SAR into high-demanding test scenarios. Our initial experimental evaluation of RobTest shows promising results.