信息服務(wù)業(yè)發(fā)展專項(xiàng)資金申請(qǐng)可行性報(bào)告

1、浙江萬(wàn)思計(jì)算機(jī)制造有限公司附件2浙江省信息服務(wù)業(yè)發(fā)展專項(xiàng)資金項(xiàng)目可行性研究報(bào)告項(xiàng)目名稱：WSR軟件分析文檔自動(dòng)生成系統(tǒng)申請(qǐng)單位（蓋章）:浙江萬(wàn)思計(jì)算機(jī)制造有限公司合作單位（蓋章）項(xiàng)目起止時(shí)間:2006.1 2007.12申請(qǐng)日期:2006.9浙江省信息產(chǎn)業(yè)廳浙江省財(cái)政廳編制浙江省信息服務(wù)業(yè)發(fā)展專項(xiàng)資金項(xiàng)目可行性研究報(bào)告、申請(qǐng)單位、合作單位簡(jiǎn)介浙江萬(wàn)思計(jì)算機(jī)制造有限公司，于2004年3月成立，注冊(cè)地址 為上城區(qū)科技工業(yè)基地，注冊(cè)資本 550萬(wàn)，專業(yè)從事計(jì)算機(jī)軟硬件產(chǎn) 品的研發(fā)設(shè)計(jì)生產(chǎn)、銷售和服務(wù)業(yè)務(wù)，并著力為用戶提供IT應(yīng)用的解決方案。公司目前的主要產(chǎn)品有萬(wàn)思商用臺(tái)式電腦、萬(wàn)思家用臺(tái)式電腦， 萬(wàn)

2、思服務(wù)器。萬(wàn)思品牌目前是浙江省省產(chǎn)計(jì)算機(jī)第一品牌，杭州市名 牌，也是我省知名的政府米購(gòu)指定品牌，已被市場(chǎng)檢驗(yàn)為是一款品質(zhì)可靠、性價(jià)比高、被用戶所廣泛接受的本土品牌。為了進(jìn)一步提高萬(wàn)思品牌的產(chǎn)品定位以及產(chǎn)品內(nèi)在的核心競(jìng)爭(zhēng) 力，公司非常注重對(duì)產(chǎn)品研發(fā)的投入，2005年組建成立了高新技術(shù)研 發(fā)中心并得到了政府有關(guān)部門(mén)的認(rèn)定，研發(fā)中心的任務(wù)主要包括兩個(gè) 方面，一方面是對(duì)計(jì)算機(jī)硬件本身品質(zhì)性能優(yōu)化提高的研究，另一方 面是以市場(chǎng)的需求為導(dǎo)向，著眼于為某些特定用戶開(kāi)發(fā)應(yīng)用方案。目 前研發(fā)中心在進(jìn)展中的項(xiàng)目有高性能計(jì)算服務(wù)器、高性能網(wǎng)絡(luò)計(jì)算平 臺(tái)、個(gè)性化家用電腦等?，F(xiàn)公司辦公總部位于杭州文三路商務(wù)中心地帶，經(jīng)

3、營(yíng)面積約400平方米的高檔寫(xiě)字樓，研發(fā)場(chǎng)地 100多平方米，以及約1000平米的 生產(chǎn)場(chǎng)地。為了進(jìn)一步適應(yīng)發(fā)展的需要，2005年公司在政府的支持下， 項(xiàng)目征地近15畝，用于萬(wàn)思臺(tái)式電腦、服務(wù)器與筆記本電腦的研發(fā) 制造。該項(xiàng)目得到了政府有關(guān)部門(mén)的大力支持，目前已獲得杭州市計(jì)經(jīng)委批準(zhǔn)，列為政府資助的技術(shù)改造項(xiàng)目之一，項(xiàng)目基建在2006年啟動(dòng)。公司現(xiàn)有員工80人，80%以上都是專業(yè)對(duì)口的大專、本科、以 及碩士生的專業(yè)人員，其中軟件開(kāi)發(fā)/研發(fā)人員12名，已形成一支有 戰(zhàn)斗力的高效的員工隊(duì)伍和管理團(tuán)隊(duì)。公司的主要經(jīng)營(yíng)管理班子，均 具有五年以上的項(xiàng)目操作經(jīng)驗(yàn)，公司主要負(fù)責(zé)人畢業(yè)于浙江大學(xué)計(jì)算 機(jī)應(yīng)用專業(yè)碩

4、士研究生院，從事IT公司經(jīng)營(yíng)管理十年，整個(gè)管理團(tuán) 隊(duì)擁有豐富的管理與實(shí)戰(zhàn)經(jīng)驗(yàn)，并具有高度的兢業(yè)精神和忠誠(chéng)度，為 公司的快速發(fā)展提供強(qiáng)有力的團(tuán)隊(duì)保障。通過(guò)幾年的發(fā)展，目前公司 在產(chǎn)品、技術(shù)、管理等方面都已具備了較強(qiáng)的實(shí)力，2005年公司順利地通過(guò)了 IS09001的質(zhì)量體系論證，管理嚴(yán)謹(jǐn)、創(chuàng)新并注重實(shí)效， 是公司最明顯的特點(diǎn)。隨著公司的不斷發(fā)展壯大，萬(wàn)思品牌的知名度正在逐步提高并深 入人心，公司上下齊心協(xié)力，正在加緊實(shí)施品牌戰(zhàn)略，以期發(fā)展成為 行業(yè)的龍頭企業(yè)，并以我們?nèi)f思企業(yè)產(chǎn)品為核心，形成“互聯(lián)網(wǎng)絡(luò)” 使地區(qū)優(yōu)勢(shì)得以發(fā)揮，積極促進(jìn)我市計(jì)算機(jī)整機(jī)產(chǎn)業(yè)的發(fā)展，形成新 的經(jīng)濟(jì)增長(zhǎng)點(diǎn)，同時(shí)樹(shù)立地區(qū)形象

