🚦 预期功能安全测试
验证与确认策略
📘 30章 · 完整目录
🏫 风格 · 明快· 清晰
📌 点击章节跳转对应文件
01
功能安全基础：ISO 26262与预期功能安全(SOTIF)概述、功能安全与预期功能安全的区别、V模型开发流程中的验证与确认。
基础概念 · V模型
02
危害分析与风险评估(HARA)：HARA方法论、危害识别、风险评估与ASIL等级确定、安全目标定义。
HARA · ASIL
03
功能安全概念(FSC)：功能安全概念的定义、功能安全需求的导出、安全机制与安全状态。
FSC · 安全机制
04
技术安全概念(TSC)：技术安全需求的分解、系统架构设计中的安全机制、硬件与软件的安全分配。
TSC · 架构分配
05
验证与确认(V&V)基础：验证与确认的定义与区别、V&V在V模型中的位置、V&V策略的制定原则。
V&V 基础
06
验证方法：评审、走查与审查、仿真与建模、形式化验证方法。
评审 · 仿真 · 形式化
07
确认方法：测试驱动开发(TDD)在安全中的应用、基于场景的测试、实车测试与试验场测试。
TDD · 场景测试
08
测试用例设计：等价类划分、边界值分析、因果图法、基于场景的测试用例设计。
用例设计 · 边界值
09
软件单元测试：单元测试策略、测试覆盖率(语句、分支、MC/DC)、单元测试工具与框架。
单元测试 · MC/DC
10
软件集成测试：集成策略(自顶向下、自底向上、三明治)、接口测试、集成测试用例设计。
集成策略 · 接口
11
硬件测试：硬件在环(HIL)测试、故障注入测试、硬件可靠性测试。
HIL · 故障注入
12
系统集成测试：系统级功能测试、系统级安全机制测试、系统级故障注入测试。
系统集成 · 安全机制
13
预期功能安全(SOTIF)测试：SOTIF测试策略、已知与未知危险场景、功能不足与触发条件分析。
SOTIF · 危险场景
14
SOTIF场景库构建：场景分类(功能场景、逻辑场景、具体场景)、场景参数化、场景库管理。
场景库 · 参数化
15
基于仿真的SOTIF测试：仿真环境搭建、传感器模型与感知算法测试、决策规划算法测试。
仿真 · 感知算法
16
SOTIF确认测试：开放道路测试、里程积累与统计、安全释放决策。
开放道路 · 释放决策
17
安全确认评审：安全案例构建、安全论据与证据链、评审流程与检查清单。
安全案例 · 证据链
18
工具认证与鉴定：工具分类(TCL)、工具鉴定方法、工具使用中的V&V。
TCL · 工具鉴定
19
配置管理与变更管理：配置项识别、基线管理、变更影响分析、变更后的回归测试。
配置管理 · 变更
20
安全计划与V&V计划：安全计划内容、V&V计划制定、计划评审与更新。
安全计划 · V&V计划
21
测试管理：测试过程管理、缺陷管理、测试度量与报告。
测试管理 · 度量
22
回归测试策略：回归测试范围确定、回归测试用例选择、自动化回归测试。
回归 · 自动化
23
安全相关的软件架构测试：架构评估方法(如ATAM)、架构安全模式测试、架构一致性检查。
架构评估 · ATAM
24
安全通信测试：CAN/CAN FD安全测试、以太网安全测试、通信故障注入。
CAN · 以太网 · 故障注入
25
操作系统与中间件安全测试：实时操作系统(RTOS)安全机制测试、AUTOSAR安全测试、内存保护与分区测试。
RTOS · AUTOSAR
26
功能安全与信息安全协同：ISO 21434与ISO 26262的交互、安全与安防的联合测试策略。
21434 · 协同
27
基于模型的测试：MBT方法、模型生成测试用例、模型在环(MIL)测试。
MBT · MIL
28
测试自动化框架：自动化测试架构设计、关键字驱动测试、数据驱动测试。
自动化框架 · 关键字驱动
29
安全测试工具链：工具链集成、持续集成/持续交付(CI/CD)中的安全测试、DevOps与功能安全。
工具链 · CI/CD
30
案例研究：ADAS系统V&V案例、线控底盘系统V&V案例、V&V策略总结与最佳实践。
案例 · 最佳实践