123
|
e2617ab2d0
|
修复REST API系统中的关键问题并完善测试基础设施
本次提交解决了14个关键验证评论，显著提升了系统的稳定性、可测试性和维护性：
主要修复：
- 修复性能测试中的异步函数装饰器和fixture注入问题
- 创建FreeRTOS环境设置和CBMC验证脚本
- 简化开发依赖从842行至66行核心依赖
- 统一API响应架构和数据字段结构
- 完善pytest配置和标记系统
- 创建综合测试夹具和模拟工厂
- 修复导入路径和异步方法使用一致性
- 统一验证状态枚举使用
- 创建常量定义文件避免硬编码
技术改进：
- 添加完整的pytest fixtures和hooks配置
- 实现CBMC和LLM响应测试夹具
- 创建管道模拟工厂支持集成测试
- 标准化错误处理和状态管理
- 改进测试覆盖率和质量门禁
新增文件：
- scripts/setup-freertos-example.sh
- scripts/run-comprehensive-tests.sh
- tests/fixtures/cbmc_outputs.py
- tests/fixtures/llm_responses.py
- tests/fixtures/pipeline_mocks.py
- src/verify/constants.py
🤖 Generated with [Claude Code](https://claude.ai/code)
Co-Authored-By: Claude <noreply@anthropic.com>
|
2025-09-15 08:31:47 +08:00 |