5、，改善本地區(qū)內(nèi)引外聯(lián)的軟環(huán)境， 促進(jìn)區(qū)域經(jīng)濟(jì)整體發(fā)展，實(shí)現(xiàn)地區(qū)經(jīng)濟(jì)與企業(yè)的共同繁榮！作為高科技產(chǎn)品的研發(fā)制造廠家，萬(wàn)思自成立起，即深知走技術(shù) 創(chuàng)新之路、發(fā)展自主知識(shí)產(chǎn)權(quán)產(chǎn)品的重要性，為了實(shí)現(xiàn)這樣的技術(shù)目 標(biāo)，公司非常注重對(duì)技術(shù)人才的引進(jìn)、培養(yǎng)，和技術(shù)隊(duì)伍的打造，注 重對(duì)技術(shù)研發(fā)的不斷投入，以期形成一個(gè)可持續(xù)性發(fā)展的技術(shù)研發(fā)與 創(chuàng)新環(huán)境。公司現(xiàn)有技術(shù)人員30多名，其中軟件開(kāi)發(fā)/研發(fā)人員12名，95% 以上人員具有專業(yè)對(duì)口的大專以上學(xué)歷，其中本科生在50%以上，并擁有幾名碩博士作為技術(shù)領(lǐng)軍。這些專業(yè)工程師分別具有在硬件開(kāi) 發(fā)、測(cè)試、軟件開(kāi)發(fā)、信息管理應(yīng)用等不同方面的專長(zhǎng)，為公司承接 各類項(xiàng)目作好了

6、很好的技術(shù)人才隊(duì)伍的準(zhǔn)備。同時(shí)，為了進(jìn)一步加強(qiáng) 技術(shù)力量，公司于2005年成立的技術(shù)研發(fā)中心，不僅薈萃了公司技 術(shù)隊(duì)伍中的精英力量，還與多家在杭知名高校的計(jì)算機(jī)研究所或?qū)嶒?yàn) 室，建立了很好的產(chǎn)學(xué)研橫向合作關(guān)系，使得研發(fā)中心得以充實(shí)進(jìn)一 批來(lái)自高校的科研人才，大大提高了公司整體的技術(shù)力量，和技術(shù)項(xiàng) 目的承接能力。除了人才隊(duì)伍的建設(shè)外，公司也著力創(chuàng)造良好的研發(fā)環(huán)境，研發(fā) 中心擁有獨(dú)立的辦公、試驗(yàn)以及研發(fā)場(chǎng)地，總建筑面積200平方米,包括產(chǎn)品設(shè)計(jì)室、軟件開(kāi)發(fā)實(shí)驗(yàn)室、檢測(cè)實(shí)驗(yàn)室，老化測(cè)試以及整機(jī) 測(cè)試等實(shí)驗(yàn)室。中心各實(shí)驗(yàn)室配有各種各樣的先進(jìn)儀器設(shè)備，各實(shí)驗(yàn) 室除具備常用的儀器設(shè)備外，還針對(duì)性的配備了先

7、進(jìn)的專用儀器，為 每位研發(fā)人員配有專用計(jì)算機(jī)。綜之，研發(fā)中心具備了開(kāi)展各項(xiàng)研發(fā) 設(shè)計(jì)測(cè)試任務(wù)的良好環(huán)境和保證條件。本項(xiàng)目在整個(gè)開(kāi)發(fā)團(tuán)隊(duì)的共同努力下，經(jīng)過(guò)8個(gè)多月的辛勤工作, 業(yè)已大體完成第一階段的系統(tǒng)概要設(shè)計(jì)工作。隨著萬(wàn)思品牌的知名度的不斷提升，萬(wàn)思產(chǎn)品在全省的銷售渠道 得到了快速地?cái)U(kuò)展，用戶群在不斷的擴(kuò)大，總體的銷售形勢(shì)呈現(xiàn)出快 速遞增的趨勢(shì)。從2004年的銷售收入735萬(wàn)，到2005年實(shí)現(xiàn)銷售259萬(wàn), 2006年上半年共實(shí)現(xiàn)銷售2135萬(wàn)左右，銷售的增長(zhǎng)是非常明顯的。從資產(chǎn)情況看，2004年 520多萬(wàn)，2005年760萬(wàn)，截止2006年6月 760多萬(wàn)，公司資產(chǎn)在快速的增長(zhǎng)。從財(cái)政穩(wěn)健

8、性看，2005年底資產(chǎn)負(fù)債率是26.7%，到2006年6月底, 資產(chǎn)負(fù)債率是18%可見(jiàn)，公司財(cái)務(wù)狀況是非常良好穩(wěn)健的。4. 獲獎(jiǎng)情況因萬(wàn)思公司成立時(shí)間不算太長(zhǎng)，多項(xiàng)技術(shù)項(xiàng)目或新產(chǎn)品仍在開(kāi)發(fā) 中，或者還在申報(bào)鑒定中，因此，獲獎(jiǎng)情況目前尚不多，可以一數(shù)的 資質(zhì)或榮譽(yù)有：2005年萬(wàn)思品牌獲得杭州市名牌稱號(hào)，并列入“省名牌培育計(jì)劃”2005年通過(guò)ISO9001論證2005年通過(guò)區(qū)高新技術(shù)研發(fā)中心認(rèn)定2005年通過(guò)杭州市“信息港”企業(yè)論證備案二、項(xiàng)目的必要性及市場(chǎng)前景本項(xiàng)目是設(shè)計(jì)一種分析、解剖軟件的軟件，是屬于計(jì)算機(jī)系統(tǒng)軟 件中的基礎(chǔ)性工具軟件。它運(yùn)用軟件理解技術(shù)對(duì)軟件進(jìn)行反向匯編、 回溯、和自動(dòng)分析

9、與歸納，提取軟件系統(tǒng)各部件之間的相互關(guān)聯(lián)信息， 反映軟件系統(tǒng)功能結(jié)構(gòu)、設(shè)計(jì)模式的不同抽象層次視圖等信息，并將 軟件理解的信息用恰當(dāng)?shù)膱D形化界面或文檔的方式進(jìn)行展示和輸出。該軟件可以有效地輔助軟件系統(tǒng)的開(kāi)發(fā)與維護(hù)；能進(jìn)行快速分析 和理解（大型）軟件系統(tǒng)，提高軟件開(kāi)發(fā)效率；可評(píng)估軟件系統(tǒng)與軟 件文檔之間的一致性；以及輔助軟件上線后的長(zhǎng)期維護(hù)，對(duì)整個(gè)軟件 生命周期均有重要的支撐作用。此類軟件開(kāi)發(fā)正在受到軟件業(yè)的高度重視，軟件本身涉及多類創(chuàng) 新工作。該軟件的主要用戶是軟件開(kāi)發(fā)商和應(yīng)用軟件的用戶，有較大 市場(chǎng)空間和實(shí)際需求。該軟件的開(kāi)發(fā)成功，對(duì)促進(jìn)浙江軟件產(chǎn)業(yè)發(fā)展, 提高軟件開(kāi)發(fā)效率，提升應(yīng)用軟件維護(hù)質(zhì)

