白盒测试 嵌入式软件静态解析工具

fzm5298 · 2024年09月04日 · 1996 次阅读

CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具
静态解析 C/C++ 源代码自动生成流程图等文件
适用于各种嵌入式芯片用汇编代码
具有符合编程标准 MISRA-C 1998/2004 的规范检查功能,Code Metrics 计测功能
适用于掌握以往程序的内容,审阅会议时评估程序等,有利于改善软件质量的工具

产品概要

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

[CasePlayer2] 也支持嵌入式汇编的源代码。程序包 (Package) 提供了近 60 种微机的参数(parameter)文件,几乎覆盖了目前使用的各种微机。即使需要对个别的微机或个别微机的机型增加新的命令语,用户只要在参数文件中增加新命令语的定义,就可以立即使用。
对于 C 语言代码,不仅支持 ANSI C 语言,也支持 #ifdef 这样的设定编译条件的预编(preprocessor)代码。另外,也支持使用 near,far 一类特殊代码的程序。

能够设置最佳打印布局避免不必要的用纸

不仅可以打印 Word 文件,也能够打印 HTML 文件
[CasePlayer2] 提供流程图打印的最佳化功能,避免打印不必要的空白浪费用纸。在打印布局功能方面,相比其他公司的 CASE 工具有着压倒性优势。只需改变打印倍率,即可得到用纸最少,布局最佳的打印。流程图之外的说明书也可以用同样的方法打印。另外,打印出的说明书还可以生成为 HTML,Word(doc)格式的文件,生成比例可以自由设置。

具有 [MISRA-C] 的规范检查功能,符合 MISRA-C1998、MISRA-C2004 标准

MISRA-C 是 MISRA(Motor Industry Software Reliability Association) 针对汽车工业领域的 C 语言软件制定的标准。MISRA 是以汽车工业领域为中心有关软件可靠性的非营利机构。最近,MISRA 也开始被汽车软件以外的领域所采用。
[CasePlayer2] 包括符合 [MISRA-C] 标准的程序构造解析功能。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 是可以随时随地将源代码变换成视觉形象的流行图的工具。可以在开发的各种环节灵活应用,例如源代码的解析,程序说明书的制作等。

[A] 开发初期的基本设计及探讨阶段,需要对现有的源代码进行调查解析
对现有源代码,无论是资源中的源代码还是其他工程师编写的源代码,都需要在短时间内理解它们的逻辑内容,确认将它们插入时需要的修改规定等事宜。模块结构图以及流程图能够提供强有力的支援。CasePlayer2 具有在几秒钟转换几万行的 C 语言程序的能力,可以即刻将代码变换成图形,提高源代码的解析效率。
[B] 程序编程后期的源代码审阅会议,提高软件质量
提高软件质量首先要在开发团队中展开互相审阅检查,发现自己未能察觉的错误,总结提出更有效的编程方法。 可以随时将源代码变换成流程图和模块结构图,将情报视觉化,使在短时间内对代码做出明确的评价成为可能。
[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 以上

暂无回复。
需要 登录 后方可回复, 如果你还没有账号请点击这里 注册