然而,做为语言来说,C 是非常成熟的,在实践中也是经过了良好分析和使用的。所以它的不足也是众所周知和可以理解的。同时可获得大量的商业工具支持,这些工具用来静态检查 C 源代码和提醒程序员语言问题的存在。 如果为了实践的原因有必要在安全相关系统中使用 C 语言,那么必须对语言的使用加以限制,避免那些确实可以产...
MISRA The Motor Industry Software Reliability Association MISRA-C-:2004 Guidelines for the use of theC language in critical systems 中文版 阅读了该文档的用户还阅读了这些文档 13 p. GB/T 38255-2019 空间科学实验需求分析要求 11 p. GB/T 15008-2008 耐蚀合金棒 4 p. 概率统计二项式及答案 5...
这是因为 C 语言在提供任何运行时检测方面能力较弱。对于鲁棒的软件来说,动态检测是必需的,但 C 的实现不需要。因此 C 程序员需要谨慎考虑的问题是,在任何可能出现运行时错误的地方增加代码的动态检测。 当表达式仅仅由处在良好定义范围内的值组成时,倘若可以声称,对于所有处在定义范围内的值来说不会发生异常的话...
MISRA-C-2004 工业标准的C编程规范 中文版 下载积分: 1000 内容提示: MISRA The Motor Industry Software Reliability Association MISRA-C-:2004 Guidelines for the use of the C language in critical systems 中文版 文档格式:PDF | 页数:86 | 浏览次数:165 | 上传日期:2013-05-08 12:27:42 | 文档...
c)表达式不是常数是一个函数 d)表达式不是一个常数是一个返回表达式 Rule 10.2(强制):浮点数表达式不要隐式转换为其他类型: a)转换到更大的浮点数 b)表达式太复杂 c)表达式是一个函数 d)表达式是一个返回表达式 <数学类型转换(明确)> Rule 10.3(强制):整型表达式的值只能转换到更窄小且是同样符号类型的表达...
MISRA C 2004 工业标准c编程规范 MISRA?C?2004 一、开发环境(Environment) 二、语言外延(Language?Extensions) 三、注释(Documentation) 四、字符集(Character?Sets) 五、标识符(Identifiers) 六、类型(Types) 七、常量(Constants) 八、声明和定义(Declarations?and?Definitions) 九、初始化(Initialisation) 十、算术...
MISRA C 2004 (C语言规则)_中文 MISRA C 2004 (C语言规则) 程序匠人 发表于 2008-5-23 14:46:00 阅读全文(90) | 回复(2) | 引用通告(0) | 编辑 MISRA C 2004 一、开发环境(Environment) 二、语言外延(Language Extensions) 三、注释(Documentation) 四、字符集(Character Sets) 五、标识符(Identifiers...
MISRA-C-:2004 Guidelines for the use of the C language in critical systems 中文版 1背景 —— C的使用和问题 (3) 1.1汽车工业中C的使用 (3) 1.2语言的不安全性和C语言 (3) 1.3安全相关系统中C的使用 (4) 1.4标准化 (5) 2MISRA-C:视野 (6) 2.1MISRA-C的发布说明 (6) 2.2MISRA-C的目标 (...
Polyspace 可以根据 MISRA C:2004 和 MISRA® AC AGC 规则检查您的代码。有关支持的规则的信息,请参阅MISRA C:2004 and MISRA AC AGC Coding Rules。可以使用 Check MISRA C:2004 (-misra2) 或Check MISRA AC AGC (-misra-ac-agc) 分析选项激活这些规则的子集。 当违反了 MISRA C 规则时,Polyspace 会...