10、量，創(chuàng)建自主品牌軟件系統(tǒng), 尤其是基礎(chǔ)性軟件系統(tǒng)，具有重要示范意義。1國(guó)內(nèi)外技術(shù)發(fā)展現(xiàn)狀及趨勢(shì)從上世紀(jì)90年代早期開(kāi)始，由于國(guó)外軟件市場(chǎng)對(duì)遺產(chǎn)軟件復(fù)用的迫切需求，逆向工程技術(shù)得到了長(zhǎng)足的發(fā)展，對(duì)此，IEEE Com puterSociety、ACM SIGSOFTACM SIGPLANReengineering Forum 等主要 組織也在軟件逆向工程領(lǐng)域發(fā)起了三個(gè)年會(huì)，以深入研討逆向工程問(wèn) 題。這三個(gè)年會(huì)是：WRCIE the Worki ng Conference on ReverseEngineering )、 IWPC( the InternationalWorkshop on Pro

11、gramComprehension)禾口 PASTE( the Workshop on Program Analysis for Software Tools and Engineering )。此外，以 CM(卡內(nèi)基梅隆大學(xué)) 為代表的多所世界知名大學(xué)在1984年就成立了專門(mén)的軟件逆向工程研究中心，以致力于相關(guān)技術(shù)的研究。另外IBM Microsoft等在此領(lǐng)域的研究工作也進(jìn)行了多年。近年來(lái)，由于國(guó)內(nèi)軟件市場(chǎng)對(duì)遺產(chǎn)軟 件重構(gòu)的刺激，逆向工程技術(shù)的重要性也開(kāi)始得到了國(guó)內(nèi)學(xué)術(shù)界和商 業(yè)界的認(rèn)同。作為控制軟件復(fù)雜性、提高軟件系統(tǒng)質(zhì)量、支持軟件開(kāi)發(fā)和復(fù)用 的重要手段之一，軟件體系結(jié)構(gòu)對(duì)軟件開(kāi)發(fā)組織具

12、有極其重要的作 用。然而，實(shí)際的程序開(kāi)發(fā)卻往往背離最初的軟件體系結(jié)構(gòu)設(shè)計(jì)而造 成體系結(jié)構(gòu)性破壞，為此需要進(jìn)行體系結(jié)構(gòu)恢復(fù)。同時(shí)，遺產(chǎn)軟件系 統(tǒng)由于早期的開(kāi)發(fā)缺乏有效的設(shè)計(jì)或缺乏詳細(xì)描述文檔而需要重構(gòu) 或恢復(fù)。為此，逆向工程領(lǐng)域中對(duì)軟件理解中的體系結(jié)構(gòu)恢復(fù)與重建 成為了研究的熱點(diǎn)，每年都有此領(lǐng)域的論文在WRCE IWPC PASTE等相關(guān)雜志上發(fā)表。此項(xiàng)目的關(guān)注點(diǎn)在以體系結(jié)構(gòu)為中心的軟件理解 上。逆向工程中軟件理解技術(shù)發(fā)展至今，業(yè)界已經(jīng)研發(fā)出一些輔助工 具，一些典型軟件有：(1) RigiRigi是發(fā)展較早的軟件逆向工程輔助工具，至今它仍是Victoria大學(xué)的Rigi Research在研工程

13、項(xiàng)目。Rigi先對(duì)軟件系統(tǒng)進(jìn)行分析以 獲得一個(gè)基本的系統(tǒng)分層視圖，然后由相當(dāng)熟悉該軟件系統(tǒng)的用戶對(duì) 此分層視圖進(jìn)行修改和編輯以得到更精練的系統(tǒng)分層視圖。由于Rigi的分析器只能分析函數(shù)和結(jié)構(gòu)類型的數(shù)據(jù)，這使得產(chǎn)生的視圖局限于 函數(shù)視圖。(2) Refine/CRefine/C由Reasoning公司開(kāi)發(fā)。它是一種可擴(kuò)展的、交互的工作臺(tái)，逆向分析C程序，用戶能夠使用其 API并配合使用其公司開(kāi)發(fā)的另一個(gè)工具Software Refinery來(lái)細(xì)化特定的應(yīng)用程序。但是它不支持文檔輸出、增量分析，不能顯示函數(shù)調(diào)用等一系列視圖，而且在 分析包含語(yǔ)法錯(cuò)誤的源代碼時(shí)表現(xiàn)不佳。(3) lmagix4DIma

14、gix4D由Imagix公司開(kāi)發(fā)。Imagix4D 是一個(gè) C和C+嗽件理 解工具。它能在很多層次上快速地分析系統(tǒng)代碼，這些層次分為高層 的設(shè)計(jì)到建構(gòu)的細(xì)節(jié)、類和函數(shù)依賴性等。Imagxi4D以一種3D圖形 的格式描述軟件的關(guān)鍵信息，這能讓用戶快速定位到相關(guān)視圖。但是 它不支持源代碼瀏覽定位、輸出文檔局限于函數(shù)級(jí)別、源代碼分析速 度低下、不能抽取實(shí)體關(guān)系圖信息。(4) SNIFF+Sniff+由TakeFive Software GmbH公司開(kāi)發(fā).它是一個(gè)開(kāi)放的、 可擴(kuò)展的和可分層的C/C+編程環(huán)境，同時(shí)也提供逆向工程功能。Sniff+提供一個(gè)高效和便攜的環(huán)境，同時(shí)有著良好的用戶接口。但是,

