CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具 静态解析C/C++源代码自动生成流程图等文件 适用于各种嵌入式微机用汇编代码 具有符合编程标准MISRA-C 1998/2004的规范检查功能，Code Metrics计测功能 适用于掌握以往程序的内容，审阅会议时评估程序等，有利于改善软件质量的工具   产品概要 CasePlayer2是通过解析ANSI C语言，C++，嵌入式C语言（非ANSI），以及汇编语言的源代码，制作包括流程图等的程序说明书的工具。不论是对以往的程序进行逻辑分析，还是为新开发的程序制作说明书，都提供了强有力的支援。作为程序静态分析功能，包括外部变量参照/代入的列表功能，以及C语言的编程标准的规范检查功能。   只需将程序登记，可以自动生成各种说明书 CasePlayer2是通过分析ANSI C语言，C++，嵌入式C语言（非ANSI），以及汇编语言的源代码，制作包括流程图等程序说明书的逆向CASE（computer aided software engineering tool）工具。应用GAIO的主要技术也就是编译技术，不需要追加其他代码就可以解析代码构造，制作各种流程图。而其他公司的CASE工具往往需要追加代码才能实现流程图生成。而且，只需几秒钟就可以将数万行C语言程序转换成流程图，具有引以为豪的压倒性性能。 ・流程图・模块（函数）说明书・模块结构图・模块（函数）表・structure说明书，structure表    根据静态解析功能，生成外部变量对照表，typedef表，各种参照表 具有通过静态分析制作外部变量表和外部变量对照情报表的功能。可以用来确认整个Project中的外部变量在那里被参照，在那里被写入。也可以通过列表跳到相对应的代码所在行。能够在早期发现不正确的写入及读取，发现那些意想不到的错误，拥有强有力的功能。 ・外部变量表・typedef表・#define表・外部变量参照表・函数参照表・structure参照表・structure成员参照表   支持ANSI C语言，非ANSI嵌入式C,嵌入式汇编语言 也支持嵌入式汇编的源代码。程序包(Package)提供了近60种微机的参数（parameter）文件，几乎覆盖了目前使用的各种微机。即使需要对个别的微机或个别微机的机型增加新的命令语，用户只要在参数文件中增加新命令语的定义，就可以立即使用。 对于C语言代码，不仅支持ANSI C语言，也支持#ifdef这样的设定编译条件的预编（preprocessor）代码。另外，也支持使用near，far一类特殊代码的程序。   能够设置最佳打印布局避免不必要的用纸 不仅可以打印Word文件，也能够打印HTML文件 提供流程图打印的最佳化功能，避免打印不必要的空白浪费用纸。在打印布局功能方面，相比其他公司的CASE工具有着压倒性优势。只需改变打印倍率，即可得到用纸最少，布局最佳的打印。流程图之外的说明书也可以用同样的方法打印。另外，打印出的说明书还可以生成为HTML,Word（doc）格式的文件，生成比例可以自由设置。 具有的规范检查功能，符合MISRA-C1998、MISRA-C2004标准 MISRA-C是MISRA(Motor Industry Software Reliability Association)针对汽车工业领域的C语言软件制定的标准。MISRA是以汽车工业领域为中心有关软件可靠性的非营利机构。最近，MISRA也开始被汽车软件以外的领域所采用。 包括符合标准的程序构造解析功能。GAIO的代码解析技术是从开发编译技术培养起来的，能够发现不同用户编写的不同程序中的不符合规范的部分，同其他公司的规范检查工具相比，CasePlayer2以其解析的”深度”，得到高度评价。检查的规范项目可以任意选择。※MISRA规范检查功能不支持C++。只有Code Metrics情报输出功能支持C++。 ●MISRA-C 1998 : 能够对127项规范中的124项进行错误检查  ●MISRA-C 2004 : 能够对141項规范中的138项进行错误检查  ●点击HELP可以阅览规范解说，举例说明容易理解（日语）  ●对代码的测试，代码的重复使用，代码的维护有很高利用价值的Code Metrics测试  ・路径复杂度・Myer's Interval ・NET深度・代码文件的大小・注解（行数/比率）・静态pathcounter CasePlayer2应用实例 CasePlayer2是可以随时随地将源代码变换成视觉形象的流行图的工具。可以在开发的各种环节灵活应用，例如源代码的解析，程序说明书的制作等。 开发初期的基本设计及探讨阶段，需要对现有的源代码进行调查解析 对现有源代码，无论是资源中的源代码还是其他工程师编写的源代码，都需要在短时间内理解它们的逻辑内容，确认将它们插入时需要的修改规定等事宜。模块结构图以及流程图能够提供强有力的支援。CasePlayer2具有在几秒钟转换几万行的C语言程序的能力，可以即刻将代码变换成图形，提高源代码的解析效率。 程序编程后期的源代码审阅会议，提高软件质量 提高软件质量首先要在开发团队中展开互相审阅检查，发现自己未能察觉的错误，总结提出更有效的编程方法。 可以随时将源代码变换成流程图和模块结构图，将情报视觉化，使在短时间内对代码做出明确的评价成为可能。 开发完成后的开发内容记录，制作标准化程序说明书 书面化的开发内容将成为今后的重要资源。通过CasePlayer2能够自动制作各种书面文件。与手编写相比，可以戏剧性的削减说明书制作工作。同时，不同于手编写容易造成各自格式的不同，能够制作统一格式统一编写方法的说明书，为开发project的文件格式通用化标准化提供有力的支援。 主要功能 ●支持C/C++言語（V5.0之后） ●说明书的综合化制作 ・各种说明书之间任意移动（从各种参照表移动到相对照的源代码的地方等） ●从程序自动生成各种说明书・流程图・模块说明书・模块结构图・模块表  ・structure表・外部变量表・typedef表・#define表 ・成员函数说明书・外部变量参照表・函数参照表・structure参照表 ・class表 ・class说明书・class参照表・成员函数参照表 （←V5.0之后） ●ANSI C言語、嵌入式C语言（非ANSI）、以及汇编 ●「MISRA-C」的规范检查功能符合MISRA-1998、MISRA-2004标准 ●说明书的MS-Word格式转换功能 ●任意设定缩小率，避免不必要的用纸，最佳布局的打印功能 ●HTML格式变换功能 ●印刷时格式布局的客户化功能 ●目录自动追加功能 ●流程图，模块结构图的图像文件（BMP,PNG）的输出功能 动作环境 ●操作PC/OS  ・IBM PC/AT 兼容机  ・Windows XP，Windows Vista， Windows 7（32bit）（※Windows 95/98/Me/NT/2000 未支持）  ●License Key ・USB Board Hardware Key (Dongle)  ●安装需要的HDD容量 ・最少30MB以上的容量 ●需要的其他应用功能 ・HTML格式文件阅读：Microsoft Internet Explorer 5.5以上 ・MS-Word格式文件生成：Microsoft Word 2000以上

  CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试/集成测试工具 全面支持嵌入式微机！验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具不需要HookCode 直接使用目标机代码进行单元测试联合静态解析工具，提供C0（语句）,C1（判定）,MC/DC覆盖率报告，优化测试用例制作已取得第三方认证机构TUVSUD对适用于汽车机能安全ISO26262软件工具的认证 产品概要 是以嵌入式软件的函数为单位，实施模块单元测试以及C0/C1/MCDC覆盖率测试（coverage test）的嵌入式软件自动化单元测试工具。目标机源代码通过交叉编译器生成目标机执行代码，通过跟实际处理器同样的模拟处理器环境进行单元测试，不需要对执行代码做任何变动，使高信赖性的模块测试成为可能。在汽车控制软件这样的对安全性要求极高的领域，单元测试已经成为不可缺少的一部分。使用目标机代码进行单元测试也是为了符合汽车行业中ISO26262功能安全认证标准。 产品特长 全面支持嵌入式微机！验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具 作为能够检验出仅凭系统测试以及整体测试无法发现的的检测方法，在嵌入式开发领域受到广泛重视。同时，单元测试也是汽车用软件功能安全（ISO26262）领域中要求实施的认证项目之一。直接使用通过交叉编译生成的目标机代码，在模拟处理器环境下进行单元测试。既能实现C语言程序的逻辑上的单元验证，又能够对嵌入式微机组装为产品后可能发生的问题等进行具有高信赖度的白盒（white box）测试。 不需要HookCode 使直接使用目标机代码进行单元测试成为可能的业界唯一的工具 有些公司的单元测试工具往往采用在被测试对象的源代码中追加测试用代码或者测试用驱动器的方法，导致测试时所用的代码与组装为产品后的目标机用代码不同。虽然，但是从嵌入式开发的角度考虑，这样就如同对交叉编译所生成的经过优化处理的代码进行了加工，无法确保最终产品的质量。Coverage master winAMS是业界唯一的，具有实施单元测试功能的工具，特别是在安全性要求高的领域中得到很高的评价。 不需建立单元测试专用的环境，可以在开发用交叉编译环境进行单元测试 Coverage master winAMS不需要追加任何测试用驱动器或测试用代码，可以直接使用将组装成产品的目标代码进行单元测试。单元测试能够与软件开发使用共同的交叉编译环境，不再需要对测试资源进行专门管理，也不再需要建立其他专用环境。因此，既方便程序资源管理，又能够缩短准备测试环境所需的时间。 符合汽车功能安全标准（ISO26262）这一要求的最佳工具 ISO26262是从IEC61508衍生出来的适用于汽车制造领域的功能安全标准。其中的Part.6-9包括了关于软件程序的构造覆盖率测试以及有关的规定项目。根据汽车安全标准（ASIL），提出了测试语句覆盖率（statement coverage），分支覆盖率（branch coverage），MC/DC覆盖率的推荐性事项。 其中的另一个推荐性事项是 的规定。如果在与目标环境不同的环境下进行单元测试，必须表明源代码与目标代码的差别，以及目标环境和测试环境的差别。因此，对于那些使用与目标微机不同的电脑进行编译和单元测试的其他公司的工具而言，这个要求很难满足。 还有些公司的单元测试工具虽然包括交叉编译环境及编译功能，而且也能够在与目标环境相同的环境下进行测试，但是所有的测试都需要插入测试用代码，进行再次编译，因此测试也只能在与目标环境不同的环境下实施。 GAIO提供的单元测试工具Coverage master winAMS具有 ●采用全面支持嵌入式微机的微机化功能测试平台环境●不需要插入测试用代码直接使用目标机代码进行测试 的特征，提供符合ISO26262标准要求的必须功能。GAIO提供的Coverage master winAMS是符合ISO26262标准这一要求的业界唯一的工具。 关于汽车机能安全ISO26262的对应以及认证的获得 已取得第三方认证机构TUVSUD对适用于汽车机能安全ISO26262软件工具的认证 2012年6月28日，「Coverage master winAMS / General」测试工具获得由德国TUVSUD第三方认证机构，在汽车机能安全规格的ISO26262软件工具方面的认证，包括日本在内亚洲地区首次获得该项认证。 通过此项认证，说明本公司的单元测试工具「Coverage master winAMS / General」，以及程序分析工具「CasePlayer2」，在静态分析和单元测试领域，是符合所有安全度水准的工具，并由TUVSUD认证机构得到了保障。 ISO 26262对于不同的开发用软件工具在工具置信水平（TCL），都需要开发者提供开发软件工具的认证书。此项认证适用于在工具认证当中，最为复杂的TCL3工具认证标准。因此，导入本公司的单元测试工具之后，不需要对TCL的部分进行认证，进而可以缩减手续跟时间。 主要的单元测试功能 采用SSTManager管理单元测试project SSTManager是Coverage master winAMS的应用功能，用于管理单元测试project，制作测试数据（test data）。从设定测试环境开始，到报告测试结果为止，均由微机化功能测试平台（ISS）实施综合管理。 采用通用便利的CSV文件管理测试数据的输入输出 Coverage master winAMS不需要插入测试用代码，直接使用目标机代码进行单元测试。采用通用便利的CSV文件管理函数测试时使用的输入输出数据。测试结束后，输出的测试结果和输出的期待值也将以相同的格式显示在CSV文件之中。 C0/C1覆盖率报告的自动化制作功能（标准功能） 根据测试的输入输出数据自动报告相应源代码的C0/C1测试覆盖率结果。包括通过图形（viewer）显示测试数据，以及与其相应的被测试的源代码路径的功能，用于分析测试结果。作为选项功能也包括MC/DC覆盖率测试功能。 MC/DC覆盖率的自动化测试功能（选项功能） 作为选项功能提供MC/DC覆盖率测试功能。C0/C1覆盖率测试不需要加工即可直接使用目标机代码。然而，MC/DC覆盖率测试对于复合式的条件式，需要自动插入HookCode将复合式的条件式分解，才能对各条件式进行测试。这样就有可能导致测试用代码与目标机用代码的不同。为了验证HookCode的妥当性，在MC/DC覆盖率测试的同时，运行目标机代码，确认运行结果与期待值的一致性。 注:右图举例显示，第2个if句的复合条件式中，为false时的分支没有被测试到。以C1覆盖率测试来说，它的测试结果是OK；而对于MC/DC覆盖率测试来说，它的结果是NG。 注: MC/DC覆盖率测试功能不支持C++程序。 单元测试的效率化功能 联合程序解析工具CasePlayer2，实现代码参照解析作业的效率化 利用CasePlayer2生成的流程图表以及模块构造图（调用函数的构造图）与源代码的连接（link）功能，使单元测试用源代码的解析工作效率化。 能够自动检索被测试函数的外部变量，使测试条件设定效率化 联合程序解析工具CasePlayer2，自动检索被测试函数所使用的外部变量。缩短了以往必须对源代码进行搜索找出输入条件的变量所需的工作。而且，能够防止人工操作导致的类似变量指定遗漏的的错误。   根据代码解析自动化制作C0，C1，MC/DC 覆盖率测试计划 联合程序解析工具CasePlayer2，自动化制作符合覆盖率测试要求的条件分支if,switch,for,while等的测试数据。可以将被测试函数中含有的条件式（if以及switch等）在数据制成图形(Viewer)上列表显示。点击其中的条件，工具将自动开始检索与之相关的变量，进而从所设置的条件的境界值中自动生成覆盖率测试所需要的数据。 为了达到C1/MCDC覆盖率，测试时需要对各函数的数据进行组合。利用CasePlayer2提供的解析结果，分析条件式的net构造，在重复性限制在最小限度下生成C1/MCDC覆盖率测试用数据。 支持MPU 　CoverageMaster winAMS Supported Processor List(English) 动作环境 ・操作PC/OS・IBM PC/AT 兼容机・Pentium(相当) 2GHz 以上的CPU・存储器 512MB 以上（推荐值）・显示器分辨率 XGA(1024*768)以上（推荐值）・Windows XP, Windows Vista, Windows 7（32bit/64bit）（※Windows 95/98/Me/NT/2000 未支持）