METHOD FOR TESTING A SYSTEM

A method for testing a system. A computer-implemented method for testing a system is disclosed, the tested system being a computer program, a hardware system, or an embedded system. In the method, using a static analysis, a first part of an execution structure for the system is examined to see if the system runs corresponding execution paths without errors when the first part of the execution structure is executed. If in the static analysis error-free execution is determined for the first part of the execution structure, the system is examined using a dynamic analysis which leaves out execution paths which correspond to the first part of the execution structure. 用于对系统进行测试的方法。介绍一种计算机实施的用于对系统进行测试的方法，其中被测系统尤其是计算机程序、硬件系统或嵌入式系统。在此，利用静态分析在如下方面检查用于该系统的执行结构的第一部分：该系统在执行与执行结构的第一部分对应的执行路径时是否无错误地运行。如果针对执行结构的第一部分在静态分析中确定无错误的执行，则利用动态分析进行该系统的检查，所述动态分析略过与执行结构的第一部分对应的执行路径。