嵌入式軟件靜態(tài)解析工具

相似文件 換一批

是 否 +2 論壇幣

k人 參與回答

經(jīng)管之家送您一份

應(yīng)屆畢業(yè)生專屬福利!

求職就業(yè)群

趙安豆老師微信：zhaoandou666

經(jīng)管之家聯(lián)合CDA

送您一個(gè)全額獎(jiǎng)學(xué)金名額~ !

立即領(lǐng)取

感謝您參與論壇問(wèn)題回答

經(jīng)管之家送您兩個(gè)論壇幣！

+2 論壇幣

CasePlayer2 : 適用于嵌入式軟件的說(shuō)明書制作及解析工具

靜態(tài)解析C/C++源代碼自動(dòng)生成流程圖等文件

適用于各種嵌入式芯片用匯編代碼

具有符合編程標(biāo)準(zhǔn)MISRA-C1998/2004的規(guī)范檢查功能，Code Metrics計(jì)測(cè)功能

適用于掌握以往程序的內(nèi)容，審閱會(huì)議時(shí)評(píng)估程序等，有利于改善軟件質(zhì)量的工具

產(chǎn)品概要

                              

CasePlayer2是通過(guò)解析ANSI C語(yǔ)言，C++，嵌入式C語(yǔ)言（非ANSI），以及匯編語(yǔ)言的源代碼，制作包括流程圖等的程序說(shuō)明書的工具。不論是對(duì)以往的程序進(jìn)行邏輯分析，還是為新開發(fā)的程序制作說(shuō)明書，都提供了強(qiáng)有力的支援。作為程序靜態(tài)分析功能，包括外部變量參照/代入的列表功能，以及C語(yǔ)言的編程標(biāo)準(zhǔn)[MISRA-C]的規(guī)范檢查功能。

只需將程序登記，可以自動(dòng)生成各種說(shuō)明書

  

CasePlayer2是通過(guò)分析ANSI C語(yǔ)言，C++，嵌入式C語(yǔ)言（非ANSI），以及匯編語(yǔ)言的源代碼，制作包括流程圖等程序說(shuō)明書的逆向CASE（computer aided software engineering tool）工具。應(yīng)用GAIO的主要技術(shù)也就是編譯技術(shù)，不需要追加其他代碼就可以解析代碼構(gòu)造，制作各種流程圖。而其他公司的CASE工具往往需要追加代碼才能實(shí)現(xiàn)流程圖生成。而且，只需幾秒鐘就可以將數(shù)萬(wàn)行C語(yǔ)言程序轉(zhuǎn)換成流程圖，具有引以為豪的壓倒性性能。

[制作的說(shuō)明書]
・流程圖・模塊（函數(shù)）說(shuō)明書・模塊結(jié)構(gòu)圖・模塊（函數(shù)）表・structure說(shuō)明書，structure表

根據(jù)靜態(tài)解析功能，生成外部變量對(duì)照表，typedef表，各種參照表

  

具有通過(guò)靜態(tài)分析制作外部變量表和外部變量對(duì)照情報(bào)表的功能�？梢杂脕�(lái)確認(rèn)整個(gè)Project中的外部變量在那里被參照，在那里被寫入。也可以通過(guò)列表跳到相對(duì)應(yīng)的代碼所在行。能夠在早期發(fā)現(xiàn)不正確的寫入及讀取，發(fā)現(xiàn)那些意想不到的錯(cuò)誤，擁有強(qiáng)有力的功能。

[根據(jù)靜態(tài)解析制作的說(shuō)明書]

・外部變量表・typedef表・#define表・外部變量參照表・函數(shù)參照表・structure參照表・structure成員參照表

支持ANSI C語(yǔ)言，非ANSI嵌入式C,嵌入式匯編語(yǔ)言

  

[CasePlayer2]也支持嵌入式匯編的源代碼。程序包(Package)提供了近60種微機(jī)的參數(shù)（parameter）文件，幾乎覆蓋了目前使用的各種微機(jī)。即使需要對(duì)個(gè)別的微機(jī)或個(gè)別微機(jī)的機(jī)型增加新的命令語(yǔ)，用戶只要在參數(shù)文件中增加新命令語(yǔ)的定義，就可以立即使用。

對(duì)于C語(yǔ)言代碼，不僅支持ANSI C語(yǔ)言，也支持#ifdef這樣的設(shè)定編譯條件的預(yù)編（preprocessor）代碼。另外，也支持使用near，far一類特殊代碼的程序。

能夠設(shè)置最佳打印布局避免不必要的用紙

不僅可以打印Word文件，也能夠打印HTML文件

  

[CasePlayer2]提供流程圖打印的最佳化功能，避免打印不必要的空白浪費(fèi)用紙。在打印布局功能方面，相比其他公司的CASE工具有著壓倒性優(yōu)勢(shì)。只需改變打印倍率，即可得到用紙最少，布局最佳的打印。流程圖之外的說(shuō)明書也可以用同樣的方法打印。另外，打印出的說(shuō)明書還可以生成為HTML,Word（doc）格式的文件，生成比例可以自由設(shè)置。

具有[MISRA-C]的規(guī)范檢查功能，符合MISRA-C1998、MISRA-C2004標(biāo)準(zhǔn)

  

MISRA-C是MISRA(Motor Industry Software Reliability Association)針對(duì)汽車工業(yè)領(lǐng)域的C語(yǔ)言軟件制定的標(biāo)準(zhǔn)。MISRA是以汽車工業(yè)領(lǐng)域?yàn)橹行挠嘘P(guān)軟件可靠性的非營(yíng)利機(jī)構(gòu)。最近，MISRA也開始被汽車軟件以外的領(lǐng)域所采用。

