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

转载于:https://www.cnblogs.com/Tommmy/p/9555089.html

嵌入式软件静态解析工具-CasePlayer2相关推荐

  1. 嵌入式软件单元测试/集成测试工具-WINAMS

    CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试工具 全面支持嵌入式微机!验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具 不需要HookCode 直接使 ...

  2. 静态代码分析工具-CasePlayer2

    CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具 静态解析C/C++源代码自动生成流程图等文件 适用于各种嵌入式微机用汇编代码 具有符合编程标准MISRA-C 1998/2004的规 ...

  3. Python静态类型解析工具简介和实践

    简介: Python是一门强类型的动态类型语言,开发者可以给对象动态指定类型,但类型不匹配的操作是不被允许的.动态类型帮助开发者写代码轻松愉快,然而,俗话说:动态一时爽,重构火葬场.动态类型也带来了许 ...

  4. Python 静态类型解析工具简介和实践

    一 背景 Python是一门强类型的动态类型语言,开发者可以给对象动态指定类型(动态),但类型不匹配的操作是不被允许的(强类型,如str和int两个变量无法相加). 动态类型帮助开发者写代码轻松愉快, ...

  5. Jenkins 在 Tomcat 中的部署及代码静态检查工具集成

    Jenkins 的简单部署 在安装了 Jenkins 运行所需的依赖(主要是 JDK)之后,可以通过如下步骤简单快速地部署 Jenkins: 下载 Jenkins. 打开终端并切换至下载目录. 运行命 ...

  6. React Native工程中TSLint静态检查工具的探索之路

    背景 建立的代码规范没人遵守,项目中遍地风格迥异的代码,你会不会抓狂? 通过测试用例的程序还会出现Bug,而原因仅仅是自己犯下的低级错误,你会不会抓狂? 某种代码写法存在问题导致崩溃时,只能全工程检查 ...

  7. php解析torrent文件,PHP基于闭包思想实现的BT(torrent)文件解析工具实例详解

    本文实例讲述了PHP基于闭包思想实现的torrent文件解析工具.分享给大家供大家参考,具体如下: PHP对静态词法域的支持有点奇怪,内部匿名函数必须在参数列表后面加上use关键字,显式的说明想要使用 ...

  8. MySQL Binlog 解析工具 Maxwell 详解

    maxwell 简介 Maxwell是一个能实时读取MySQL二进制日志binlog,并生成 JSON 格式的消息,作为生产者发送给 Kafka,Kinesis.RabbitMQ.Redis.Goog ...

  9. 一些代码静态检查工具的简介

    1.KLOCWORK: 适用语言:C, C++, JAVA 是否开源:否, 是否需要编译:是 作用:代码静态检查工具.用于高效检测软件缺陷和安全隐患,提供优秀的静态源代码分析解决方案.软件号称是业界领 ...

最新文章

  1. php下session入memcached
  2. mysql 局域网连接失败
  3. CSDN的MarkDown编辑器插入图片时调整大小
  4. 去大公司和小公司实习对比
  5. 翁恺老师C语言学习笔记(十)指针_指针与数组
  6. Kotlin入门(18)利用单例对象获取时间
  7. sql2000下 分页存储过程(一)
  8. QT编译静态库与动态库
  9. java 工作流 实例_Activiti工作流的应用示例
  10. 基于微信小程序的信访投诉系统开发与实现
  11. 如何查看自己WiFi密码
  12. 用计算机写作文主题,用计算机写作文教学设计.doc
  13. 主流的B/S架构模式在软考教程里居然是被一笔带过的。
  14. 41.Django快速上手
  15. 耦合式是什么意思_什么是耦合、解耦
  16. 菜谱:木瓜花生鸡脚汤和苦瓜黄豆排骨煲
  17. 使用 Spring Quartz组件实现定时任务
  18. python rgb转整数_Python 转换RGB颜色值的示例代码
  19. 【教程】微信公众号文章怎么添加Excel表格附件?
  20. c#小作业 简单复数计算

热门文章

  1. 生物信息百jia软件(25):quast
  2. 红包系统流量高并发技术详解
  3. java-语言学习-JDK和JER
  4. 极性电容为什么具有单向导电性(阀金属与氧化膜)
  5. win7任务栏时钟显示秒_如何使Windows 10的任务栏时钟显示秒数
  6. redhat 7.4 安装php,在 CentOS 中安装 PHP 7.4 的方法
  7. java数字拼图代码_实战-Swing实现数字拼图
  8. 点击图片跳转链接php,朱秉桂教你如何给一张图片添加点击跳转链接代码
  9. 日历提醒软件Export Calendars Pro for Mac
  10. 无锡人称包子为馒头,跟宋朝有关?