嵌入式软件可靠性设计的四种类型 |
- 嵌入式软件避错设计
- 嵌入式软件查错设计
- 嵌入式软件改错设计
- 嵌入式软件容错设计
|
嵌入式软件避错设计 |
- 软件避错设计原理
- 抽象与逐步求精
- 模块独立与信息隐藏
- 健壮性设计
- 形式化方法
|
嵌入式软件查错设计 |
|
嵌入式软件改错设计 |
|
嵌入式软件容错设计 |
|
嵌入式软件可靠性设计准则 |
- 贯彻软件可靠性设计准则的意义
- 软件需求分析阶段的可靠性设计准则示例
- 软件设计阶段的可靠性设计准则示例
- 软件实现阶段的可靠性设计准则示例
|
冗余设计准则 |
|
接口设计准则: |
- 硬件接口要求;
- 硬件接口的软件设计;
- 人机界面设计;
- 报警设计;
- 软件接口设计
|
软件健壮性设计准则 |
- 电源失效防护;
- 加电检测;
- 电磁干扰;
- 系统不稳定;
- 接口故障
- 干扰信号
- 错误操作;
- 监控定时器的设计
- 异常保护设计
|
简化设计准则 |
- 单入和单出;
- 模块的独立性;
- 模块的扇入扇出;
- 模块耦合方式;
- 模块内聚顺方式;
- 其他特殊考虑
|
余量设计 |
|
数据要求 |
- 数据需求;
- 属性控制;
- 数值运算范围控制;
- 合理性检查
|
防错程序设计准则 |
- 参数化;
- 公用数据和公共变量;
- 标志;
- 文件;
- 非授权存取的限制
- 无意指令跳转的处理;
- 程序检测点的设置
- 寻址模式的选用;
- 数据区隔离;
- 安全关键信息的要求;
- 信息存储要求
- 算法选择要求
|
编程要求 |
- 语言要求;
- 汇编语言编程限制
- 高级语言的编程限制;
- 圈复杂度指数(McCabe)
- 软件单元的规模;
- 命名要求;
- 程序格式要求;
- 程序注释要求与方法;
- 注释的一般要求
- 模块头注释要求;
- 模块内注释要求;
- 安全关键内容注释要求;
- 程序设计风格;
- 通用类;
- 结构类;
- 说明类;
- 输人输出类;
- 语言类
|
多余物的处理 |
- 文档中未记载特征的清除;
- 程序多余物的清除;
- 未使用内存的处理;
- 覆盖的处理
|
嵌入式软件可靠性代码设计规范 |
|
可测性与软件测试 |
- 需求遗漏或不明确
- 配置保存的生效
- 缺省配置的影响
- 报警和清除
- 菜单选项测试
- 缺省配置测试
- 系统测试注意事项
|
嵌入式软件质量保证 |
- 程序效率
- 质量保证
- 代码编辑、编译、审查
- 代码测试、维护
- 宏
|