靜態(tài)代碼分析工具-CasePlayer2

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

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

適用于各種嵌入式微機用匯編代碼

具有符合編程標準MISRA-C

1998/2004的規(guī)范檢查功能娇妓,Code Metrics計測功能

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

產(chǎn)品概要

CasePlayer2是通過解析ANSI C語言哈恰,C++只估,嵌入式C語言(非ANSI),以及匯編語言的源代碼着绷,制作包括流程圖等的程序說明書的工具蛔钙。不論是對以往的程序進行邏輯分析,還是為新開發(fā)的程序制作說明書荠医,都提供了強有力的支援吁脱。作為程序靜態(tài)分析功能,包括外部變量參照/代入的列表功能彬向,以及C語言的編程標準[MISRA-C]的規(guī)范檢查功能兼贡。

?

只需將程序登記,可以自動生成各種說明書


CasePlayer2是通過分析ANSI C語言娃胆,C++遍希,嵌入式C語言(非ANSI),以及匯編語言的源代碼里烦,制作包括流程圖等程序說明書的逆向CASE(computer aided software engineering

tool)工具凿蒜。應用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)分析制作外部變量表和外部變量對照情報表的功能爽冕〕鸺溃可以用來確認整個Project中的外部變量在那里被參照,在那里被寫入颈畸。也可以通過列表跳到相對應的代碼所在行乌奇。能夠在早期發(fā)現(xiàn)不正確的寫入及讀取,發(fā)現(xiàn)那些意想不到的錯誤眯娱,擁有強有力的功能礁苗。

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

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

?

支持ANSI C語言,非ANSI嵌入式C,嵌入式匯編語言


[CasePlayer2]也支持嵌入式匯編的源代碼徙缴。程序包(Package)提供了近60種微機的參數(shù)(parameter)文件试伙,幾乎覆蓋了目前使用的各種微機。即使需要對個別的微機或個別微機的機型增加新的命令語于样,用戶只要在參數(shù)文件中增加新命令語的定義疏叨,就可以立即使用。

對于C語言代碼穿剖,不僅支持ANSI C語言蚤蔓,也支持#ifdef這樣的設(shè)定編譯條件的預編(preprocessor)代碼。另外糊余,也支持使用near昌粤,far一類特殊代碼的程序。

?

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

不僅可以打印Word文件啄刹,也能夠打印HTML文件


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

具有[MISRA-C]的規(guī)范檢查功能句柠,符合MISRA-C1998、MISRA-C2004標準


MISRA-C是MISRA(Motor Industry Software Reliability Association)針對汽車工業(yè)領(lǐng)域的C語言軟件制定的標準。MISRA是以汽車工業(yè)領(lǐng)域為中心有關(guān)軟件可靠性的非營利機構(gòu)溯职。最近精盅,MISRA也開始被汽車軟件以外的領(lǐng)域所采用。

[CasePlayer2]包括符合[MISRA-C]標準的程序構(gòu)造解析功能谜酒。GAIO的代碼解析技術(shù)是從開發(fā)編譯技術(shù)培養(yǎng)起來的叹俏,能夠發(fā)現(xiàn)不同用戶編寫的不同程序中的不符合規(guī)范的部分,同其他公司的規(guī)范檢查工具相比僻族,CasePlayer2以其解析的”深度”粘驰,得到高度評價。檢查的規(guī)范項目可以任意選擇述么◎蚴※MISRA規(guī)范檢查功能不支持C++。只有Code Metrics情報輸出功能支持C++碉输。

[主要功能]

●MISRA-C 1998 : 能夠?qū)?27項規(guī)范中的124項進行錯誤檢查?

●MISRA-C 2004 : 能夠?qū)?41項規(guī)范中的138項進行錯誤檢查?

●點擊HELP可以閱覽規(guī)范解說籽前,舉例說明容易理解(日語)?

●對代碼的測試,代碼的重復使用敷钾,代碼的維護有很高利用價值的Code Metrics測試?

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

CasePlayer2應用實例

CasePlayer2是可以隨時隨地將源代碼變換成視覺形象的流行圖的工具枝哄。可以在開發(fā)的各種環(huán)節(jié)靈活應用阻荒,例如源代碼的解析挠锥,程序說明書的制作等。


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

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

[B]程序編程后期的源代碼審閱會議情妖,提高軟件質(zhì)量

提高軟件質(zhì)量首先要在開發(fā)團隊中展開互相審閱檢查睬关,發(fā)現(xiàn)自己未能察覺的錯誤,總結(jié)提出更有效的編程方法毡证。

可以隨時將源代碼變換成流程圖和模塊結(jié)構(gòu)圖电爹,將情報視覺化,使在短時間內(nèi)對代碼做出明確的評價成為可能料睛。

[C]開發(fā)完成后的開發(fā)內(nèi)容記錄丐箩,制作標準化程序說明書

書面化的開發(fā)內(nèi)容將成為今后的重要資源摇邦。通過CasePlayer2能夠自動制作各種書面文件。與手編寫相比雏蛮,可以戲劇性的削減說明書制作工作涎嚼。同時,不同于手編寫容易造成各自格式的不同挑秉,能夠制作統(tǒng)一格式統(tǒng)一編寫方法的說明書法梯,為開發(fā)project的文件格式通用化標準化提供有力的支援。