[CasePlayer2]包括符合[MISRA-C]標(biāo)準(zhǔn)的程序構(gòu)造解析功能。GAIO的代碼解析技術(shù)是從開發(fā)編譯技術(shù)培養(yǎng)起來(lái)的，能夠發(fā)現(xiàn)不同用戶編寫的不同程序中的不符合規(guī)范的部分，同其他公司的規(guī)范檢查工具相比，CasePlayer2以其解析的”深度”，得到高度評(píng)價(jià)。檢查的規(guī)范項(xiàng)目可以任意選擇�！鵐ISRA規(guī)范檢查功能不支持C++。只有Code Metrics情報(bào)輸出功能支持C++。

[主要功能]

●MISRA-C 1998 : 能夠?qū)?27項(xiàng)規(guī)范中的124項(xiàng)進(jìn)行錯(cuò)誤檢查

●MISRA-C 2004 : 能夠?qū)?41項(xiàng)規(guī)范中的138項(xiàng)進(jìn)行錯(cuò)誤檢查

●點(diǎn)擊HELP可以閱覽規(guī)范解說(shuō)，舉例說(shuō)明容易理解（日語(yǔ)）

●對(duì)代碼的測(cè)試，代碼的重復(fù)使用，代碼的維護(hù)有很高利用價(jià)值的CodeMetrics測(cè)試

・路徑復(fù)雜度・Myer'sInterval ・NET深度・代碼文件的大小・注解（行數(shù)/比率）・靜態(tài)pathcounter

CasePlayer2應(yīng)用實(shí)例

CasePlayer2是可以隨時(shí)隨地將源代碼變換成視覺形象的流行圖的工具�？梢栽陂_發(fā)的各種環(huán)節(jié)靈活應(yīng)用，例如源代碼的解析，程序說(shuō)明書的制作等。

[A]開發(fā)初期的基本設(shè)計(jì)及探討階段，需要對(duì)現(xiàn)有的源代碼進(jìn)行調(diào)查解析

對(duì)現(xiàn)有源代碼，無(wú)論是資源中的源代碼還是其他工程師編寫的源代碼，都需要在短時(shí)間內(nèi)理解它們的邏輯內(nèi)容，確認(rèn)將它們插入時(shí)需要的修改規(guī)定等事宜。模塊結(jié)構(gòu)圖以及流程圖能夠提供強(qiáng)有力的支援。CasePlayer2具有在幾秒鐘轉(zhuǎn)換幾萬(wàn)行的C語(yǔ)言程序的能力，可以即刻將代碼變換成圖形，提高源代碼的解析效率。

程序編程后期的源代碼審閱會(huì)議，提高軟件質(zhì)量

提高軟件質(zhì)量首先要在開發(fā)團(tuán)隊(duì)中展開互相審閱檢查，發(fā)現(xiàn)自己未能察覺的錯(cuò)誤，總結(jié)提出更有效的編程方法。 可以隨時(shí)將源代碼變換成流程圖和模塊結(jié)構(gòu)圖，將情報(bào)視覺化，使在短時(shí)間內(nèi)對(duì)代碼做出明確的評(píng)價(jià)成為可能。

[C]開發(fā)完成后的開發(fā)內(nèi)容記錄，制作標(biāo)準(zhǔn)化程序說(shuō)明書

書面化的開發(fā)內(nèi)容將成為今后的重要資源。通過(guò)CasePlayer2能夠自動(dòng)制作各種書面文件。與手編寫相比，可以戲劇性的削減說(shuō)明書制作工作。同時(shí)，不同于手編寫容易造成各自格式的不同，能夠制作統(tǒng)一格式統(tǒng)一編寫方法的說(shuō)明書，為開發(fā)project的文件格式通用化標(biāo)準(zhǔn)化提供有力的支援。

主要功能

●支持C/C++言語(yǔ)（V5.0之后）

●說(shuō)明書的綜合化制作[說(shuō)明書瀏覽器]

・各種說(shuō)明書之間任意移動(dòng)（從各種參照表移動(dòng)到相對(duì)照的源代碼的地方等）

●從程序自動(dòng)生成各種說(shuō)明書
・流程圖・模塊說(shuō)明書・模塊結(jié)構(gòu)圖・模塊表

・structure表・外部變量表・typedef表・#define表

・成員函數(shù)說(shuō)明書・外部變量參照表・函數(shù)參照表・structure參照表

・class表 ・class說(shuō)明書・class參照表・成員函數(shù)參照表 （←V5.0之后）

●ANSI C言語(yǔ)、嵌入式C語(yǔ)言（非ANSI）、以及匯編

●「MISRA-C」的規(guī)范檢查功能符合MISRA-1998、MISRA-2004標(biāo)準(zhǔn)

●說(shuō)明書的MS-Word格式轉(zhuǎn)換功能

●任意設(shè)定縮小率，避免不必要的用紙，最佳布局的打印功能

●HTML格式變換功能

●印刷時(shí)格式布局的客戶化功能

●目錄自動(dòng)追加功能

●流程圖，模塊結(jié)構(gòu)圖的圖像文件（BMP,PNG）的輸出功能

動(dòng)作環(huán)境

●操作PC/OS

・IBM PC/AT 兼容機(jī)

・Windows XP，Windows Vista， Windows 7（32bit）（※Windows95/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以上

掃碼加我 拉你入群

請(qǐng)注明：姓名-公司-職位

以便審核進(jìn)群資格，未注明則拒絕

分享0 收藏0 回帖

關(guān)鍵詞：嵌入式軟件 嵌入式 reliability Engineering Association