| MISRA-C:1998 LDRA工具套件进行验证 |
| |
|
什么是MISRA-C:1998?
在1998年汽车工业软件可靠协会(MISRA)发布了文档“在基于软件的交通工具中使用C语言的指导方针”。为了开发归为MISRA完整级2级或3级的系统,这篇文档在自动化工业中促进了 “安全C”的使用。
这标准在汽车工业已获得了广泛的认可。在别的工业领域创建安全的或商业苛刻性的系统代码时,它也被用作实现好的经验的基础。
MISRA-C:1998有127条规则,其中93条是强制的,34条是建议的;这些规则被从1到127进行了编号。MISRA-C:2004包含141条规则,其中121是强制的,20条是建议的;这些规则被分为21类,包括“环境”到“运行时失效”。
使用LDRA工具套件完成MISRA-C:1998验证
更多关于LDRA帮助您到达MISRA-C:1998标准的信息请查看 LDRA工具套件实现MISRA-C:1998.
升级到MISRA-C:2004标准
MISRA-C:1998被工业行业以及有合作关系的工具提供商进行了广泛的修订,这样就产生了MISRA-C:2004。作为MISRA规则检查软件的主要提供商,LDRA参与了相关修订工作,并且针对新的MISRA-C:2004标准对工具套件进行了扩展和争强。关于MISRA-C:2004的详细信息可以查看 MISRA-C:2004.
|
|