主要功能

●支持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標準

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

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

●HTML格式變換功能

●印刷時格式布局的客戶化功能

●目錄自動追加功能

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

動作環(huán)境

●操作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以上

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市曾沈,隨后出現(xiàn)的幾起案子这嚣,更是在濱河造成了極大的恐慌,老刑警劉巖塞俱,帶你破解...
    沈念sama閱讀 211,290評論 6 491
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件姐帚,死亡現(xiàn)場離奇詭異,居然都是意外死亡障涯,警方通過查閱死者的電腦和手機罐旗,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 90,107評論 2 385
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來唯蝶,“玉大人九秀,你說我怎么就攤上這事≌澄遥” “怎么了鼓蜒?”我有些...
    開封第一講書人閱讀 156,872評論 0 347
  • 文/不壞的土叔 我叫張陵,是天一觀的道長涂滴。 經(jīng)常有香客問我,道長晴音,這世上最難降的妖魔是什么柔纵? 我笑而不...
    開封第一講書人閱讀 56,415評論 1 283
  • 正文 為了忘掉前任,我火速辦了婚禮锤躁,結(jié)果婚禮上搁料,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好郭计,可當我...
    茶點故事閱讀 65,453評論 6 385
  • 文/花漫 我一把揭開白布霸琴。 她就那樣靜靜地躺著,像睡著了一般昭伸。 火紅的嫁衣襯著肌膚如雪梧乘。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 49,784評論 1 290
  • 那天庐杨,我揣著相機與錄音选调,去河邊找鬼。 笑死灵份,一個胖子當著我的面吹牛仁堪,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播填渠,決...
    沈念sama閱讀 38,927評論 3 406
  • 文/蒼蘭香墨 我猛地睜開眼弦聂,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了氛什?” 一聲冷哼從身側(cè)響起莺葫,我...
    開封第一講書人閱讀 37,691評論 0 266
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎屉更,沒想到半個月后徙融,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 44,137評論 1 303
  • 正文 獨居荒郊野嶺守林人離奇死亡瑰谜,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 36,472評論 2 326
  • 正文 我和宋清朗相戀三年欺冀,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片萨脑。...
    茶點故事閱讀 38,622評論 1 340
  • 序言:一個原本活蹦亂跳的男人離奇死亡隐轩,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出渤早,到底是詐尸還是另有隱情职车,我是刑警寧澤,帶...
    沈念sama閱讀 34,289評論 4 329
  • 正文 年R本政府宣布鹊杖,位于F島的核電站悴灵,受9級特大地震影響,放射性物質(zhì)發(fā)生泄漏骂蓖。R本人自食惡果不足惜积瞒,卻給世界環(huán)境...
    茶點故事閱讀 39,887評論 3 312
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望登下。 院中可真熱鬧茫孔,春花似錦叮喳、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 30,741評論 0 21
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至剩晴,卻和暖如春锣咒,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背李破。 一陣腳步聲響...
    開封第一講書人閱讀 31,977評論 1 265
  • 我被黑心中介騙來泰國打工宠哄, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人嗤攻。 一個月前我還...
    沈念sama閱讀 46,316評論 2 360
  • 正文 我出身青樓毛嫉,卻偏偏與公主長得像,于是被迫代替她去往敵國和親妇菱。 傳聞我的和親對象是個殘疾皇子承粤,可洞房花燭夜當晚...
    茶點故事閱讀 43,490評論 2 348

推薦閱讀更多精彩內(nèi)容

  • 簡介 本文是一個靜態(tài)代碼分析工具的清單,但是為公司產(chǎn)品闯团,需要付費使用辛臊。共有37個公司,有些公司包含多個工具房交。其中2...
    煙花詩人閱讀 3,568評論 0 0
  • 靜態(tài)代碼掃描彻舰,借用一段網(wǎng)上的原文解釋一下(這里叫靜態(tài)檢查):“靜態(tài)測試包括代碼檢查、靜態(tài)結(jié)構(gòu)分析候味、代碼質(zhì)量度量等刃唤。...
    荒原_狼閱讀 6,154評論 1 5
  • 隨著公司業(yè)務的發(fā)展,完全依賴人工保證工程質(zhì)量也變得越來越不牢靠白群。所以尚胞,靜態(tài)分析,這種可以幫助我們在編寫代碼的階段就...
    綠豆粥與茶葉蛋閱讀 3,607評論 5 14
  • 我是黑夜里大雨紛飛的人啊 1 “又到一年六月帜慢,有人笑有人哭笼裳,有人歡樂有人憂愁,有人驚喜有人失落粱玲,有的覺得收獲滿滿有...
    陌忘宇閱讀 8,529評論 28 53
  • 人工智能是什么躬柬?什么是人工智能?人工智能是未來發(fā)展的必然趨勢嗎抽减?以后人工智能技術(shù)真的能達到電影里機器人的智能水平嗎...
    ZLLZ閱讀 3,766評論 0 5