运行时错误
运行时错误通常指程序执行的过程中出现的问题。运行时错误可以发生在软件或硬件,造成故障。他们重要的发现,因为它们可能会导致关键的安全,安全,或经营问题。软件运行时错误包括逻辑错误,如算术异常。他们还可以包括控制流和数据流等相关缺陷non-initialized变量或指针,内存缓冲区溢出等相关缺陷,或并发缺陷如竞态条件。Polyspace静态分析可以提供了一个运行时错误检测的解决方案。
为什么担心运行时错误吗?
高度集成的关键系统运行时错误可能导致应用程序失败,导致灾难性的后果。运行时错误造成系统故障的根源在引人注目的例子。这些包括一个算术溢出运行时错误,坠毁的机载计算机火箭,和竞争条件运行时错误,导致医疗器械注射致命剂量的放射线。
运行时错误检测
关键是执行高完整性的应用程序的运行时错误检测。然而,这种错误检测是具有挑战性的,因为它涉及到预测所有可能执行您的软件。如下,期待所有路径是困难的:
“在理想的情况下,你想要测试所有可能的行为。这意味着测试所有可能的组合输入或所有可能的决策路径至少一次。这是一个高尚的,但完全不切实际,目标。例如,在软件测试的艺术,格兰福特梅尔斯描述了一个小程序,只有五个决策有10 ^ 14独特的执行路径。他指出,如果您可以编写,执行,并验证每五分钟一个测试用例,它需要十亿年的时间来测试详尽的这个项目。显然,理想的情况是无法企及的,因此您必须使用近似理想。您将看到,功能测试和覆盖测试提供了一个合理的次优选择。基本的方法是选择测试一些功能,一些报道,揭露错误的概率最高。”[1]
可能有数万亿的可能性来测试,很明显,运行时错误检测通过单独测试不足和效率低下。一个更好的解决方案是使用Polyspace静态分析检测运行时错误,因为你可以用它来验证所有可能的组合输入每一个可能决定路径。它使用一个正式的方法技术,即抽象的解释。这种技术的桥梁之间的差距传统的静态分析技术和动态测试通过验证动态/编译时的软件应用程序的运行时性能。
没有执行程序本身,抽象解释调查所有可能的运行时行为的程序不仅证明复杂的运行时错误的存在,也证明他们的缺席。您可以使用Polyspace产品识别那些特殊下载188bet金宝搏的运行时错误,只有在特定的运行条件下发生。了解更多的Polyspace静态分析解决方案。
结合抽象的解释和静态代码分析使您能够:
- 检测难以捉摸的运行时错误
- 证明缺乏关键的运行时错误
- 生产代码质量度量
- 检查源代码遵循代码标准如MISRA-C / c++和JSF + +
1伯杰:“嵌入式软件测试的基础知识2011年,“嵌入式。。
