Abstract: A method for verifying an operating software block. The operating software block to be verified is defined based on an operating software. Function inputs and outputs corresponding to the operating software block are ascertained. A multi-dimensional parameter space is defined, each dimension of which corresponding to a function input of the operating software block. Input data tuples are formed based on predetermined rules, which correspond to points within specifiable limits of the parameter space. The operating software block is executed using the input data tuples in order to obtain output data, so that for every function output a dependency on the input data of the function inputs is ascertained. The dependency of the function outputs is compared with a specified standard dependency. A reaction is initiated based on a deviation between the dependency of a function output and the standard dependency.

Abstract: A method for verifying an operating software block. The operating software block to be verified is defined based on an operating software. Function inputs and outputs corresponding to the operating software block are ascertained. A multi-dimensional parameter space is defined, each dimension of which corresponding to a function input of the operating software block. Input data tuples are formed based on predetermined rules, which correspond to points within specifiable limits of the parameter space. The operating software block is executed using the input data tuples in order to obtain output data, so that for every function output a dependency on the input data of the function inputs is ascertained. The dependency of the function outputs is compared with a specified standard dependency. A reaction is initiated based on a deviation between the dependency of a function output and the standard dependency.