公司注重底层核心技术积累和产品研发,以国家重大工程中的软件可信性需求未牵引,长期不懈开展高可信软件技术基础研究和软件工具产品研发,积累了包括程序静态分析、虚拟仿真等在内的一系列核心技术,并已形成覆盖嵌入式软件开发测试全过程的自主可控软件工具产品。拥有包含静态代码检查工具SpecChecker、可视化自动单元与集成测试平台SunwiseAUnit和嵌入式软件系统仿真平台VTest等覆盖软件全生命周期的自主可控开发测试工具链。


从开发到测试

在软件编码、单元集成测试、配置项测试、系统级测试等阶段提供全方位保障;

从半物理到全数字

提供全数字化的开发、调试及测试,大幅缩短研制周期;

从软件到系统

超实时软硬件分布式仿真系统,迅速从配置项到系统级的仿真验证;

从单点到云、端集成

通过客户端集成开发环境和云端持续集成实现对全工具链的自动化和数据整合。


产品序列

Product Ranges

本网站由阿里云提供云计算及安全服务 Powered by CloudDream