Coverage Criteria based Testing of Industrial Robots
| Autor: | Raoul Jetley, Meenakshi D'Souza, Ameena K Ashraf |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
business.industry
Computer science 02 engineering and technology Test (assessment) Personalization Test case Work (electrical) Control theory 020204 information systems Systems development life cycle Manufacturing 0202 electrical engineering electronic engineering information engineering Robot Software engineering business |
| Zdroj: | CASE |
| DOI: | 10.1109/case48305.2020.9217031 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|