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的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。