主页 >

GAIO TECHNOLOGY : 提供嵌入式开发工具以及嵌入式单元测试工具

公司概要

提供嵌入式开发工具以及嵌入式单元测试工具的日本企业

GAIO TECHNOLOGY是自行开发以及销售适用于嵌入式软件开发团队以及嵌入式系统开发团队的开发用软件工具的日本公司。1980年成立以来，从初期的交叉编译到目前的微机化功能测试平台（模拟微机的运行环境）的开发等，为嵌入式开发团队提供了多种软件工具。其中的单元测试工具能够改善嵌入式软件的品质，取得了以汽车制造公司和汽车零件供应公司为首的多家日本国内外公司采用的成绩以及好评。

　公司信息（英语）

产品信息

Coverage master winAMS : 适用于嵌入式目标机代码的单元测试工具

[Coverage master winAMS]是以嵌入式软件的函数为单位，实施模块单元测试以及C0/C1/MCDC覆盖率测试（coverage test）的嵌入式软件自动化单元测试工具。目标机源代码通过交叉编译器生成目标机执行代码，通过跟实际处理器同样的模拟处理器环境进行单元测试，不需要对执行代码做任何变动，使高信赖性的模块测试成为可能。在汽车控制软件这样的对安全性要求极高的领域，单元测试已经成为不可缺少的一部分。使用目标机代码进行单元测试也是为了符合汽车行业中ISO26262功能安全认证标准。

　 Coverage master winAMS 产品介绍

CasePlayer2 : 嵌入式程序的说明书制作及解析工具

CasePlayer2是通过解析ANSI C语言，C++，嵌入式C语言（非ANSI），以及汇编语言的源代码，制作包括流程图等的程序说明书的工具。不论是对以往的程序进行逻辑分析，还是为新开发的程序制作说明书，都提供了强有力的支援。作为程序静态分析功能，包括了外部变量参照/代入的列表功能，以及C语言的编程标准[MISRA-C]的规范检查功能。