CasePlayer2 : 適用于嵌入式軟件的說明書制作及解析工具
靜態(tài)解析C/C++源代碼自動生成流程圖等文件
適用于各種嵌入式微機(jī)用匯編代碼
具有符合編程標(biāo)準(zhǔn)MISRA-C 1998/2004的規(guī)范檢查功能,,Code Metrics計測功能
適用于掌握以往程序的內(nèi)容,,審閱會議時評估程序等,有利于改善軟件質(zhì)量的工具
產(chǎn)品概要
CasePlayer2是通過解析ANSI C語言,,C++,嵌入式C語言(非ANSI),,以及匯編語言的源代碼,,制作包括流程圖等的程序說明書的工具。不論是對以往的程序進(jìn)行邏輯分析,,還是為新開發(fā)的程序制作說明書,,都提供了強(qiáng)有力的支援。作為程序靜態(tài)分析功能,,包括外部變量參照/代入的列表功能,,以及C語言的編程標(biāo)準(zhǔn)[MISRA-C]的規(guī)范檢查功能。
只需將程序登記,,可以自動生成各種說明書
CasePlayer2是通過分析ANSI C語言,,C++,嵌入式C語言(非ANSI),,以及匯編語言的源代碼,,制作包括流程圖等程序說明書的逆向CASE(computer aided software engineering tool)工具。應(yīng)用GAIO的主要技術(shù)也就是編譯技術(shù),,不需要追加其他代碼就可以解析代碼構(gòu)造,,制作各種流程圖。而其他公司的CASE工具往往需要追加代碼才能實現(xiàn)流程圖生成,。而且,,只需幾秒鐘就可以將數(shù)萬行C語言程序轉(zhuǎn)換成流程圖,具有引以為豪的壓倒性性能,。
[制作的說明書]
?流程圖?模塊(函數(shù))說明書?模塊結(jié)構(gòu)圖?模塊(函數(shù))表?structure說明書,,structure表
根據(jù)靜態(tài)解析功能,生成外部變量對照表,,typedef表,,各種參照表
具有通過靜態(tài)分析制作外部變量表和外部變量對照情報表的功能??梢杂脕泶_認(rèn)整個Project中的外部變量在那里被參照,,在那里被寫入。也可以通過列表跳到相對應(yīng)的代碼所在行,。能夠在早期發(fā)現(xiàn)不正確的寫入及讀取,,發(fā)現(xiàn)那些意想不到的錯誤,擁有強(qiáng)有力的功能,。
[根據(jù)靜態(tài)解析制作的說明書]
?外部變量表?typedef表?#define表?外部變量參照表?函數(shù)參照表?structure參照表?structure成員參照表
支持ANSI C語言,,非ANSI嵌入式C,嵌入式匯編語言
[CasePlayer2]也支持嵌入式匯編的源代碼,。程序包(Package)提供了近60種微機(jī)的參數(shù)(parameter)文件,,幾乎覆蓋了目前使用的各種微機(jī)。即使需要對個別的微機(jī)或個別微機(jī)的機(jī)型增加新的命令語,用戶只要在參數(shù)文件中增加新命令語的定義,,就可以立即使用,。
對于C語言代碼,不僅支持ANSI C語言,,也支持#ifdef這樣的設(shè)定編譯條件的預(yù)編(preprocessor)代碼,。另外,也支持使用near,,far一類特殊代碼的程序,。
能夠設(shè)置最佳打印布局避免不必要的用紙
不僅可以打印Word文件,也能夠打印HTML文件
[CasePlayer2] 提供流程圖打印的最佳化功能,,避免打印不必要的空白浪費用紙,。在打印布局功能方面,相比其他公司的CASE工具有著壓倒性優(yōu)勢,。只需改變打印倍率,,即可得到用紙最少,布局最佳的打印,。流程圖之外的說明書也可以用同樣的方法打印,。另外,打印出的說明書還可以生成為HTML,Word(doc)格式的文件,,生成比例可以自由設(shè)置,。
具有[MISRA-C]的規(guī)范檢查功能,符合MISRA-C1998,、MISRA-C2004標(biāo)準(zhǔn)
MISRA-C是MISRA(Motor Industry Software Reliability Association)針對汽車工業(yè)領(lǐng)域的C語言軟件制定的標(biāo)準(zhǔn),。MISRA是以汽車工業(yè)領(lǐng)域為中心有關(guān)軟件可靠性的非營利機(jī)構(gòu)。最近,,MISRA也開始被汽車軟件以外的領(lǐng)域所采用,。
[CasePlayer2]包括符合[MISRA-C]標(biāo)準(zhǔn)的程序構(gòu)造解析功能。GAIO的代碼解析技術(shù)是從開發(fā)編譯技術(shù)培養(yǎng)起來的,,能夠發(fā)現(xiàn)不同用戶編寫的不同程序中的不符合規(guī)范的部分,,同其他公司的規(guī)范檢查工具相比,CasePlayer2以其解析的“深度”,,得到高度評價,。檢查的規(guī)范項目可以任意選擇?!鵐ISRA規(guī)范檢查功能不支持C++,。只有Code Metrics情報輸出功能支持C++。
[主要功能]
●MISRA-C 1998 : 能夠?qū)?27項規(guī)范中的124項進(jìn)行錯誤檢查
●MISRA-C 2004 : 能夠?qū)?41項規(guī)范中的138項進(jìn)行錯誤檢查
●點擊HELP可以閱覽規(guī)范解說,,舉例說明容易理解(日語)
●對代碼的測試,,代碼的重復(fù)使用,,代碼的維護(hù)有很高利用價值的Code Metrics測試
?路徑復(fù)雜度?Myer's Interval ?NET深度?代碼文件的大小?注解(行數(shù)/比率)?靜態(tài)pathcounter
CasePlayer2應(yīng)用實例
CasePlayer2是可以隨時隨地將源代碼變換成視覺形象的流行圖的工具??梢栽陂_發(fā)的各種環(huán)節(jié)靈活應(yīng)用,,例如源代碼的解析,程序說明書的制作等,。
[A]開發(fā)初期的基本設(shè)計及探討階段,,需要對現(xiàn)有的源代碼進(jìn)行調(diào)查解析
對現(xiàn)有源代碼,無論是資源中的源代碼還是其他工程師編寫的源代碼,,都需要在短時間內(nèi)理解它們的邏輯內(nèi)容,,確認(rèn)將它們插入時需要的修改規(guī)定等事宜。模塊結(jié)構(gòu)圖以及流程圖能夠提供強(qiáng)有力的支援,。CasePlayer2具有在幾秒鐘轉(zhuǎn)換幾萬行的C語言程序的能力,,可以即刻將代碼變換成圖形,提高源代碼的解析效率,。
[B]程序編程后期的源代碼審閱會議,,提高軟件質(zhì)量
提高軟件質(zhì)量首先要在開發(fā)團(tuán)隊中展開互相審閱檢查,發(fā)現(xiàn)自己未能察覺的錯誤,,總結(jié)提出更有效的編程方法,。 可以隨時將源代碼變換成流程圖和模塊結(jié)構(gòu)圖,將情報視覺化,,使在短時間內(nèi)對代碼做出明確的評價成為可能,。
[C]開發(fā)完成后的開發(fā)內(nèi)容記錄,制作標(biāo)準(zhǔn)化程序說明書
書面化的開發(fā)內(nèi)容將成為今后的重要資源,。通過CasePlayer2能夠自動制作各種書面文件,。與手編寫相比,可以戲劇性的削減說明書制作工作,。同時,,不同于手編寫容易造成各自格式的不同,能夠制作統(tǒng)一格式統(tǒng)一編寫方法的說明書,,為開發(fā)project的文件格式通用化標(biāo)準(zhǔn)化提供有力的支援,。
主要功能
●支持C/C++言語(V5.0之后)
●說明書的綜合化制作[說明書瀏覽器]
?各種說明書之間任意移動(從各種參照表移動到相對照的源代碼的地方等)
●從程序自動生成各種說明書
?流程圖?模塊說明書?模塊結(jié)構(gòu)圖?模塊表
?structure表?外部變量表?typedef表?#define表
?成員函數(shù)說明書?外部變量參照表?函數(shù)參照表?structure參照表
?class表 ?class說明書?class參照表?成員函數(shù)參照表 (←V5.0之后)
●ANSI C言語、嵌入式C語言(非ANSI),、以及匯編
●「MISRA-C」的規(guī)范檢查功能符合MISRA-1998,、MISRA-2004標(biāo)準(zhǔn)
●說明書的MS-Word格式轉(zhuǎn)換功能
●任意設(shè)定縮小率,避免不必要的用紙,,最佳布局的打印功能
●HTML格式變換功能
●印刷時格式布局的客戶化功能
●目錄自動追加功能
●流程圖,,模塊結(jié)構(gòu)圖的圖像文件(BMP,PNG)的輸出功能
動作環(huán)境
●操作PC/OS
?IBM PC/AT 兼容機(jī)
?Windows XP,Windows Vista,, Windows 7(32bit)(※Windows 95/98/Me/NT/2000 未支持)
●License Key
?USB Board Hardware Key (Dongle)
●安裝需要的HDD容量
?最少30MB以上的容量
●需要的其他應(yīng)用功能
?HTML格式文件閱讀:Microsoft Internet Explorer 5.5以上
?MS-Word格式文件生成:Microsoft Word 2000以上
更多信息可以來這里獲取==>>電子技術(shù)應(yīng)用-AET<<