第4讲Spec嵌入式编程定义量产固件、安全规范、可维护工程唯一标准开篇什么是Spec编程Spec规格、规范、契约在嵌入式AI开发中Spec编程是一种规格驱动开发的范式核心思想是先定义规格再写代码 规格即契约代码即实现 严格约束确保质量Spec编程的三大核心价值量产固件标准确保代码可量产、可维护安全规范保障满足工控、轨交安全要求可维护工程基础团队协作、长期维护的唯一标准一、Spec编程的核心定义1.1 Spec编程的三大特征特征一先定义规格Vibe编程口语需求 → AI生成代码 → 测试Spec编程定义规格 → AI按规格生成 → 验证规格规格示例## 温度传感器规格 ### 硬件规格 - I2C地址0x487位地址 - 时钟频率100kHz标准模式 - 超时时间100ms - 重传次数3次 ### 数据规格 - 温度数据2字节大端序 - 有效范围-40℃~85℃ - 分辨率0.01℃ - 数据格式int16_t单位0.01℃ ### 函数契约 c /** * brief 读取温度 * param temp 温度值指针单位0.01℃ * return 0成功-1失败 * * 前置条件 * - temp ! NULL * - I2C已初始化 * * 后置条件 * - 成功*temp ∈ [-4000, 8500] * - 失败*temp未定义 */ int read_temperature(int16_t *temp);容错边界I2C通信失败重试3次每次间隔10ms数据超范围返回错误不使用错误数据总线挂死复位I2C外设重新初始化**特征二严格按规格生成**AI生成规则必须严格遵守规格不能自由发挥不能添加规格外的功能不能省略规格中的要求Prompt示例严格按照以下规格生成代码[粘贴完整规格]要求严格遵守所有规格要求不添加规格外的功能不省略错误处理代码风格符合嵌入式规范**特征三契约式验证**验证内容前置条件是否满足后置条件是否成立容错边界是否覆盖性能要求是否满足验证方法单元测试集成测试边界测试异常测试### 1.2 Spec编程的适用边界 **适用场景**✅ 量产产品开发需要稳定可靠需要长期维护需要版本管理✅ 工控设备固件安全关键需要容错机制需要规范文档✅ 轨交系统开发SIL等级要求需要认证需要严格规范✅ 团队协作项目需要统一规范需要代码审查需要交接文档**不适用场景**❌ 快速验证硬件太慢用Vibe快速验证验证后再用Spec❌ 临时测试代码没必要测试代码用完就扔不需要严格规格❌ 概念验证过度设计概念验证可能失败不值得投入规格成本--- ## 二、Spec四段式万能模板 ### 2.1 四段式结构Spec 硬件层 数据层 函数层 容错层硬件层硬件相关规格数据层数据格式规格函数层函数契约规格容错层异常处理规格### 2.2 硬件层规格 **硬件层规格内容**接口定义接口类型I2C/SPI/UART/GPIO引脚分配具体引脚号电平标准3.3V/5V时序参数时钟频率建立时间保持时间延时要求电气特性供电电压工作电流上拉/下拉电阻**硬件层规格示例** markdown ## 硬件层规格 ### 接口定义 - 接口类型I2C - I2C外设I2C1 - SCL引脚PB6 - SDA引脚PB7 - 电平标准3.3V ### 时序参数 - 时钟频率100kHz - 启动条件SCL高时SDA下降沿 - 停止条件SCL高时SDA上升沿 - 数据建立时间≥250ns - 数据保持时间≥250ns ### 电气特性 - 供电电压3.3V - 上拉电阻4.7kΩ - 总线电容≤400pF - 设备地址0x487位2.3 数据层规格数据层规格内容1. 数据结构 - 结构体定义 - 联合体定义 - 枚举定义 2. 数据格式 - 字节序大端/小端 - 位域定义 - 对齐要求 3. 数据范围 - 有效范围 - 默认值 - 特殊值数据层规格示例## 数据层规格 ### 数据结构 c // 温度传感器数据结构 typedef struct { int16_t temperature; // 温度单位0.01℃ uint8_t valid; // 数据有效标志 uint32_t timestamp; // 时间戳ms } TempSensor_Data_t;数据格式温度数据2字节大端序有效标志1字节0无效1有效时间戳4字节小端序数据范围温度有效范围[-4000, 8500]-40℃~85℃温度默认值250025℃温度特殊值0x8000表示传感器故障### 2.4 函数层规格 **函数层规格内容**函数签名函数名参数列表返回值类型函数契约前置条件后置条件不变量性能要求执行时间内存占用调用频率**函数层规格示例** markdown ## 函数层规格 ### 函数签名 c int TempSensor_Read(TempSensor_Data_t *data); int TempSensor_Init(void); int TempSensor_Deinit(void);函数契约TempSensor_Read/** * brief 读取温度传感器数据 * param data 数据结构指针 * return 0成功-1失败 * * 前置条件 * - data ! NULL * - 传感器已初始化 * - I2C总线正常 * * 后置条件 * - 成功data-valid 1 * - 成功data-temperature ∈ [-4000, 8500] * - 失败data-valid 0 * - 失败data-temperature未定义 * * 不变量 * - 不修改全局状态除统计信息 * - 不阻塞超过100ms */性能要求TempSensor_Read执行时间≤100msTempSensor_Init执行时间≤10ms调用频率≤10Hz### 2.5 容错层规格 **容错层规格内容**错误类型通信错误数据错误硬件错误错误处理重试策略恢复策略上报策略边界条件超时边界数据边界资源边界**容错层规格示例** markdown ## 容错层规格 ### 错误类型 c typedef enum { TEMP_SENSOR_OK 0, // 成功 TEMP_SENSOR_ERR_I2C -1, // I2C通信错误 TEMP_SENSOR_ERR_TIMEOUT -2,// 超时错误 TEMP_SENSOR_ERR_DATA -3, // 数据错误 TEMP_SENSOR_ERR_BUS -4, // 总线挂死 } TempSensor_Error_t;错误处理I2C通信错误重试策略重试3次每次间隔10ms恢复策略复位I2C外设重新初始化上报策略记录错误日志上报错误事件数据错误重试策略重试1次恢复策略使用上次有效数据上报策略记录警告日志总线挂死重试策略不重试恢复策略复位I2C外设延时100ms上报策略记录严重错误触发看门狗边界条件超时边界单次I2C操作≤100ms数据边界温度∈[-4000, 8500]资源边界I2C总线使用率≤50%--- ## 三、Spec编程实战案例 ### 3.1 完整Spec示例 **需求**开发一个量产级I2C温度传感器驱动 **完整Spec** markdown # 温度传感器驱动规格文档 ## 1. 概述 - 芯片型号TMP102 - 接口类型I2C - 应用场景工业温度监控 - SIL等级SIL2 ## 2. 硬件层规格 ### 2.1 接口定义 - I2C外设I2C1 - I2C地址0x487位地址 - SCL引脚PB6 - SDA引脚PB7 - 电平标准3.3V ### 2.2 时序参数 - 时钟频率100kHz标准模式 - 启动建立时间≥4.7us - 停止建立时间≥4.0us - 数据建立时间≥250ns - 数据保持时间≥300ns ### 2.3 电气特性 - 供电电压3.3V范围2.7V~5.5V - 工作电流≤10uA正常模式 - 上拉电阻4.7kΩ - 总线电容≤400pF ## 3. 数据层规格 ### 3.1 数据结构 c /** * brief 温度传感器数据结构 */ typedef struct { int16_t temperature; // 温度值单位0.01℃ uint8_t valid; // 数据有效标志 uint32_t timestamp; // 时间戳ms uint16_t error_count; // 错误计数 } TempSensor_Data_t; /** * brief 温度传感器配置结构 */ typedef struct { uint8_t sample_rate; // 采样率Hz uint8_t resolution; // 分辨率9/10/11/12位 uint8_t mode; // 工作模式0正常1关断 } TempSensor_Config_t;3.2 数据格式温度寄存器2字节大端序配置寄存器2字节小端序温度转换原始值 × 0.0625℃3.3 数据范围温度有效范围[-5500, 12800]-55℃~128℃温度默认值250025℃分辨率12位0.0625℃4. 函数层规格4.1 初始化函数/** * brief 初始化温度传感器 * param config 配置参数 * return 0成功0失败 * * 前置条件 * - config ! NULL * - I2C外设未初始化 * * 后置条件 * - 成功I2C外设已初始化 * - 成功传感器配置完成 * - 失败I2C外设未初始化 */intTempSensor_Init(constTempSensor_Config_t*config);4.2 读取函数/** * brief 读取温度数据 * param data 数据结构指针 * return 0成功0失败 * * 前置条件 * - data ! NULL * - 传感器已初始化 * - I2C总线正常 * * 后置条件 * - 成功data-valid 1 * - 成功data-temperature ∈ [-5500, 12800] * - 失败data-valid 0 * * 性能要求 * - 执行时间≤100ms * - 不阻塞超过100ms */intTempSensor_Read(TempSensor_Data_t*data);4.3 反初始化函数/** * brief 反初始化温度传感器 * return 0成功0失败 * * 前置条件 * - 传感器已初始化 * * 后置条件 * - I2C外设已反初始化 * - 资源已释放 */intTempSensor_Deinit(void);5. 容错层规格5.1 错误类型typedefenum{TEMP_SENSOR_OK0,TEMP_SENSOR_ERR_PARAM-1,// 参数错误TEMP_SENSOR_ERR_I2C-2,// I2C错误TEMP_SENSOR_ERR_TIMEOUT-3,// 超时错误TEMP_SENSOR_ERR_DATA-4,// 数据错误TEMP_SENSOR_ERR_BUS-5,// 总线挂死TEMP_SENSOR_ERR_INIT-6,// 未初始化}TempSensor_Error_t;5.2 错误处理策略错误类型重试次数重试间隔恢复策略上报级别I2C错误3次10ms复位I2CERROR超时错误3次10ms复位I2CERROR数据错误1次0ms使用上次数据WARNING总线挂死0次-复位I2C延时CRITICAL5.3 边界条件超时边界单次I2C操作≤100ms总读取时间≤300ms含重试初始化时间≤10ms数据边界温度范围[-5500, 12800]分辨率[9, 12]位采样率[1, 10]Hz资源边界I2C总线使用率≤50%错误计数器≤1000内存占用≤100字节6. 性能要求6.1 时间性能初始化时间≤10ms读取时间≤100ms关断模式唤醒≤10ms6.2 内存性能代码段≤2KB数据段≤100字节堆栈使用≤256字节6.3 功耗要求正常模式≤1mA关断模式≤10uA7. 安全要求7.1 SIL2等级要求单点故障不会导致危险输出诊断覆盖率≥90%安全响应时间≤1s7.2 安全机制数据范围检查校验和验证看门狗监控错误计数限制8. 测试要求8.1 单元测试正常路径测试异常路径测试边界条件测试8.2 集成测试I2C通信测试数据转换测试错误处理测试8.3 性能测试时间性能测试内存性能测试功耗测试### 3.2 按Spec生成的代码 c /** * file temp_sensor.c * brief 温度传感器驱动实现 * note 严格按照Spec规格实现 */ #include temp_sensor.h #include i2c.h #include log.h #include watchdog.h /* 私有变量 */ static struct { uint8_t initialized; // 初始化标志 TempSensor_Config_t config; // 配置参数 int16_t last_valid_temp; // 上次有效温度 uint16_t error_count; // 错误计数 } priv {0}; /* 错误处理函数 */ static int handle_i2c_error(void) { priv.error_count; if (priv.error_count 1000) { /* 错误计数超限触发看门狗 */ LOG_CRITICAL(Temp sensor error count exceed limit); while (1); /* 触发看门狗复位 */ } /* 复位I2C总线 */ I2C_Deinit(); HAL_Delay(10); I2C_Init(); return TEMP_SENSOR_ERR_I2C; } /* I2C读取带重试 */ static int i2c_read_with_retry(uint8_t reg, uint8_t *data, uint8_t len) { int retry; HAL_StatusTypeDef status; for (retry 0; retry 3; retry) { status HAL_I2C_Mem_Read(hi2c1, 0x48 1, reg, 1, data, len, 100); if (status HAL_OK) { return TEMP_SENSOR_OK; } if (status HAL_TIMEOUT) { /* 超时延时后重试 */ HAL_Delay(10); continue; } if (status HAL_ERROR) { /* I2C错误复位总线 */ handle_i2c_error(); HAL_Delay(10); continue; } } return TEMP_SENSOR_ERR_TIMEOUT; } /* 初始化函数 */ int TempSensor_Init(const TempSensor_Config_t *config) { uint8_t cfg_reg[2]; /* 前置条件检查 */ if (config NULL) { return TEMP_SENSOR_ERR_PARAM; } if (priv.initialized) { return TEMP_SENSOR_OK; /* 已初始化 */ } /* 保存配置 */ priv.config *config; /* 配置传感器 */ cfg_reg[0] 0x00; /* 配置寄存器高字节 */ cfg_reg[1] 0x00; /* 配置寄存器低字节 */ /* 设置分辨率 */ cfg_reg[1] | (config-resolution - 9) 5; /* 设置模式 */ if (config-mode 1) { cfg_reg[0] | 0x01; /* 关断模式 */ } /* 写入配置 */ if (HAL_I2C_Mem_Write(hi2c1, 0x48 1, 0x01, 1, cfg_reg, 2, 100) ! HAL_OK) { return TEMP_SENSOR_ERR_I2C; } /* 初始化完成 */ priv.initialized 1; priv.error_count 0; priv.last_valid_temp 2500; /* 默认25℃ */ return TEMP_SENSOR_OK; } /* 读取函数 */ int TempSensor_Read(TempSensor_Data_t *data) { uint8_t raw[2]; int16_t temp_raw; /* 前置条件检查 */ if (data NULL) { return TEMP_SENSOR_ERR_PARAM; } if (!priv.initialized) { return TEMP_SENSOR_ERR_INIT; } /* 读取温度寄存器 */ if (i2c_read_with_retry(0x00, raw, 2) ! TEMP_SENSOR_OK) { >四、Spec编程的核心价值4.1 确保代码质量质量维度正确性 - 功能正确 - 逻辑正确 - 数据正确 可靠性 - 错误处理完整 - 容错机制健全 - 异常恢复有效 可维护性 - 代码规范 - 注释完整 - 文档齐全 可测试性 - 接口清晰 - 边界明确 - 易于测试4.2 满足安全要求SIL等级要求SIL1 - 单点故障可能危险 - 诊断覆盖率≥60% SIL2 - 单点故障不会危险 - 诊断覆盖率≥90% SIL3 - 单点故障不会危险 - 诊断覆盖率≥99% Spec如何满足 - 完整的错误处理 - 完整的容错机制 - 完整的测试用例4.3 支持团队协作协作价值统一标准 - 所有代码按相同规格编写 - 风格统一 - 质量统一 易于审查 - 规格即审查标准 - 代码是否符合规格 - 一目了然 易于交接 - 规格文档即交接文档 - 新人快速上手 - 维护成本低五、Spec编程的注意事项5.1 规格要完整不完整的规格## 温度传感器规格 ### 函数 int read_temperature(void); 缺少 - 参数说明 - 返回值说明 - 错误处理 - 性能要求完整的规格## 温度传感器规格 ### 函数契约 /** * brief 读取温度 * return 温度值单位0.01℃失败返回0x8000 * * 前置条件 * - 传感器已初始化 * * 后置条件 * - 成功返回值∈[-5500, 12800] * - 失败返回0x8000 * * 性能要求 * - 执行时间≤100ms */ int read_temperature(void); ### 容错边界 - I2C失败重试3次 - 数据错误返回0x8000 - 总线挂死复位I2C5.2 规格要可验证不可验证的规格性能要求 - 速度快 - 内存小 - 功耗低可验证的规格性能要求 - 执行时间≤100ms - 内存占用≤100字节 - 功耗≤1mA5.3 规格要稳定不稳定的规格数据格式 - 温度float可能变化 - 格式未确定稳定的规格数据格式 - 温度int16_t单位0.01℃ - 字节序大端 - 范围[-5500, 12800]六、总结Spec编程的核心要点6.1 核心观点Spec编程定义 - 先定义规格再写代码 - 规格即契约代码即实现 - 严格约束确保质量 Spec编程特点 - 规格驱动 - 契约式开发 - 严格约束 Spec编程价值 - 确保代码质量 - 满足安全要求 - 支持团队协作6.2 使用建议何时使用Spec - 量产产品开发 - 工控设备固件 - 轨交系统开发 - 团队协作项目 何时不使用Spec - 快速验证硬件 - 临时测试代码 - 概念验证 Spec与Vibe结合 - Vibe验证 → 提炼规格 → Spec实现七、下讲预告第5讲嵌入式场景二范式决策树什么情况快写、什么情况严写内容预告决策树详解典型场景决策混合使用策略敬请期待
第4讲Spec嵌入式编程定义量产固件、安全规范、可维护工程唯一标准开篇什么是Spec编程Spec规格、规范、契约在嵌入式AI开发中Spec编程是一种规格驱动开发的范式核心思想是先定义规格再写代码 规格即契约代码即实现 严格约束确保质量Spec编程的三大核心价值量产固件标准确保代码可量产、可维护安全规范保障满足工控、轨交安全要求可维护工程基础团队协作、长期维护的唯一标准一、Spec编程的核心定义1.1 Spec编程的三大特征特征一先定义规格Vibe编程口语需求 → AI生成代码 → 测试Spec编程定义规格 → AI按规格生成 → 验证规格规格示例## 温度传感器规格 ### 硬件规格 - I2C地址0x487位地址 - 时钟频率100kHz标准模式 - 超时时间100ms - 重传次数3次 ### 数据规格 - 温度数据2字节大端序 - 有效范围-40℃~85℃ - 分辨率0.01℃ - 数据格式int16_t单位0.01℃ ### 函数契约 c /** * brief 读取温度 * param temp 温度值指针单位0.01℃ * return 0成功-1失败 * * 前置条件 * - temp ! NULL * - I2C已初始化 * * 后置条件 * - 成功*temp ∈ [-4000, 8500] * - 失败*temp未定义 */ int read_temperature(int16_t *temp);容错边界I2C通信失败重试3次每次间隔10ms数据超范围返回错误不使用错误数据总线挂死复位I2C外设重新初始化**特征二严格按规格生成**AI生成规则必须严格遵守规格不能自由发挥不能添加规格外的功能不能省略规格中的要求Prompt示例严格按照以下规格生成代码[粘贴完整规格]要求严格遵守所有规格要求不添加规格外的功能不省略错误处理代码风格符合嵌入式规范**特征三契约式验证**验证内容前置条件是否满足后置条件是否成立容错边界是否覆盖性能要求是否满足验证方法单元测试集成测试边界测试异常测试### 1.2 Spec编程的适用边界 **适用场景**✅ 量产产品开发需要稳定可靠需要长期维护需要版本管理✅ 工控设备固件安全关键需要容错机制需要规范文档✅ 轨交系统开发SIL等级要求需要认证需要严格规范✅ 团队协作项目需要统一规范需要代码审查需要交接文档**不适用场景**❌ 快速验证硬件太慢用Vibe快速验证验证后再用Spec❌ 临时测试代码没必要测试代码用完就扔不需要严格规格❌ 概念验证过度设计概念验证可能失败不值得投入规格成本--- ## 二、Spec四段式万能模板 ### 2.1 四段式结构Spec 硬件层 数据层 函数层 容错层硬件层硬件相关规格数据层数据格式规格函数层函数契约规格容错层异常处理规格### 2.2 硬件层规格 **硬件层规格内容**接口定义接口类型I2C/SPI/UART/GPIO引脚分配具体引脚号电平标准3.3V/5V时序参数时钟频率建立时间保持时间延时要求电气特性供电电压工作电流上拉/下拉电阻**硬件层规格示例** markdown ## 硬件层规格 ### 接口定义 - 接口类型I2C - I2C外设I2C1 - SCL引脚PB6 - SDA引脚PB7 - 电平标准3.3V ### 时序参数 - 时钟频率100kHz - 启动条件SCL高时SDA下降沿 - 停止条件SCL高时SDA上升沿 - 数据建立时间≥250ns - 数据保持时间≥250ns ### 电气特性 - 供电电压3.3V - 上拉电阻4.7kΩ - 总线电容≤400pF - 设备地址0x487位2.3 数据层规格数据层规格内容1. 数据结构 - 结构体定义 - 联合体定义 - 枚举定义 2. 数据格式 - 字节序大端/小端 - 位域定义 - 对齐要求 3. 数据范围 - 有效范围 - 默认值 - 特殊值数据层规格示例## 数据层规格 ### 数据结构 c // 温度传感器数据结构 typedef struct { int16_t temperature; // 温度单位0.01℃ uint8_t valid; // 数据有效标志 uint32_t timestamp; // 时间戳ms } TempSensor_Data_t;数据格式温度数据2字节大端序有效标志1字节0无效1有效时间戳4字节小端序数据范围温度有效范围[-4000, 8500]-40℃~85℃温度默认值250025℃温度特殊值0x8000表示传感器故障### 2.4 函数层规格 **函数层规格内容**函数签名函数名参数列表返回值类型函数契约前置条件后置条件不变量性能要求执行时间内存占用调用频率**函数层规格示例** markdown ## 函数层规格 ### 函数签名 c int TempSensor_Read(TempSensor_Data_t *data); int TempSensor_Init(void); int TempSensor_Deinit(void);函数契约TempSensor_Read/** * brief 读取温度传感器数据 * param data 数据结构指针 * return 0成功-1失败 * * 前置条件 * - data ! NULL * - 传感器已初始化 * - I2C总线正常 * * 后置条件 * - 成功data-valid 1 * - 成功data-temperature ∈ [-4000, 8500] * - 失败data-valid 0 * - 失败data-temperature未定义 * * 不变量 * - 不修改全局状态除统计信息 * - 不阻塞超过100ms */性能要求TempSensor_Read执行时间≤100msTempSensor_Init执行时间≤10ms调用频率≤10Hz### 2.5 容错层规格 **容错层规格内容**错误类型通信错误数据错误硬件错误错误处理重试策略恢复策略上报策略边界条件超时边界数据边界资源边界**容错层规格示例** markdown ## 容错层规格 ### 错误类型 c typedef enum { TEMP_SENSOR_OK 0, // 成功 TEMP_SENSOR_ERR_I2C -1, // I2C通信错误 TEMP_SENSOR_ERR_TIMEOUT -2,// 超时错误 TEMP_SENSOR_ERR_DATA -3, // 数据错误 TEMP_SENSOR_ERR_BUS -4, // 总线挂死 } TempSensor_Error_t;错误处理I2C通信错误重试策略重试3次每次间隔10ms恢复策略复位I2C外设重新初始化上报策略记录错误日志上报错误事件数据错误重试策略重试1次恢复策略使用上次有效数据上报策略记录警告日志总线挂死重试策略不重试恢复策略复位I2C外设延时100ms上报策略记录严重错误触发看门狗边界条件超时边界单次I2C操作≤100ms数据边界温度∈[-4000, 8500]资源边界I2C总线使用率≤50%--- ## 三、Spec编程实战案例 ### 3.1 完整Spec示例 **需求**开发一个量产级I2C温度传感器驱动 **完整Spec** markdown # 温度传感器驱动规格文档 ## 1. 概述 - 芯片型号TMP102 - 接口类型I2C - 应用场景工业温度监控 - SIL等级SIL2 ## 2. 硬件层规格 ### 2.1 接口定义 - I2C外设I2C1 - I2C地址0x487位地址 - SCL引脚PB6 - SDA引脚PB7 - 电平标准3.3V ### 2.2 时序参数 - 时钟频率100kHz标准模式 - 启动建立时间≥4.7us - 停止建立时间≥4.0us - 数据建立时间≥250ns - 数据保持时间≥300ns ### 2.3 电气特性 - 供电电压3.3V范围2.7V~5.5V - 工作电流≤10uA正常模式 - 上拉电阻4.7kΩ - 总线电容≤400pF ## 3. 数据层规格 ### 3.1 数据结构 c /** * brief 温度传感器数据结构 */ typedef struct { int16_t temperature; // 温度值单位0.01℃ uint8_t valid; // 数据有效标志 uint32_t timestamp; // 时间戳ms uint16_t error_count; // 错误计数 } TempSensor_Data_t; /** * brief 温度传感器配置结构 */ typedef struct { uint8_t sample_rate; // 采样率Hz uint8_t resolution; // 分辨率9/10/11/12位 uint8_t mode; // 工作模式0正常1关断 } TempSensor_Config_t;3.2 数据格式温度寄存器2字节大端序配置寄存器2字节小端序温度转换原始值 × 0.0625℃3.3 数据范围温度有效范围[-5500, 12800]-55℃~128℃温度默认值250025℃分辨率12位0.0625℃4. 函数层规格4.1 初始化函数/** * brief 初始化温度传感器 * param config 配置参数 * return 0成功0失败 * * 前置条件 * - config ! NULL * - I2C外设未初始化 * * 后置条件 * - 成功I2C外设已初始化 * - 成功传感器配置完成 * - 失败I2C外设未初始化 */intTempSensor_Init(constTempSensor_Config_t*config);4.2 读取函数/** * brief 读取温度数据 * param data 数据结构指针 * return 0成功0失败 * * 前置条件 * - data ! NULL * - 传感器已初始化 * - I2C总线正常 * * 后置条件 * - 成功data-valid 1 * - 成功data-temperature ∈ [-5500, 12800] * - 失败data-valid 0 * * 性能要求 * - 执行时间≤100ms * - 不阻塞超过100ms */intTempSensor_Read(TempSensor_Data_t*data);4.3 反初始化函数/** * brief 反初始化温度传感器 * return 0成功0失败 * * 前置条件 * - 传感器已初始化 * * 后置条件 * - I2C外设已反初始化 * - 资源已释放 */intTempSensor_Deinit(void);5. 容错层规格5.1 错误类型typedefenum{TEMP_SENSOR_OK0,TEMP_SENSOR_ERR_PARAM-1,// 参数错误TEMP_SENSOR_ERR_I2C-2,// I2C错误TEMP_SENSOR_ERR_TIMEOUT-3,// 超时错误TEMP_SENSOR_ERR_DATA-4,// 数据错误TEMP_SENSOR_ERR_BUS-5,// 总线挂死TEMP_SENSOR_ERR_INIT-6,// 未初始化}TempSensor_Error_t;5.2 错误处理策略错误类型重试次数重试间隔恢复策略上报级别I2C错误3次10ms复位I2CERROR超时错误3次10ms复位I2CERROR数据错误1次0ms使用上次数据WARNING总线挂死0次-复位I2C延时CRITICAL5.3 边界条件超时边界单次I2C操作≤100ms总读取时间≤300ms含重试初始化时间≤10ms数据边界温度范围[-5500, 12800]分辨率[9, 12]位采样率[1, 10]Hz资源边界I2C总线使用率≤50%错误计数器≤1000内存占用≤100字节6. 性能要求6.1 时间性能初始化时间≤10ms读取时间≤100ms关断模式唤醒≤10ms6.2 内存性能代码段≤2KB数据段≤100字节堆栈使用≤256字节6.3 功耗要求正常模式≤1mA关断模式≤10uA7. 安全要求7.1 SIL2等级要求单点故障不会导致危险输出诊断覆盖率≥90%安全响应时间≤1s7.2 安全机制数据范围检查校验和验证看门狗监控错误计数限制8. 测试要求8.1 单元测试正常路径测试异常路径测试边界条件测试8.2 集成测试I2C通信测试数据转换测试错误处理测试8.3 性能测试时间性能测试内存性能测试功耗测试### 3.2 按Spec生成的代码 c /** * file temp_sensor.c * brief 温度传感器驱动实现 * note 严格按照Spec规格实现 */ #include temp_sensor.h #include i2c.h #include log.h #include watchdog.h /* 私有变量 */ static struct { uint8_t initialized; // 初始化标志 TempSensor_Config_t config; // 配置参数 int16_t last_valid_temp; // 上次有效温度 uint16_t error_count; // 错误计数 } priv {0}; /* 错误处理函数 */ static int handle_i2c_error(void) { priv.error_count; if (priv.error_count 1000) { /* 错误计数超限触发看门狗 */ LOG_CRITICAL(Temp sensor error count exceed limit); while (1); /* 触发看门狗复位 */ } /* 复位I2C总线 */ I2C_Deinit(); HAL_Delay(10); I2C_Init(); return TEMP_SENSOR_ERR_I2C; } /* I2C读取带重试 */ static int i2c_read_with_retry(uint8_t reg, uint8_t *data, uint8_t len) { int retry; HAL_StatusTypeDef status; for (retry 0; retry 3; retry) { status HAL_I2C_Mem_Read(hi2c1, 0x48 1, reg, 1, data, len, 100); if (status HAL_OK) { return TEMP_SENSOR_OK; } if (status HAL_TIMEOUT) { /* 超时延时后重试 */ HAL_Delay(10); continue; } if (status HAL_ERROR) { /* I2C错误复位总线 */ handle_i2c_error(); HAL_Delay(10); continue; } } return TEMP_SENSOR_ERR_TIMEOUT; } /* 初始化函数 */ int TempSensor_Init(const TempSensor_Config_t *config) { uint8_t cfg_reg[2]; /* 前置条件检查 */ if (config NULL) { return TEMP_SENSOR_ERR_PARAM; } if (priv.initialized) { return TEMP_SENSOR_OK; /* 已初始化 */ } /* 保存配置 */ priv.config *config; /* 配置传感器 */ cfg_reg[0] 0x00; /* 配置寄存器高字节 */ cfg_reg[1] 0x00; /* 配置寄存器低字节 */ /* 设置分辨率 */ cfg_reg[1] | (config-resolution - 9) 5; /* 设置模式 */ if (config-mode 1) { cfg_reg[0] | 0x01; /* 关断模式 */ } /* 写入配置 */ if (HAL_I2C_Mem_Write(hi2c1, 0x48 1, 0x01, 1, cfg_reg, 2, 100) ! HAL_OK) { return TEMP_SENSOR_ERR_I2C; } /* 初始化完成 */ priv.initialized 1; priv.error_count 0; priv.last_valid_temp 2500; /* 默认25℃ */ return TEMP_SENSOR_OK; } /* 读取函数 */ int TempSensor_Read(TempSensor_Data_t *data) { uint8_t raw[2]; int16_t temp_raw; /* 前置条件检查 */ if (data NULL) { return TEMP_SENSOR_ERR_PARAM; } if (!priv.initialized) { return TEMP_SENSOR_ERR_INIT; } /* 读取温度寄存器 */ if (i2c_read_with_retry(0x00, raw, 2) ! TEMP_SENSOR_OK) { >四、Spec编程的核心价值4.1 确保代码质量质量维度正确性 - 功能正确 - 逻辑正确 - 数据正确 可靠性 - 错误处理完整 - 容错机制健全 - 异常恢复有效 可维护性 - 代码规范 - 注释完整 - 文档齐全 可测试性 - 接口清晰 - 边界明确 - 易于测试4.2 满足安全要求SIL等级要求SIL1 - 单点故障可能危险 - 诊断覆盖率≥60% SIL2 - 单点故障不会危险 - 诊断覆盖率≥90% SIL3 - 单点故障不会危险 - 诊断覆盖率≥99% Spec如何满足 - 完整的错误处理 - 完整的容错机制 - 完整的测试用例4.3 支持团队协作协作价值统一标准 - 所有代码按相同规格编写 - 风格统一 - 质量统一 易于审查 - 规格即审查标准 - 代码是否符合规格 - 一目了然 易于交接 - 规格文档即交接文档 - 新人快速上手 - 维护成本低五、Spec编程的注意事项5.1 规格要完整不完整的规格## 温度传感器规格 ### 函数 int read_temperature(void); 缺少 - 参数说明 - 返回值说明 - 错误处理 - 性能要求完整的规格## 温度传感器规格 ### 函数契约 /** * brief 读取温度 * return 温度值单位0.01℃失败返回0x8000 * * 前置条件 * - 传感器已初始化 * * 后置条件 * - 成功返回值∈[-5500, 12800] * - 失败返回0x8000 * * 性能要求 * - 执行时间≤100ms */ int read_temperature(void); ### 容错边界 - I2C失败重试3次 - 数据错误返回0x8000 - 总线挂死复位I2C5.2 规格要可验证不可验证的规格性能要求 - 速度快 - 内存小 - 功耗低可验证的规格性能要求 - 执行时间≤100ms - 内存占用≤100字节 - 功耗≤1mA5.3 规格要稳定不稳定的规格数据格式 - 温度float可能变化 - 格式未确定稳定的规格数据格式 - 温度int16_t单位0.01℃ - 字节序大端 - 范围[-5500, 12800]六、总结Spec编程的核心要点6.1 核心观点Spec编程定义 - 先定义规格再写代码 - 规格即契约代码即实现 - 严格约束确保质量 Spec编程特点 - 规格驱动 - 契约式开发 - 严格约束 Spec编程价值 - 确保代码质量 - 满足安全要求 - 支持团队协作6.2 使用建议何时使用Spec - 量产产品开发 - 工控设备固件 - 轨交系统开发 - 团队协作项目 何时不使用Spec - 快速验证硬件 - 临时测试代码 - 概念验证 Spec与Vibe结合 - Vibe验证 → 提炼规格 → Spec实现七、下讲预告第5讲嵌入式场景二范式决策树什么情况快写、什么情况严写内容预告决策树详解典型场景决策混合使用策略敬请期待
![[C++]内存管理：串顺序存储的内存回收](http://pic.xiahunao.cn/yaotu/[C++]内存管理：串顺序存储的内存回收)
