METHOD AND COMPUTER PROGRAM FOR TESTING A TECHNICAL SYSTEM

摘要

The present invention relates in particular to a method ( 100 ) for testing a safety-related technical system, in particular comprising software, wherein such a system is constructed on a model ( 200 ) comprising at least two or more components ( 210 , 220 ). The assumption (A) of the individual components (210, 220) for the safety-related system and the guarantee (G) of the individual components (210, 220) for the safety-related system are confirmed by the safety contract, In this method, in step "110" executable program code (C) is generated based on one or more assumptions (A) and based on one or more guarantees (G), and in another step "120", program code (C) ), it is characterized in that the safety-related system is tested.