15、它對(duì)于錯(cuò)誤語(yǔ)法分析欠佳，不能展示重要的函數(shù)、變量、數(shù)據(jù)類型信 息，沒(méi)有控制流圖等層次視圖，不能記錄外部變量或函數(shù)信息。(5) Source In sightSource In sight 由 Source Dyn amics 公司開(kāi)發(fā)，目前被 Microsoft ， IBM, Intel ，Novell，Motorola等很多國(guó)際大公司所使用。它以工程 的方式分析軟件源代碼，通過(guò)圖形界面顯示各種符號(hào)、符號(hào)引用樹(shù)， 類繼承視圖、函數(shù)調(diào)用視圖等。它沒(méi)有供外部使用的API接口，不能有效集成到其它工作平臺(tái)。它不支持文檔生成，其函數(shù)調(diào)用視圖僅能 展示調(diào)用關(guān)系圖，即僅僅是按字母順序羅列的被調(diào)用函數(shù)列表，而

16、不 能反映函數(shù)控制流程視圖。(6) Source NavigatorSource Navigator 是遵守 GPL 的 Open Source 軟件，具有與 SourceIn sight相似的功能，但是界面環(huán)境不如 Source In sight友好。它的 圖形用戶界面采用Tcl/Tk （一種解釋語(yǔ)言）語(yǔ)言實(shí)現(xiàn)，故分析大型軟 件系統(tǒng)時(shí)速度會(huì)慢于Source In sight。它能通過(guò)圖形用戶界面顯示各 種符號(hào)信息、符號(hào)上下文信息、符號(hào)引用樹(shù)，類繼承圖、函數(shù)調(diào)用圖。 它不支持文檔生成，其函數(shù)調(diào)用視圖僅能展示調(diào)用關(guān)系圖，即僅僅是 按字母順序羅列的被調(diào)用函數(shù)列表，而不能反映函數(shù)控制流程視圖。 另外

17、，它不能分析并獲取局部符號(hào)信息，不便于上下文查看、不能查 看定位同名符號(hào)。(7) JBPASJBPAS是國(guó)內(nèi)青鳥(niǎo)II型系統(tǒng)的逆向工程組成部分。它是由一個(gè)C+ 分析器前端和一組分析工具集組成的軟件理解系統(tǒng)。它采用增量分析 技術(shù)對(duì)程序源代碼進(jìn)行靜態(tài)分析，能抽取軟件系統(tǒng)中部件至今的交叉 引用關(guān)系。它能生成 Rose描述文檔，但是需要預(yù)裝 Rational Rose 和Microsoft的DAO工具集。JBPAS對(duì)源代碼的分析速度很慢（對(duì)大 約10萬(wàn)行源代碼的程序大約需要6小時(shí)），不適合軟件開(kāi)發(fā)組織日常 對(duì)軟件系統(tǒng)的開(kāi)發(fā)、維護(hù)和理解分析。一般地，對(duì)程序分析與文檔生成類軟件的評(píng)價(jià)標(biāo)準(zhǔn)主要體現(xiàn)在： 體系結(jié)

18、構(gòu)文檔輸出、瀏覽定位、增量分析、錯(cuò)誤語(yǔ)法分析、源文件目 錄布局、調(diào)用視圖、數(shù)據(jù)結(jié)構(gòu)視圖、實(shí)體關(guān)系圖、合成抽象視圖、源 代碼編輯，等方面。通過(guò)對(duì)一些典型軟件的分析，認(rèn)為這些軟件在體 系結(jié)構(gòu)層次上的軟件理解與文檔描述方面的研究不足，特別是軟件文 檔生成技術(shù)遠(yuǎn)未解決，至今，業(yè)界已開(kāi)發(fā)出的軟件理解工具仍然沒(méi)有 一種系統(tǒng)能較好滿足逆向工程中軟件理解的需要。2. 國(guó)內(nèi)外市場(chǎng)需求分析隨著計(jì)算機(jī)科學(xué)與技術(shù)的深入發(fā)展，軟件開(kāi)發(fā)技術(shù)取得了巨大的 進(jìn)步。然而隨之而來(lái)的軟件危機(jī)給軟件開(kāi)發(fā)提出了嚴(yán)峻的挑戰(zhàn)。軟件 規(guī)模越來(lái)越大、軟件復(fù)雜度越來(lái)越高給軟件開(kāi)發(fā)和維護(hù)帶來(lái)了巨大的 壓力，其根本原因在于設(shè)計(jì)文檔的缺乏或設(shè)計(jì)文檔與

19、軟件系統(tǒng)具體實(shí)現(xiàn)的不一致，造成了軟件開(kāi)發(fā)組織對(duì)軟件系統(tǒng)的理解缺陷。 軟件文檔生成技術(shù)遠(yuǎn)未解決至今，業(yè)界已有的軟件理解工具仍然沒(méi)有一種系統(tǒng)能較好滿足逆 向工程中軟件理解的需要，技術(shù)發(fā)展空間廣闊，具有理論研究意義， 也具有重要的實(shí)際應(yīng)用意義。 對(duì)國(guó)內(nèi)、國(guó)外軟件企業(yè)具有技術(shù)支撐作用據(jù)統(tǒng)計(jì)資料，軟件資源預(yù)算的 50堆y 80%肖耗于對(duì)現(xiàn)有系統(tǒng)的維 護(hù)，軟件維護(hù)者理解程序源碼的時(shí)間超過(guò)軟件生命期的70%而完備、準(zhǔn)確的軟件文檔是進(jìn)行軟件維護(hù)的重要基礎(chǔ)。一些軟件企業(yè)普遍存在 不同程度的軟件文檔不完備的問(wèn)題，特別是在一些中小型軟件企業(yè)表 現(xiàn)得比較突出。本項(xiàng)目的預(yù)期成果，對(duì)國(guó)內(nèi)、國(guó)外軟件企業(yè)具有技術(shù) 支撐作用。

