CPC G06F 11/3688 (2013.01) [G06F 11/3684 (2013.01)] | 8 Claims |
1. A method for testing a safety-relevant technical system encompassing software components and/or hardware components, the safety-relevant technical system being represented by a model encompassing (a) representations of at least some of the components and (b) at least one safety contract, each of the at least one safety contract specifying (a) an assumption of a respective component of the at least some of the components regarding at least one further component of the at least some of the components, and (b) a guarantee of the respective component to at least one further component of the at least some of the components, the method comprising the following steps:
generating executable program code by:
converting, automatically by a processor, natural language of the assumption and the guarantee into logical expressions using text recognition;
converting, automatically by the processor, the logical expressions into the executable program code; and
testing the safety-relevant technical system by executing the program code.
|