[发明专利]用于对系统进行测试的方法

权利要求书

1.一种计算机实施的用于对系统进行测试的方法，其中被测系统尤其是计算机程序、硬件系统或嵌入式系统，其特征在于步骤：

- 利用静态分析（22）在如下方面检查（222）用于所述系统的执行结构的第一部分：所述系统在执行与所述执行结构的第一部分对应的执行路径时是否无错误地运行，

- 如果针对所述执行结构的第一部分在所述静态分析（22）中确定（224）无错误的执行，则利用动态分析（21）进行所述系统的检查，所述动态分析略过与所述执行结构的第一部分对应的执行路径。

2.根据上述权利要求中任一项所述的方法，其特征在于，如果针对所述执行结构的第一部分在所述静态分析中确定（224）无错误的执行，则在进一步静态分析（22）中略过所述执行结构的第一部分。

3.根据上述权利要求中任一项所述的方法，其特征在于，针对所述执行结构的第一部分根据所述静态分析（22）计算第一输入变量并且当针对所述执行结构的第一部分在所述静态分析（22）中确定（225）有错误的执行时，将所述第一输入变量存储在针对动态分析（21）要考虑的输入变量的集中。

4.根据权利要求3所述的方法，其特征在于，作为所述第一输入变量计算输入变量，针对所述输入变量，所述静态分析（22）得出，出现有错误的执行。

5.根据上述权利要求中任一项所述的方法，其特征在于，所述被测系统包括计算机程序，所述执行结构是树形结构，所述树形结构呈现所述计算机程序的执行路径，并且所述动态分析（21）包括在计算机上执行所述计算机程序的程序代码。

6.根据上述权利要求中任一项所述的方法，其特征在于，并行地执行所述静态分析（22）和所述动态分析（21）。

7.根据权利要求1至5中任一项所述的方法，其特征在于，顺序地执行所述静态分析（22）和所述动态分析（21）。

8.根据上述权利要求中任一项所述的方法，其特征在于，利用所述动态分析（21）在如下方面对所述系统进行检查：针对至少一个确定的输入变量是否无错误地执行所述系统。

9.根据权利要求8所述的方法，其特征在于，利用所述动态分析（21）在如下方面对所述系统进行检查：在执行所述系统时是否出现运行时异常、被违反的断言、不允许的系统状态的占据、系统终止、有错误的存储器访问、有错误的资源访问或停留。

10.根据权利要求8或9中任一项所述的方法，其特征在于，根据所述动态分析（21）改善所述系统，尤其，消除所确定的错误。

11.根据上述权利要求中任一项所述的方法，其特征在于，利用所述静态分析（22）检查：在执行所述系统的与所述执行结构的第一部分对应的执行路径时是否出现运行时异常、被违反的断言、不允许的系统状态的占据、系统终止、有错误的存储器访问、有错误的资源访问或停留。

12.根据上述权利要求中任一项所述的方法，其特征在于，所述动态分析（21）包括模糊测试，尤其，所述动态分析（21）针对至少一个由模糊器产生的输入变量进行。

13.根据上述权利要求中任一项所述的方法，其特征在于，所述静态分析（22）包括模型检查、有限模型检查、借助定理证明器的检查、型态转换、抽象解释、符号执行或具体符号执行。

14.根据上述权利要求中任一项所述的方法，其特征在于，所述静态分析（22）包括在没有实际执行所述系统的情况下根据执行结构以计算机实施的方式检查所述系统，尤其借助形式化数学方法。