20、 對(duì)推動(dòng)我省基礎(chǔ)軟件的開(kāi)發(fā)具有重要意義軟件產(chǎn)業(yè)作為浙江省經(jīng)濟(jì)發(fā)展的主導(dǎo)產(chǎn)業(yè)之一，需要在系統(tǒng)軟件、 軟件開(kāi)發(fā)工具領(lǐng)域有所作為。浙江省作為國(guó)內(nèi)的一個(gè)軟件產(chǎn)業(yè)大省， 但軟件產(chǎn)品主要集中于嵌入式應(yīng)用軟件、金融證券、基金財(cái)務(wù)、醫(yī)療 衛(wèi)生、印染服裝、稅務(wù)、工商、公安、賓館酒店、工業(yè)控制，而在最 基礎(chǔ)、最核心的諸如操作系統(tǒng)、底層工具、系統(tǒng)工具等系統(tǒng)軟件產(chǎn)品 方面則相當(dāng)薄弱，與發(fā)達(dá)國(guó)家有很大的差距，限制了我省軟件業(yè)的發(fā) 展空間和利潤(rùn)空間。開(kāi)發(fā)具有自主知識(shí)產(chǎn)權(quán)的系統(tǒng)工具、系統(tǒng)軟件是 軟件業(yè)界必需攻堅(jiān)的一個(gè)目標(biāo)。浙江省十一五規(guī)劃綱要提出：加強(qiáng)自主創(chuàng)新，提升產(chǎn)業(yè)國(guó)際競(jìng)爭(zhēng)力，重點(diǎn)建設(shè)國(guó)家和省級(jí)軟件、信息、生 物等高技

21、術(shù)產(chǎn)業(yè)基地，這些目標(biāo)的實(shí)現(xiàn)都需要核心系統(tǒng)軟件的研究成 果來(lái)支撐。3. 項(xiàng)目現(xiàn)有基礎(chǔ)及競(jìng)爭(zhēng)力分析本項(xiàng)目的開(kāi)發(fā)力量以本企業(yè)的高新技術(shù)研發(fā)中心的研發(fā)團(tuán)隊(duì)為 主要依托，充分發(fā)揮企業(yè)實(shí)際開(kāi)發(fā)和市場(chǎng)運(yùn)作經(jīng)驗(yàn)，同時(shí)，又充分利 用高校實(shí)驗(yàn)室在研究上的技術(shù)積累、對(duì)領(lǐng)域前沿的把握和人才集中的 優(yōu)勢(shì)，形成優(yōu)勢(shì)互補(bǔ)的多方合作關(guān)系。項(xiàng)目組主要研究人員具有長(zhǎng)期 從事科研工作的經(jīng)歷，對(duì)本研究?jī)?nèi)容作了長(zhǎng)期的跟蹤與積累，研究成 員中具有專業(yè)從事編譯器設(shè)計(jì)的工作經(jīng)驗(yàn)，對(duì)關(guān)鍵內(nèi)容已經(jīng)作了比較 系統(tǒng)的研究，掌握研究工作所需的基本理論和技術(shù)，具備正常開(kāi)展項(xiàng) 目研究的基礎(chǔ)和很強(qiáng)的競(jìng)爭(zhēng)力。截止申報(bào)時(shí)間，本項(xiàng)目已經(jīng)投入了 72人月的開(kāi)發(fā)人力

22、，大致完成 了第一階段的80%勺工作(系統(tǒng)概要設(shè)計(jì)工作)，目前正在努力深入完 善中。本系統(tǒng)的競(jìng)爭(zhēng)力主要體現(xiàn)在技術(shù)的先進(jìn)性和功能上切合市場(chǎng)需 求，具體方面：(1) 該項(xiàng)目在國(guó)內(nèi)尚屬于空白點(diǎn)，也是技術(shù)難點(diǎn)。在國(guó)內(nèi)技術(shù)具 有開(kāi)拓性意義。(2)本系統(tǒng)適合多語(yǔ)言理解的系統(tǒng)架構(gòu)設(shè)計(jì)。在本項(xiàng)目中，先以 C/C+弋碼為對(duì)象設(shè)計(jì)，但預(yù)留其他語(yǔ)言理解的規(guī)則空間設(shè)計(jì)系統(tǒng)架 構(gòu)，體現(xiàn)軟件的通用性。(3)比國(guó)際上的同類系統(tǒng)相比較，本系統(tǒng)特別加強(qiáng)了對(duì)文檔生成 /表達(dá)功能，適合國(guó)內(nèi)市場(chǎng)的需求。(4)市場(chǎng)需求較為迫切，需求面較為可觀，因此市場(chǎng)前景較好。、項(xiàng)目概況1項(xiàng)目主要實(shí)施內(nèi)容本項(xiàng)目首先需要對(duì)軟件系統(tǒng)進(jìn)行低級(jí)的源代碼分析，

23、提取系統(tǒng)部 件之間的相互關(guān)聯(lián)信息，即對(duì)軟件系統(tǒng)進(jìn)行適當(dāng)粒度的分解；然后合 成反映軟件系統(tǒng)體系結(jié)構(gòu)、設(shè)計(jì)模式的不同抽象層次視圖等，即對(duì)軟 件系統(tǒng)進(jìn)行高層次的歸并，將軟件理解的信息用恰當(dāng)?shù)娜藱C(jī)界面或以文檔的方式進(jìn)行展示和輸出。 軟件信息抽取正確獲取軟件信息是整個(gè)研究工作的重要基礎(chǔ)。將運(yùn)用編譯理論 與技術(shù)、智能信息處理技術(shù)，研究軟件源信息規(guī)律，獲取軟件的符號(hào) 信息、從屬關(guān)系信息、交叉引用信息、層次結(jié)構(gòu)信息，以及信息依賴 關(guān)系。 軟件信息組織與存儲(chǔ)在軟件分析過(guò)程中收集到大量符號(hào)信息、從屬關(guān)系信息、交叉引 用信息、層次結(jié)構(gòu)信息，以及信息依賴關(guān)系等數(shù)據(jù)后，將進(jìn)行智能化 的分類和管理研究，為軟件文檔生成和信

24、息可視化的檢索、應(yīng)用、處 理和更新提供快速的存取。 軟件信息合成軟件信息抽取可獲得粗糙的低級(jí)程序代碼級(jí)信息，如變量定義 /聲 明、數(shù)據(jù)結(jié)構(gòu)定義、函數(shù)引用關(guān)系等，但這些信息不足以讓用戶宏觀 掌控軟件系統(tǒng)的體系結(jié)構(gòu)，為此需要對(duì)源代碼基別的低級(jí)信息進(jìn)行子 系統(tǒng)合成，以逐步由小到大，由粗到精地合成更高層次的全局體系結(jié) 構(gòu)視圖，展現(xiàn)全局的程序控制流程。而且，用戶在理解過(guò)程中還可以 由大到小地對(duì)各個(gè)子系統(tǒng)進(jìn)行放大，詳細(xì)了解精確到函數(shù)級(jí)別的代碼 實(shí)現(xiàn)細(xì)節(jié)。 軟件文檔的描述與生成研究軟件文檔的系統(tǒng)化、結(jié)構(gòu)化、圖形化的描述方法，設(shè)計(jì)系列 化的描述方案，生成不同抽象層次的軟件文檔，多視角展現(xiàn)分析結(jié)果。 同時(shí)也需要

