最新动态
咨询
嵌入式软件开发与验证工具
适用于Windows系统的单元测试工具
CoverageMaster winAMS
CoverageMaster winAMS MBT扩展功能
适用于Linux系统的单元测试工具
QTE(Quality Town for Embedded grade)
嵌入式C/C++ 程序规格说明书的编写与分析工具
Caseplayer2
公司信息
嵌入式软件开发与验证工具
Windows面向开发环境的单元测试工具
CoverageMaster winAMS
CoverageMaster winAMS MBT选项
Linux面向开发环境的单元测试工具
Quality Town for Embedded grade(QTE)
C/C++ 嵌入式程序规格说明书编写・分析工具
CasePlayer2
公司信息
新动态
隐私政策
信息安全基本方针
咨询
嵌入式软件开发与验证工具
HOME
>
嵌入式软件开发与验证工具
提供将本公司的自研工具与全球工具的统合方案
本公司(GAIO)从自主研发交叉编译器起步 ,以微控制器的代码生成、源代码分析、微控制器/系统模拟技术为核心,自主研发出嵌入式软件的开发测试工具,是国内为数不多的工具供应商之一。本公司通过将自研工具与全球工具的统合方案,实现了完整的开发测试服务,为嵌入式软件开发者面临的课题,包括基于模型开发在内的整个开发流程提供了的全面解决方案。
嵌入式软件验证与开发工具 系列产品
CoverageMaster winAMS
嵌入式软件开发的单元测试和覆盖率测量工具的判定标准
是具有符合ISO 26262 / IEC 61508的判定标准,是可以测量语句、分支、MC/DC、函数调用等代码覆盖率,是面向C/C++语言软件的工具。对象代码执行编译后通过内置微控制器模拟器进行单元测试。不同于一般单元测试工具的仅对C源代码逻辑级别上的单元测试,还实施了包括嵌入式软件特有的在写入微控制器时所发生的问题点在内的、是微控制器代码最忠实和最可靠的单元测试。
CoverageMaster winAMS MBT扩展功能
利用CoverageMaster winAMS高效进行模型基础开发所需的Back to Back测试
为了利用CoverageMaster winAMS高效的进行基于模型开发软件所需的Back to Back测试(以下简称BtoB测试)所研发的扩展功能。通过CoverageMaster winAMS所搭载的微控制器模拟器来验证模型(MILS)和目标代码(PIL仿真)的一致性。
QTE(Quality Town for Embedded grade)
支持开放平台 支持C++语言的新一代单元测试工具
我们的产品'QTE'是一个支持AUTOSAR Adaptive Platform的单元测试工具,适用于自动驾驶/综合ECU软件开发所需的C++、Host-Linux、Target-Linux、开源软件(OSS)环境。
Caseplayer2
轻松创建程序规格说明书
独有的代码审查方式方法
CasePlayer2是一款可以解析符合ANSI标准的C、C++语言(※支持C++ 11/14)程序、解析嵌入式C语言(非ANSI)程序,并可以创建程序流程图等程序规格说明书的工具。符合ISO 26262 / IEC 61508,搭载C语言编码规范'MISRA-C'的规则检查功能。对于过去的源代码逻辑分析和程序规格说明书的制作工作给予强有力的帮助。
咨询和报价请点击此处
+81-3-4455-4767
[服务热线]9:00至17:30
(周六日、节假日、年末年初、夏季假期除外)