CodeWeaver-CodeWeaver

2026-08-24 07:13:16

行业：人工智能

载体：框架或代码包

技术：Python、PyTorch

业务和功能介绍

### 市场定位
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. 基础设施层

示例图片视频

meditation

30天前活跃

方向：人工智能-AI应用开发、AR-AR、

交付率：100.00%

查看主页

相似推荐

某汽车品牌出行租车业务系统

1、立项背景和目标为了满足某汽车品牌在移动出行领域的战略布局，提升车辆资产利用率与用户租车体验，本项目作为广汽本田官方出行平台的核心运营支撑底座应运而生。项目的目标是构建一套支撑全链路出行服务的高可用系统，实现“厂端-店端-用户-管家”四端协同，彻底解决租车场景中长期存在的押金管理难、车辆库存极易超卖、以及店端整备效率低下的核心痛点。 2、软件功能、核心功能模块的介绍系统涵盖厂/店两级 Vue 管理后台以及面向 C 端用户和 B 端门店管家的微信小程序矩阵，核心功能模块包括：双域免押支付中心：深度融合微信支付分与支付宝芝麻信用，实现跨平台的信用免押租车闭环。长周期订单状态机：管理从预订、取车、用车、还车到违章结算的超长生命周期订单流转。高频车辆排期与库存引擎：基于“时间碎片化”模型，精准管控各门店、各车型的时段可用库存。多端生态与管家协同系统：统筹用户自助用车与管家整备调拨的实时数据交互。双级运营大盘与数据看板：聚合多维度的车辆使用率、均价核算及长短租单量统计报表。 3、业务流程、功能路径描述核心业务流转路径如下：C端用户在小程序选定时间与车型发起租车请求，系统实时校验底层时段库存；库存锁定后，调用双域信用接口完成免押授权并生成订单；到达取车时间前，B端管家小程序接收任务，完成车辆整备与资产安全上报；用户自助扫码开锁取车，开启计费状态机；用户还车后，系统自动发起免押扣款；若后续产生违章，状态机异步流转触发违章延期扣款机制；最终所有订单与车辆流转数据汇聚至双级运营看板，供厂店两级管理层进行数据分析与决策。

智能交流充电终端通信与远程升级开发

本项目面向小区、园区及办公楼停车场，开发集充电控制、电能计量、设备联网和远程管理于一体的7kW智能交流充电终端。设备支持插枪即充、刷卡、平台远程及蓝牙操作等启动方式，通过4G或以太网连接管理平台，实现设备认证、心跳、运行状态上报、远程启停、订单及账单上传、故障信息上报和参数配置。通过RS485读取电表数据，为电能计量和异常监测提供支持。系统支持网络及蓝牙两种固件升级路径，便于现场调试和后续版本维护。产品已量产并在多个实际场站投入使用。本项目为任职期间参与的团队项目，本人主要负责设备通信、平台协议对接、网络升级和电表通信模块。

基于UniApp的微信代驾预约服务平台-小程序端

本项目是一款基于微信生态的O2O代驾服务平台，旨在解决用户酒后代驾及日常用车需求。具体功能模块包括： 1.用户端：支持一键呼叫代驾、LBS精准定位、费用实时估算、在线支付及订单评价。 2.司机端：具备实名认证、在线抢单/听单、智能导航规划及收入统计功能。 3.管理后台：包含司机审核、订单调度监控及财务流水管理。主要功能路径：用户发起预约 -> 系统推送附近司机 -> 司机抢单并生成路线 -> 服务完成 -> 用户在线支付。全流程实现了从需求发起到服务交付的数字化闭环。

网约车平台司机注册自动审核工具-司机审核助手

【立项背景与目标】网约车平台每来一个司机注册申请，审核员要打开后台，逐项核对身份证、驾驶证、行驶证、交强险、网约车驾驶员证、网约车运输证六类证件，还要确认车辆有没有被其他司机绑定、这辆车符不符合入驻城市的准入要求。其中很大一部分是机械判断——证件号对不对、过期没有、年龄够不够、车龄超没超、准驾车型符不符。真正麻烦的是两件事：一是各地准入规则不一样，全国近百个城市的要求都不同，规则散在多份表格里，新人上手容易出错；二是同一个人审同一份材料，早上的结论和下午可能就不一样。我在做人工复检时发现，工具判断和人工判断的分歧几乎全部集中在"边界情况"上，说明问题不在人的态度，而在于规则从来没有被明确写下来。本项目要做的就是把这些标准固化下来：机械判断交给程序，需要主观判断的（照片合不合规、信息真不真）留给人。【核心功能模块】一、审核单自动定位与信息抽取：输入司机 ID，自动在待审队列里找到对应审核单，拉取六类证件的全部字段（含平台已识别的 OCR 结果），不需要人工复制粘贴。二、证件核验自动化：对未核验的证件，一键发起平台核验并自动轮询取回结论。把原本"点按钮—等结果—看结论"三步，合并成一步。三、政务网站自动查询：深圳、西安两地的运输证需要去交通主管部门官网按车牌查询。深圳官网有图形验证码，用浏览器自动化配合 OCR 识别；西安官网没有验证码，直接用 HTTP 请求解析返回页面。同样是查一个证，两套手段，成本差了一个数量级。四、城市准入规则引擎：把全国近百个城市的准入口径——哪些证件必须上传、交强险是否强制、有没有官网查询渠道——做成一份可配置的表，判定时按城市自动套用。口径变了只改配置，不改代码。五、三态判定引擎：每一单输出"可通过 / 需人工 / 不能通过"三种结论之一，并把判定依据逐条写清楚，方便人工复核和对账。六、台账输出：批量审核后自动生成 Excel 反馈台账，结论按三态着色，附汇总表与核验结果表。【流程说明】输入司机 ID 或批量拉取待审队列 → 拉取审核详情 → 对未核验证件发起系统核验 → 深圳/西安车证转官网查询 → 按城市准入规则逐项判定 → 输出三态结论与逐条原因 → 生成 Excel 台账，人工只需处理"需人工"那部分。这里有一条我坚持的原则：工具只做"核对 + 通过 + 标记"，永远不调用驳回接口。所有"不能通过"的结论都只是标记，最终怎么处置由人来定。我把产品定位成"审核员的副驾"，而不是替代者。

智能预约停车系统

目前国内各大城市停车供需矛盾突出，核心商圈、老旧小区、公共区域停车资源紧张，普遍存在**车找位、位找车**的信息错配难题：高峰时段核心区域一位难求，大量空余车位却因信息不透明闲置，资源利用率低。传统停车模式缺少提前预约锁定机制，车主到场后盲目绕场寻位，加剧道路拥堵。为破解该痛点，我们搭建智能预约停车平台，依托智能车位锁硬件 + 软件平台一体化方案，打通车位资源、预约管控与车辆引导能力，实现车位资源数字化盘活，平衡停车供需，缓解城市静态交通压力。