Coverage Criteria based Testing of Industrial Robots

摘要

Industrial robots are used in manufacturing industries for tasks that can be automated and work with a controller within a tightly integrated real-time platform. Since they work with humans and other robots, they are safety critical in nature, making testing and verification important tasks in their software development life cycle. We propose coverage criteria for white-box testing of programs that automate tasks of industrial robots and develop a test case generation framework to automatically generate test cases achieving the coverage criteria. A proto-type of our framework has been developed for Rapid, a proprietary programming language for ABB's industrial robots. Our coverage criteria and framework can be applied to other similar programming languages for industrial robots too, requiring very little customization.