高可信工具软件
提供静态缺陷检测工具SpecChecker、可视化自动单元与集成测试平台SunwiseAUnit、嵌入式软件系统仿真平台VTest、通用自动化测试工具SunwiseDTP、高效软件成分分析系统SunwiseSCA五款工具产品,形成自主可控的、全面覆盖高可信嵌入式/非嵌式软件开发和测试过程的工具链。
应用领域
航天
航空
兵器
汽车
电子
从开发到测试
在软件编码、单元集成测试、配置项测试、系统级测试、自主可控测评、鉴定测评等阶段提供全方位保障。
从半物理到全数字
提供全数字化的开发、调试及测试方法,大幅缩短研制周期。
从软件到系统
超实时的软硬件分布式仿真系统,提供从配置项级到系统级的高效仿真测试方法。
从技术到管理
有效整合技术线和管理线各个环节的活动,实现技术和管理的深度融合。
特色介绍
认证资质
合作客户