25、研究本系統(tǒng)產(chǎn)生的文檔與其它逆向工程工具的互操作性。 軟件理解與文檔生成集成環(huán)境研究和構(gòu)建集信息分析，信息獲取，信息處理、信息利用、信息 可視化和文檔生成為一體的集成分析環(huán)境。通過(guò)一體化的集成環(huán)境，提供統(tǒng)一的分析視圖，避免用戶在分析程序、修改代碼、產(chǎn)生文檔之 間來(lái)回的切換，使用戶專注于軟件理解工作。2.項(xiàng)目主要技術(shù)指標(biāo)主要技術(shù)指標(biāo)體現(xiàn)在所實(shí)現(xiàn)的目標(biāo)上，具體反映在: 實(shí)現(xiàn)和正確提取軟件描述信息。實(shí)現(xiàn)具有增量分析及容錯(cuò)機(jī)制的程序分析。 實(shí)現(xiàn)高層抽象視圖信息合成技術(shù)。實(shí)現(xiàn)文檔布局和生成技術(shù)。實(shí)現(xiàn)大規(guī)模圖形視圖快速生成和按需裁剪技術(shù)。3. 項(xiàng)目技術(shù)路線本項(xiàng)目借鑒和吸收一些商業(yè)軟件和開(kāi)放源代碼的核心思想，

26、采用C/C+為主的開(kāi)發(fā)語(yǔ)言，采取模型的改進(jìn)和算法優(yōu)化等方法來(lái)開(kāi)發(fā)此 系統(tǒng)。在研究工作中強(qiáng)調(diào)標(biāo)準(zhǔn)化，通過(guò)實(shí)驗(yàn)來(lái)驗(yàn)證和推進(jìn)整個(gè)研究工 作的進(jìn)行，并參考一些開(kāi)放程序分析工具和開(kāi)放集成開(kāi)發(fā)環(huán)境作為當(dāng) 前工作的基礎(chǔ)。針對(duì)各個(gè)子系統(tǒng)的具體技術(shù)路線描述如下：(1) 軟件理解子系統(tǒng)Source軟件理解子系統(tǒng)是整個(gè)系統(tǒng)的核心，它抽取軟件系統(tǒng)而建立的信 息庫(kù)是其它子系統(tǒng)工作的基礎(chǔ)，為此本項(xiàng)目對(duì)它進(jìn)行了比較深入了前 期研究。通過(guò)前期對(duì)很多開(kāi)源程序分析工具的調(diào)研，如In sight、Source Navigator、Cscope Cxref、Global、Ncc 等，并 對(duì)之進(jìn)行了深入的評(píng)估與分析。本項(xiàng)目擬設(shè)計(jì)出如圖

27、 1所示的軟件理 解子系統(tǒng)基本組織框架。FilesInfoProject1f 1 /ProjectEditorCarrierMan ager' 1 /1SourceCode. SymbolsDriver111SymbolBrowser1111JLJParserSymbol Tabley 一 fSymbolTableMan agerDatabaseDatabaseUp daterCon structornrDatabaseAnalysis InfoDatabaseRetrieverSymbolInfoA圖1軟件理解子系統(tǒng)基本組織框架在圖1所示的框架中，有十個(gè)功能組件，其中File Edi

28、tor ,Project Manager.Symbol Browser，Info Carrier共同構(gòu)成界面顯示環(huán)境IDE。對(duì)各個(gè)部件簡(jiǎn)要 描述如下:P roject Man ager 工程管理器，它用于管理對(duì)工程的所有操作。 File Editor文件編輯器，它用于對(duì)源文件進(jìn)行編輯。 Info Carrier中的操作信息傳遞給信息傳遞器，它把用戶在 Project Manager，F(xiàn)ile EditorDriver ;待Driver調(diào)用后續(xù)的工具鏈更新內(nèi)部符號(hào)表后, 它將根據(jù)用戶的操作情況來(lái)調(diào)用 Symbol Browser更新符號(hào)顯示。 Driver 驅(qū)動(dòng)器，它用于驅(qū)動(dòng)后續(xù)除Symbol

29、Browser外的所有工具鏈。 Parser分析器，它用于對(duì)源代碼進(jìn)行分析，并輸出分析信息文件AnalysisInfo。 Database Con structor數(shù)據(jù)庫(kù)構(gòu)建器，它用于為分析工程創(chuàng)建符號(hào)信息 數(shù)據(jù)庫(kù)。 Database Up dater數(shù)據(jù)庫(kù)更新器，它用于對(duì)數(shù)據(jù)庫(kù)的數(shù)據(jù)進(jìn)行更新。 Database Retriever數(shù)據(jù)庫(kù)檢索器，它用于檢索符號(hào)信息數(shù)據(jù)庫(kù)，并輸 出格式化的符號(hào)信息。 Symbol Table Man ager符號(hào)表管理器，它用于把格式化的符號(hào)信息錄入 內(nèi)部符號(hào)表。 Symbol Browser符號(hào)瀏覽器，它用于讀取內(nèi)部符號(hào)表，并顯示符號(hào)。(2) 文檔生成子系統(tǒng)文

30、檔生成子系統(tǒng)的核心技術(shù)在于高層抽象層次信息的合成及文檔 信息的合理布局。通過(guò)前期對(duì)很多開(kāi)源文檔生成工具的調(diào)研，如 Doxygen Doc+ Javadoc、DocBook ROBODo等，本項(xiàng)目主要參考 Rigi和Doxygen作為研究工作的基礎(chǔ)，因?yàn)?Rigi具有一定的高層信 息合成機(jī)制，而Doxygen具有了一定文檔布局和生成功能。(3) 信息瀏覽子系統(tǒng)DEV-C+信息瀏覽子系統(tǒng)的核心技術(shù)在于綜合高層抽象視圖快速生成與按 需裁剪。很多開(kāi)源的集成界面環(huán)境都可以提供參考，如 eclips、qmwedit、cEdit等。盡管等相關(guān)文獻(xiàn)提供了一些大型圖形生 成技術(shù)指引，但是設(shè)計(jì)具有按需裁剪功能的視

