### 市场定位
CodeWeaver 是面向**高安全嵌入式/工业软件(军工GJB438C、航空DO‑178C、汽车ISO26262等)**的智能化单元测试用例生成工具,定位为**研发效率辅助工具,不做取证级工具**,采用本地私有化大模型Ollama,支持离线运行。
**对标产品**:LDRA/VectorCAST,但不走取证工具路线;做研发阶段前置增效,和国外取证工具互补。
**客户对象**:研究所、汽车零部件、医疗器械、核电、铁路软件团队。
### 产品边界
- 明确是**研发辅助工具**,输出用例需要人工复核,不直接用于A级安全等级取证
- 规避高昂漫长的官方工具鉴定流程
- 核心价值:把设计文档业务约束自动转化测试场景,减轻工程师手工编写单元测试的重复劳动
### 核心创新
**文档‑代码双向信息融合 + 约束‑场景映射的文档驱动测试**,并非单纯调用大模型生成测试代码的玩具Demo。
┌─────────────────────────────────────────────────────────────┐
│ 1. UI用户界面层 (PySide6) │
│ 耗时的文档/LLM任务放到QThread后台线程,避免界面卡死 │
├─────────────────────────────────────────────────────────────┤
│ 2. 业务服务层 │
│ 编译服务 · 静态分析服务 · 单元分析服务 │
│ 模板服务 · 报告服务 │
├─────────────────────────────────────────────────────────────┤
│ 3. 核心处理层 │
│ AST静态分析引擎 · 文档语义预处理器 · 信息融合 │
│ 约束场景映射 · 测试执行引擎 │
├─────────────────────────────────────────────────────────────┤
│ 4. AI服务层 (Ollama) │
│ 五档稳定性保障体系(对抗大模型输出不稳定) │
│ 源头约束→传输保障→多层JSON解析容错→Schema校验补全→兜底降级│
│ ★ AI是可关闭的增强模块,底座完全可以脱离AI独立工作 │
├─────────────────────────────────────────────────────────────┤
│ 5. 数据持久层 (SQLite) │
│ 项目/版本/被测对象/用例/测试结果持久化 │
│ AI配置/编译器/行业报告模板JSON文件 │
├─────────────────────────────────────────────────────────────┤
│ 6. 基础设施层