lirenqiu
/
codedetect
0
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
codedetect/scripts
History
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
..
freertos-setup.sh 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
generate-api-docs.py 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
generate_api_docs.py 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
run-comprehensive-tests.sh 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
run_tests.sh 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
setup-cbmc-env.sh 完成12个代码验证注释的修复和改进 2025-09-13 22:55:48 +08:00
setup-env.sh 完成12个代码验证注释的修复和改进 2025-09-13 22:55:48 +08:00
setup-freertos-example.sh 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
setup-freertos-verification.sh 修复REST API系统中的关键问题并完善测试基础设施 2025-09-15 08:31:47 +08:00
test-llm-generation.sh 实现DeepSeek v3.1代码规约化功能 2025-09-14 11:47:53 +08:00