14、使用Polyspace验证AUTOSAR代码的全面指南

最新推荐文章于 2026-02-11 09:21:50 发布

原创最新推荐文章于 2026-02-11 09:21:50 发布 · 65 阅读

0 GEO检测

标签

#Polyspace # AUTOSAR # 静态代码分析

收录于

Polyspace代码验证实战专栏收录该内容

64 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

使用Polyspace验证AUTOSAR代码的全面指南

一、使用保守假设对AUTOSAR代码运行Polyspace分析

在验证AUTOSAR代码时，Polyspace提供了基于组件的验证方法。Polyspace for AUTOSAR会对AUTOSAR软件组件的代码实现进行静态程序分析，以查找可能的运行时错误或与AUTOSAR XML（ARXML）规范的不匹配之处。

默认分析假定可运行对象的指针参数和Rte_函数返回的指针不为NULL。例如，在以下代码中：

iOperations_ApplicationError foo(
    Rte_Instance const self,
    app_Array_2_n320to320ConstRef aInput,
    app_Array_2_n320to320Ref aOutput,
    app_Enum001Ref aOut2)
{
    iOperations_ApplicationError rc = E_NOT_OK;
    if (aInput==NULL_PTR) {
        rc = RTE_E_iOperations_ERR001;
    } else if (aOutput==NULL_PTR) {
        rc = 43;
    } else {
        unsigned int i=0;
        for (;i<2U;++i) {
            aOutput[1-i] = aInput[i];
        }
        if (aOut2!=NULL_PTR) {