Caseplayer2
(C/C++ 嵌入式程序规格说明书生成与解析工具)
轻松创建程序规格说明书
独有的代码审查方式方法

  • 目标行业:汽车/FA/家电/医疗/OA等行业
  • 目标部门:嵌入式软件开发部门
课题
  • 与开发成员和相关人员共享程序源代码的结构信息(进行代码审查)
  • 将现有源代码转换为流程图,以实现可视化
  • 解析程序源代码,生成各种规格说明书
解決

C/C++ 嵌入式程序规格说明书生成与解析工具
CasePlayer2 解决了程序开发中源代码审查的难题。

CasePlayer2 是一款解析 ANSI 标准 C 语言、C++(支持 C++ 11/14)和嵌入式 C 语言(非 ANSI)的工具,可以生成流程图等程序规格说明书。它符合功能安全标准 ISO 26262 / IEC 61508,并配备 C 语言编码规范 “MISRA-C” 的规则检查功能。CasePlayer2 对过往源代码的逻辑解析和规格说明书的生成工作有着显著的提高。
CasePlayer2的特征

CasePlayer2实用案例

CasePlayer2是一个能够将源代码即时转换成可视化图表的工具。它可以在源代码解析、程序规格说明书制作等开发过程中的各种环节发挥作用。
CasePlayer2实用案例
  • 特点 1
    通过简单注册源代码自动生成各种规格说明书
    CasePlayer2 是一个反向 CASE 工具,能够解析嵌入式源代码并生成流程图等程序规格说明书。它基于 Gaio 的编译器技术,利用语法解析生成各种图表。与其他 CASE 工具不同,CasePlayer2 不需要额外的特殊描述来进行图表化。此外,它能够在几秒内将数万行的 C 源代码转换为图表。
  • 特点 2
    通过静态分析功能生成全局变量引用列表、typedef 列表和各种参考列表
    CasePlayer2 支持对源代码进行静态分析,以生成全局变量的列表和引用信息。您可以查看整个项目中全局变量的引用位置和写入情况,并可通过列表跳转到实际的源代码行。这一强大功能能够快速发现变量的非法读写,帮助您在桌面上及时发现意想不到的 bug。
  • 特点 3
    能够实现不浪费纸张的最佳打印布局
    也能够输出Word格式和HTML文档
    CasePlayer2 提供了优化的流程图布局功能,确保输出纸面没有多余的空白。这一性能在其他 CASE 工具中是无可比拟的,您只需更改输出倍数,就可以即时生成最少页数的优化输出布局。除了流程图之外,其他规格说明书同样可以按此方式打印。此外,这些打印出的规格说明书可以以 HTML 和 Word(doc)格式自由设置倍数输出。
CasePlayer2的功能
  • 功能 01

    仅需注册源代码即可自动生成程序图表

    • 【生成的规范书】
      流程图 、模块(函数)规范书 、模块结构图、模块(函数)列表 、结构体规范书 、结构体列表
      【静态分析生成的规范书】
      全局变量列表 、typedef列表 、#define列表 、全局变量调用列表 、函数调用列表 、结构体调用列表 、结构体成员调用列表
    • 仅需注册源代码即可自动生成程序图表
  • 功能 02

    搭载检查功能的「MISRA-C」编码规则,支持MISRA-C1998、MISRA-C2004

    • MISRA-C是由以汽车行业为中心组织的非营利机构MISRA(Motor Industry Software Reliability Association)创建的,旨在为汽车软件提供C语言使用指南。近年来,除了车载软件外,其他领域也开始采用这一标准。CasePlayer2支持这一“ MISRA-C”语法分析功能。得益于Gaio在编译器开发中积累的代码分析技术,CasePlayer2能够发现用户不同的各种描述中存在的规则偏差,与其他公司的规则检查器相比,CasePlayer2的分析“深度”得到了高度评价。用户可以自由选择检查的规则。*请注意,MISRA规则检查功能尚不支持C++,仅支持C++的代码度量信息输出。
    • 「MISRA-C」コーディングルール チェック機能搭載MISRA-C1998、MISRA-C2004に対応
  • 功能 03

    通过源代码分析的并行执行实现高速化

    • 可将源文件分散到计算机的多个CPU核心上执行分析,可以实现基于文件的并行分析,从而缩短分析时间。在ADAS等大规模源代码的使用中,这种方法预计将大幅提高分析速度,从而提升工作效率。
    • 通过源代码分析的并行执行实现高速化

各种功能

对应语言 C/C++语言、ANSI标准C语言、嵌入式用C语言(非ANSI)
规格书浏览器 规格书制作的整合,各规格书之间可以自由移动
规格书文件输出 MS-Word格式、HTML
打印布局 自由的缩小率,输出纸张无浪费的最佳打印布局功能,布局自定义功能,自动添加目录功能
图像文件输出 流程图、模块结构图的图像文件(BMP, PNG)输出功能
MISRA-C 规则检查 MISRA-1998、MISRA-2004,规则自选功能,规则解释帮助手册