程序聚合 软件案例 CodeWeaver-CodeWeaver

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
24小时内活跃
方向: 人工智能-AI应用开发、AR-AR、
交付率:100.00%
相似推荐
中北大学车辆管理系统
1. 用户认证与权限模块 - 登录注册 :支持用户名密码登录、新用户注册 - 密码管理 :提供忘记密码、管理员重置密码功能 - 黑名单机制 :可对违规用户进行拉黑处理,保障系统安全 - 操作日志 :记录所有关键操作行为,便于审计追溯 2. 车辆管理模块 - 车辆档案管理 :新增、编辑、删除车辆信息,涵盖车牌号、品牌型号、购置信息等 - 车辆审核机制 :新增车辆需经审核通过后才能正式入库,支持驳回并填写原因 - 数据验证与清洗 :自动检测无效数据、重复数据,提供一键清洗功能 - 批量导入导出 :支持 Excel 批量导入车辆数据、导出车辆信息报表 - 智能搜索 :按车牌号、类型、状态等多条件组合搜索 3. 驾驶员管理模块 - 驾驶员档案 :维护驾驶员基本信息、准驾车型、所属学院/部门 - 批量管理 :支持批量导入驾驶员信息 - 信息查询 :按姓名、工号、部门等条件快速检索 4. 维修保养模块 - 维修记录 :记录车辆每次维修的时间、项目、费用、维修厂等信息 - 保养管理 :按保养周期记录定期保养情况 - 历史追溯 :可查询单车的完整维修保养历史 5. 保险管理模块 - 保险记录 :录入车辆保险信息,包括保险公司、保单号、有效期 - 到期提醒 :智能识别即将到期的保险,提前 N 天预警 - 理赔管理 :记录保险理赔情况 6. 年检管理模块 - 年检记录 :登记车辆年检信息,包括检测机构、结果、有效期 - 到期预警 :自动检测即将到期的年检记录 7. 统计分析模块 - 数据看板 :车辆总数、驾驶员总数、各类型占比等核心指标 - 状态统计 :按车辆状态(在用、维修、报废)分类统计 - 保险年检统计 :统计即将到期的保险和年检数量 8. 文件管理模块 - 文件上传 :支持图片、文档(PDF、Word、Excel)上传 - 文件下载 :提供安全的文件下载接口,防止路径穿越攻击
高并发铁路在线购票系统
基于 Java 微服务架构开发的铁路在线购票系统,围绕用户出行购票场景,实现从用户登录、车票查询、乘车人管理、在线购票、座位分配,到订单生成、在线支付、退票退款的完整业务闭环。 系统采用前后端分离及微服务架构设计,针对购票业务中高并发访问、库存一致性、重复请求、订单超时、分布式数据存储等场景进行了专项设计,可用于展示团队在 Java 企业级应用、微服务及高并发系统方面的开发能力。
daiweihawaiitours.com-夏威夷大岛私人包车旅游服务平台
面向夏威夷大岛中文游客的私人包车旅游服务平台,由 Daiwei Transportation LLC 运营,解决海外华人游客语言不通、交通不便、行程规划困难等痛点。 7大核心功能模块: 模块 关键内容 ① 首页展示 Hero区域 + 五大信任标签(PUC持证、商业保险、私人SUV、中英双语、本地向导) ② 旅游路线 三条路线:Mauna Kea观星(¥680起)、Kona火山一日游、Hilo东北海岸线 ③ 服务特色 Local灵活路线、Private一车一群、双语沟通、Simple先预约后付款 ④ 图片画廊 夏威夷风景照片,支持全屏查看 ⑤ 预约表单 姓名/日期/酒店/人数/路线/联系方式,流程:提交需求→确认行程→支付定金 ⑥ 在线客服 Live Chat实时对话 + 电话808.749.0388 + 微信DAIWEI600 ⑦ 多语言切换 中英文双语切换,全页中英对照 访问首页 → 浏览路线 → 填写预约表单 → 运营确认 → 支付定金 → 安排出行
零距物联
零距物联是面向个人用户、车主、宠物主与渠道代理商的定位器物联网管控系统。交付包含 Flutter 跨端 App(Android/iOS)、Java 业务服务端(Sa-Token 鉴权)以及蜂窝 GPS 定位器硬件云协同。产品以「绑定设备—实时定位—轨迹回放—电子围栏与告警—远程控制—套餐续费」为主链路,覆盖车辆、人员、宠物及畜牧等多场景资产追踪,不是单点看地图工具,而是「定位器硬件 + 云端轨迹指令与告警 + App 管控 + 订阅变现」的一体化物联网方案。 【业务目标】对终端用户:随时掌握设备位置、历史轨迹、电量信号与安防状态,降低丢车、丢物与异常风险;对代理商:独立登录承接渠道业务;对平台:通过设备续期、秒定模式、轨迹存储延长、流量卡充值及 VIP 安防录音等增值包形成持续收入;对运营:告警推送、远程指令、订单支付与客户服务可配置、可追溯。 【用户端—定位与轨迹】「定位」页基于百度地图展示设备实时位置,并呈现电量、信号、运动状态及 GPS/WIFI/基站等定位方式;支持按日查询与回放历史轨迹,云端轨迹存储天数受套餐限制,超限引导购买轨迹存储服务。支持圆形电子围栏的新增、编辑与删除,设备进出围栏触发告警进入消息中心,形成「看见位置—回看轨迹—围栏守护」闭环。 【用户端—控制中心与设备】控制中心聚合远程能力:定位/工作模式切换(含高频秒定)、远程关机省电与一键重启;震动、断电、低电压、超速、光感等安防参数远程下发;声音报警/异响听取与手动录音;VIP 安防录音、高清录音与录音恢复;设备电话簿维护并下发;今日与历史里程统计;流量卡 ICCID 查询与套餐充值。设备管理支持扫码或输入 IMEI 绑定/解绑、设备改名及场景图标(汽车/货车/电动车/人/宠物等),一套 App 适配多种定位器用途。 【用户端—账号消息与商业化】登录支持设备号、手机号、代理商多角色,权限与菜单差异化(如设备登录限制解绑、代理商精简个人中心)。告警列表与订阅开关结合极光及华为/小米/OPPO/vivo/荣耀厂商通道触达。商业化路径清晰:设备激活/到期续费、秒定增值、轨迹存储、流量卡与 VIP 录音,微信支付与支付宝完成下单支付。主路径:协议登录→绑设备→地图监控→设围栏与告警→远程控制→到期续费或购买流量/增值。 【服务端与复杂度】Java 后端承接用户、设备、监控、轨迹、围栏、告警、指令、订单、SIM/反馈等模块;App 不经 BLE 直连硬件,定位数据与控制指令均经云端与定位器蜂窝通道交互,属「端—云—器」高复杂度集成。双端已上架安卓和苹果各大应用市场。
速度猫共享充电宝项目
当下共享充电宝行业加盟商、中小运营厂商普遍使用老旧单机后台,设备状态、订单、分账数据割裂;门店活动、设备调价、故障运维全部需要技术人员改动代码,运营人员无法自主操作,设备海量并发连接易掉线、资金结算人工核算效率低,缺少一体化 SaaS 管理平台,因此立项开发本系统. 系统包含设备管理、商户门店、用户订单、分账结算、营销活动、数据看板六大模块;支持机柜远程参数配置、租借计费规则自定义,自动完成商户 / 代理分账,内置优惠券引流工具,实时监控设备故障告警,多维度报表统计租借流水、设备收益。 采用**SaaS 多租户微服务架构**,拆分物联网设备服务、订单服务、结算分账服务、营销服务、数据统计服务;基于 Netty 搭建 MQTT 长连接网关统一管理千万级机柜设备;消息队列异步处理订单、设备上报数据;分库分表存储海量租借订单,读写分离提升查询性能。
帮助文档   Copyright @ 2021-2024 程聚宝 | 浙ICP备2021014372号
人工客服