31、圖生成算法則仍是努力 解決得技術(shù)難點(diǎn)。根據(jù)上述分析，初步擬定的軟件理解系統(tǒng)總體規(guī)劃方案如圖2所示。浙江萬(wàn)思計(jì)算機(jī)制造有限公司軟件系統(tǒng)源代碼程序理解子系統(tǒng)信息抽取部分詞法分析器信息存取部分語(yǔ)法分析器數(shù)據(jù)庫(kù)數(shù)據(jù)庫(kù)構(gòu)建器更新器中間代碼生成器IIIIII抽取信息rr1基本信息瀏覽器II1 -全局變量-數(shù)據(jù)結(jié)構(gòu)1 -宏定義-枚舉元素1 -其它1II11視圖信息瀏覽器11 -體系結(jié)構(gòu)視圖-函數(shù)控制流程視圖1 -符號(hào)引用關(guān)系視圖-符號(hào)被引用關(guān)系視圖1 -其它111信息瀏覽子系統(tǒng)信息數(shù)據(jù)庫(kù)文檔生成子系統(tǒng)I"信息合成部分I*圖形轉(zhuǎn)換器內(nèi)部文檔產(chǎn)生器中間格式文檔外部文檔產(chǎn)生器外部文檔圖2軟件理解系統(tǒng)總體

32、規(guī)劃方案4. 項(xiàng)目創(chuàng)新點(diǎn)從90年代早期開(kāi)始至今，基于程序理解的逆向工程技術(shù)得到了 很大的發(fā)展，盡管研究工作不盡人意，但國(guó)內(nèi)外的學(xué)者們圍繞這個(gè)項(xiàng) 目已經(jīng)產(chǎn)生出一些技術(shù)成果。為此，本項(xiàng)目的創(chuàng)新主要集中在引進(jìn)消C/C+化吸收再創(chuàng)新。其創(chuàng)新點(diǎn)有:(1)適合多語(yǔ)言理解的系統(tǒng)架構(gòu)設(shè)計(jì)。在本項(xiàng)目中，先以代碼為理解對(duì)象實(shí)現(xiàn)設(shè)計(jì)。但通過(guò)適合多語(yǔ)言理解的系統(tǒng)架構(gòu)設(shè)計(jì),預(yù)留其他語(yǔ)言理解的規(guī)則空間，體現(xiàn)軟件的通用性。（2）文檔生成功能。通過(guò)對(duì)國(guó)內(nèi)外研究現(xiàn)狀的分析可以看到，現(xiàn)有的開(kāi)源程序理解工具幾乎沒(méi)有文檔生成能力，而且沒(méi)有合成體系 結(jié)構(gòu)視圖等關(guān)鍵功能。雖然存在一些文檔生成工具，如Javadoc,Doxygen, Do

33、c+等，但是這些工具僅僅是根據(jù)軟件系統(tǒng)源代碼的注釋 信息生成相應(yīng)文檔，而非分析軟件系統(tǒng)源代碼而生成文檔。（3）軟件理解與文檔生成的集成。本系統(tǒng)將吸收某些開(kāi)源工具 的合理因素，增加信息合成、內(nèi)部文檔描述與可視化、外部文檔描述 與生成等核心功能，建立一個(gè)集程序理解和文檔生成為一體的，以體 系結(jié)構(gòu)為中心的程序理解系統(tǒng)。5. 項(xiàng)目完成后的主要技術(shù)成果提交WS嗽件分析文檔自動(dòng)生成系統(tǒng)開(kāi)發(fā)報(bào)告。 實(shí)現(xiàn)相關(guān)算法及軟件。將具有原創(chuàng)性的算法設(shè)計(jì)與成果整理后，完成相關(guān)軟件著作權(quán) 登記和軟件產(chǎn)品認(rèn)定。四、項(xiàng)目投資1、總投資及資金來(lái)源本項(xiàng)目計(jì)劃投資300萬(wàn)元，其中企業(yè)自籌260萬(wàn)元，省信息服務(wù)業(yè) 專項(xiàng)資金資助30萬(wàn)元

34、，地方政府配套資助10萬(wàn)元。2、資金主要用途資金主要用于搭建開(kāi)發(fā)環(huán)境、購(gòu)置開(kāi)發(fā)用設(shè)備及開(kāi)發(fā)工具、試驗(yàn) 外協(xié)費(fèi)、人員經(jīng)費(fèi)，開(kāi)支項(xiàng)目組運(yùn)行期間的日常費(fèi)用、差旅費(fèi)會(huì)務(wù)費(fèi) 資料費(fèi)等等。3、申請(qǐng)專項(xiàng)資金使用明細(xì)表總投入:開(kāi)發(fā)設(shè)備和開(kāi)發(fā)工具購(gòu)置費(fèi)用80萬(wàn)項(xiàng)目期間的調(diào)研交流費(fèi)（差旅、會(huì)議、圖書(shū)資料等）20萬(wàn)實(shí)驗(yàn)原材料費(fèi)用30萬(wàn)試驗(yàn)調(diào)試費(fèi)用30萬(wàn)實(shí)驗(yàn)室日常運(yùn)行開(kāi)支等綜合費(fèi)用40萬(wàn)人員經(jīng)費(fèi)/培訓(xùn)費(fèi)等100萬(wàn)申請(qǐng)專項(xiàng)資金支持部分的明細(xì):2020開(kāi)發(fā)設(shè)備和開(kāi)發(fā)工具購(gòu)置費(fèi)用試驗(yàn)調(diào)試五、項(xiàng)目的風(fēng)險(xiǎn)分析1、政策風(fēng)險(xiǎn)2.技術(shù)風(fēng)險(xiǎn)本項(xiàng)目的研究具有一定的挑戰(zhàn)性，技術(shù)難度較大，從某種角度講, 是一種技術(shù)風(fēng)險(xiǎn)，但本項(xiàng)目組已經(jīng)對(duì)技術(shù)

