静态代码分析工具-CasePlayer2

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以上

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 218,036评论 6 506
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,046评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,411评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,622评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,661评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,521评论 1 304
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,288评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,200评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,644评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,837评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,953评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,673评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,281评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,889评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,011评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,119评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,901评论 2 355

推荐阅读更多精彩内容

  • 简介 本文是一个静态代码分析工具的清单,但是为公司产品,需要付费使用。共有37个公司,有些公司包含多个工具。其中2...
    烟花诗人阅读 3,598评论 0 0
  • 静态代码扫描,借用一段网上的原文解释一下(这里叫静态检查):“静态测试包括代码检查、静态结构分析、代码质量度量等。...
    荒原_狼阅读 6,167评论 1 5
  • 随着公司业务的发展,完全依赖人工保证工程质量也变得越来越不牢靠。所以,静态分析,这种可以帮助我们在编写代码的阶段就...
    绿豆粥与茶叶蛋阅读 3,618评论 5 14
  • 我是黑夜里大雨纷飞的人啊 1 “又到一年六月,有人笑有人哭,有人欢乐有人忧愁,有人惊喜有人失落,有的觉得收获满满有...
    陌忘宇阅读 8,536评论 28 53
  • 人工智能是什么?什么是人工智能?人工智能是未来发展的必然趋势吗?以后人工智能技术真的能达到电影里机器人的智能水平吗...
    ZLLZ阅读 3,778评论 0 5