US 11,734,164 B2
Method and computer program for testing a technical system
Arne Nordmann, Stuttgart (DE); Peter Munk, Renningen (DE); Andreas-Juergen Rohatschek, Wernau/Neckar (DE); Eike Martin Thaden, Renningen (DE); Lydia Gauerhof, Sindelfingen (DE); and Markus Schweizer, Vaihingen/Enz (DE)
Assigned to ROBERT BOSCH GMBH, Stuttgart (DE)
Filed by Robert Bosch GmbH, Stuttgart (DE)
Filed on Jun. 22, 2021, as Appl. No. 17/354,888.
Claims priority of application No. 20182923 (EP), filed on Jun. 29, 2020.
Prior Publication US 2021/0406161 A1, Dec. 30, 2021
Int. Cl. G06F 11/36 (2006.01)
CPC G06F 11/3688 (2013.01) [G06F 11/3684 (2013.01)] 8 Claims
OG exemplary drawing
 
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.