35、的可實(shí)現(xiàn)性做了充分的調(diào)研 和預(yù)估，以下幾個(gè)方面保證了風(fēng)險(xiǎn)的可防范：1本項(xiàng)目的研究符合國(guó)內(nèi)外的市場(chǎng)需求，所研究的內(nèi)容不構(gòu)成與相 關(guān)政策的沖突，同時(shí)軟件產(chǎn)業(yè)是國(guó)家大力鼓勵(lì)發(fā)展產(chǎn)業(yè)，產(chǎn)業(yè)發(fā)展前 景良好。）本項(xiàng)目符合國(guó)內(nèi)外該領(lǐng)域的學(xué)術(shù)方向，立題正確；）本項(xiàng)目經(jīng)過(guò)8個(gè)月的項(xiàng)目前期調(diào)研和設(shè)計(jì)，已初步完成系統(tǒng)概 要設(shè)計(jì)，證明了系統(tǒng)的技術(shù)可實(shí)現(xiàn)性。）項(xiàng)目組對(duì)項(xiàng)目的難度有充分的估計(jì)，思想上做了長(zhǎng)期攻堅(jiān)的準(zhǔn) 備；方法上，采取分期進(jìn)行，科學(xué)分解目標(biāo)，用工程化的項(xiàng)目 管理來(lái)規(guī)范整個(gè)研究工作；4 )技術(shù)角度嚴(yán)格把關(guān)，堅(jiān)持先進(jìn)性與可行性并舉，同時(shí)，為了保 證項(xiàng)目的正常進(jìn)行與按時(shí)完成任務(wù)，建立嚴(yán)格的項(xiàng)目進(jìn)度管理制 度。3.

36、人力風(fēng)險(xiǎn)本項(xiàng)目集中了來(lái)自企業(yè)研發(fā)中心，和知名高校的專業(yè)研究開(kāi)發(fā)人 員，開(kāi)發(fā)團(tuán)隊(duì)的技術(shù)強(qiáng)、專業(yè)程度高，對(duì)本項(xiàng)目所涉及的技術(shù)已經(jīng)有 一定的研究基礎(chǔ)，因此，人力風(fēng)險(xiǎn)較小。同時(shí)公司將重視項(xiàng)目開(kāi)發(fā)期 間人力資源的合理安排，優(yōu)勢(shì)兵力的協(xié)同合作，通過(guò)嚴(yán)格管理與科學(xué) 的政策導(dǎo)向，給予研究人員良好的待遇，使研發(fā)人員心情愉快地投入 研究工作。因此，本項(xiàng)目實(shí)施無(wú)人力風(fēng)險(xiǎn)。4. 資金風(fēng)險(xiǎn)本項(xiàng)目的資金大部分來(lái)自企業(yè)自籌，資金來(lái)源比較有保證，因此, 資金風(fēng)險(xiǎn)較小。5. 其他風(fēng)險(xiǎn)本項(xiàng)目開(kāi)發(fā)成功后，公司現(xiàn)有的銷售渠道能直接承擔(dān)新系統(tǒng)的推 廣銷售，因此，產(chǎn)品市場(chǎng)化的風(fēng)險(xiǎn)也是很小的。六、項(xiàng)目的組織實(shí)施1.項(xiàng)目進(jìn)度安排本項(xiàng)目自20

37、06年1月開(kāi)始，至2007年12月為止，分四個(gè)階段進(jìn)行。第一階段(2006.1-2006.10 )全面啟動(dòng)，形成系統(tǒng)化的解決方案，完成系統(tǒng)概要設(shè)計(jì)。第二階段(2006.11-2007.6 )分三個(gè)子系統(tǒng)完成詳細(xì)設(shè)計(jì)，包括： 軟件系統(tǒng)程序理解關(guān)鍵技術(shù)的研究與實(shí)現(xiàn)。 軟件文檔生成關(guān)鍵技術(shù)的研究與實(shí)現(xiàn)。 信息瀏覽子系統(tǒng)關(guān)鍵技術(shù)的研究與實(shí)現(xiàn)。第三階段(2007.7-2007.10)代碼設(shè)計(jì)與系統(tǒng)集成。第四階段(2007.11-2007.12)研究資料整理、歸檔。完成項(xiàng)目總結(jié)報(bào)告。申請(qǐng)結(jié)題。在研究的各個(gè)階段，分別對(duì)一些原創(chuàng)性的研究成果整理后在專業(yè) 期刊發(fā)表或申請(qǐng)專利，并按時(shí)向上級(jí)管理機(jī)構(gòu)匯報(bào)工作。2.

38、項(xiàng)目負(fù)責(zé)人及項(xiàng)目組人員情況本項(xiàng)目的主要成員來(lái)自本公司的研發(fā)中心，以及公司研發(fā)中心外聘的專 家和教授，主要名單如下：姓名年齡職稱職務(wù)專業(yè)在本項(xiàng)目中分工來(lái)自單位趙毓芳36工程師/ 公司總經(jīng)理計(jì)算機(jī) 軟件項(xiàng)目負(fù)責(zé)人 總協(xié)調(diào)浙江萬(wàn)思計(jì)算 機(jī)公司古輝50教授計(jì)算機(jī) 軟件總工浙江工業(yè)大學(xué)陳剛36博士導(dǎo)師計(jì)算機(jī)應(yīng)用系統(tǒng)設(shè)計(jì)浙江大學(xué)丁維龍35博士計(jì)算機(jī)應(yīng)用程序理解子系統(tǒng)設(shè)計(jì)浙江工業(yè)大學(xué)陳琦30工程師計(jì)算機(jī)信息瀏覽子系統(tǒng)設(shè)計(jì)浙江萬(wàn)思計(jì)算 機(jī)公司侯向輝28工程師計(jì)算機(jī)文檔生成子系統(tǒng)設(shè)計(jì)浙江萬(wàn)思計(jì)算 機(jī)公司鄭曉鋒29工程師計(jì)算機(jī)系統(tǒng)測(cè)試浙江萬(wàn)思計(jì)算 機(jī)公司陽(yáng)繼旭28工程師計(jì)算機(jī)程序設(shè)計(jì)浙江萬(wàn)思計(jì)算 機(jī)公司許曉波30工程師計(jì)算機(jī)程序設(shè)計(jì)浙江萬(wàn)思計(jì)算 機(jī)公司賴松鳳25碩士計(jì)算機(jī)程序設(shè)計(jì)浙江萬(wàn)思計(jì)算 機(jī)公司馬靈春2