Method for testing a system for a requirement

A non-transitory machine-readable memory on which is stored a computer program for testing a system for at least one requirement, the computer program, when executed by a computer, causing the computer to perform the following steps:

• receiving the requirement in machine-readable form;
• ascertaining at least one first input variable for the test of the system for the received requirement;
• simulating a design of the system as a function of the ascertained first input variable;
• ascertaining an output variable of the simulated system and ascertaining, as a function of the output variable, whether the system meets the requirement;
• checking whether the simulation meets a quality requirement;
• based on the simulation meeting the quality requirement and the system meeting the requirement, checking whether a sufficient test coverage is reached for the requirement;
• and
• based on reaching the sufficient test coverage for the requirement, the testing for the requirement is completed, wherein based on the test coverage not being reached, at least one further input variable is ascertained as a function of the requirement and the system is simulated for the at least one further input variable.

A test system for testing a system for at least one requirement, the system configured to:

• receive the requirement in machine-readable form;
• ascertain at least one first input variable for the test of the system for the received requirement;
• simulate a design of the system as a function of the ascertained first input variable;
• ascertain an output variable of the simulated system and ascertaining, as a function of the output variable, whether the system meets the requirement;
• check whether the simulation meets a quality requirement;
• based on the simulation meeting the quality requirement and the system meeting the requirement, check whether a sufficient test coverage is reached for the requirement;
• and
• based on reaching the sufficient test coverage for the requirement, the testing for the requirement is completed, wherein based on the test coverage not being reached, at least one further input variable is ascertained as a function of the requirement and the system is simulated for the at least one further input variable.