CasePlayer2

CasePlayer2 : 嵌入式軟件的說明書製作及解析工具

靜態解析C/C++源代碼自動生成流程圖等文件
適用於各種嵌入式微機用匯編代碼
具有符合編程標準MISRA-C 1998/2004的規範檢查功能,Code Metrics計測功能
適用於掌握以往程序的內容,審閱會議時評估程序等,有利於改善軟件質量的工具

 

產品概要

CasePlayer2CasePlayer2是通過解析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以上
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章