运行时间错误

运行时错误最常是指在执行程序期间出现的问题。在软件或硬件中可能发生运行时错误，导致它发生故障。他们很重要，因为它们可能导致严重的安全，安全或业务运行问题。软件运行时误差包括算术例外等逻辑错误。它们还可以包括控制和数据流相关的缺陷，例如未初始化的变量或指针，内存相关的缺陷，例如缓冲区溢出，或诸如竞争条件的并发缺陷。PolySpace静态分析可以提供用于运行时错误检测的解决方案。

为什么要担心运行时间错误？

运行时差可能导致高完整性应用程序的关键系统失败，导致灾难性的结果。运行时错误被归咎于高调示例中系统故障的根本原因。这些包括算术溢出运行时误差，该时间误差落后于火箭的板载计算机，以及竞争条件运行时误差，这导致医疗器械注入致命的辐射量。

运行时错误检测

对高完整性应用程序执行运行时错误检测至关重要。但是，这种错误检测是具有挑战性的，因为它涉及预期所有可能的软件执行。如下所述，预测所有路径都很困难：

由于可能有万亿可能需要测试，很明显，通过单独进行测试，常规错误检测不足并且效率低下。使用更好的解决方案多血糖静态分析要检测运行时错误，可以使用它来验证每个可能的决策路径的所有可能的输入组合。它使用了一种称为抽象解释的正式方法。该技术通过在编译时间验证软件应用程序的动态/运行时性能来桥接传统静态分析技术与动态测试之间的差距。

在不执行程序本身，抽象解释调查程序的所有可能的运行时行为，不仅证明了复杂的运行时间错误的存在，而且还要证明他们的缺席。您可以使用PolySpace产品来识别仅在特下载188bet金宝搏定运行时条件下发生的那些奇特的运行时错误。了解更多信息PolySpace静态分析解决方案。

结合抽象解释和静态代码分析使您可以：

• 检测难以捉摸的运行时错误
• 证明没有关键的运行时错误
• 生成代码质量指标
• 检查源代码，以符合Misra-C / C ++和JSF ++等代码标准

¹伯杰，“嵌入式软件测试的基础知识。“嵌入式。2011年。