Deploying Constraint Programming for Testing ABB’s Painting Robots

Moreover, coming up with possible failure scenarios that may arise during system operation and determining triggers for these cases is a major challenge. ABB Robotics' painting robots are advanced distributed systems that must be thoroughly tested before they are shipped to customers, mostly from the automotive and avionics domains. Improving the overall quality of painting robots has always been of utmost importance because it is viewed as a competitive advantage in the market for industrial robots -- an error in the control system of these robots, uncovered in the field, can have serious economic consequences. After some tuning, the model was able to occur when the robot's speed increases and switching generate test scenarios that could find all the re-introduced between different paint spray patterns occurs too bugs. This was considered a significant success rapidly.