Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain

During development of a device a large set of testcases is executed to ensure the qualitative requirements. Nevertheless because of timing issues it is not possible to perform all possible test cases and therefore it is not possible to guarantee a product that works always as expected by the end user.Finding the root cause of failures in returned devices is still largely manual work by an expert because the exact system and environment state is not known.In this paper we present an approach which allows automatic mutation of test cases for hybrid systems to reproduce failures based on vague user descriptions.