2020軟件測(cè)試可行性研究報(bào)告

盈通企管盈通企管PAGEPAGE15一、總論

最新軟件測(cè)試可行性研究報(bào)告1、項(xiàng)目的主要內(nèi)容及技術(shù)原理簡(jiǎn)述軟件測(cè)試應(yīng)是“理論+技術(shù)+輔助工具+管理”的結(jié)合體，輔助測(cè)試工具在其中起著舉足輕重的作用。以目前普遍使用的C/C++程序作為測(cè)試對(duì)象，預(yù)期I/O/可視化程度高、擴(kuò)展性好等特點(diǎn)。2、項(xiàng)目的目的和意義品測(cè)試平臺(tái)是當(dāng)今軟件業(yè)界一個(gè)極具現(xiàn)實(shí)意義的課題。軟件測(cè)試的研究應(yīng)從“理論+技術(shù)+輔助工具+管理”四個(gè)側(cè)面展開，且它(1)提高測(cè)試效率，從而降低(2)與測(cè)試人員的(4)對(duì)于功能、特征類似的軟件，(5保存、交換等，為程序診斷、缺陷快速定位提供便利。3、相關(guān)技術(shù)領(lǐng)域國(guó)內(nèi)外發(fā)展現(xiàn)狀、趨勢(shì)WH當(dāng)前，絕大部分軟件開發(fā)工具對(duì)其軟件產(chǎn)品進(jìn)行質(zhì)量保證是仍是通過(guò)招募大開發(fā)成本、提升企業(yè)形象等方面均將起到很好的推動(dòng)作用。4、項(xiàng)目申請(qǐng)單位、主要合作申請(qǐng)單位及項(xiàng)目主要負(fù)責(zé)人的基本情況JX20XX6JXEYP520XX55%教師具有博士學(xué)位。HZ科技大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院下設(shè)3個(gè)系：計(jì)算機(jī)科學(xué)與工程系、計(jì)庫(kù)與多媒體技術(shù)研究所；校計(jì)算中心(含校園網(wǎng)絡(luò)中心、HZ科技大學(xué)IBM計(jì)算機(jī)技術(shù)中心、計(jì)算機(jī)教學(xué)實(shí)驗(yàn)中心)。外存儲(chǔ)系統(tǒng)國(guó)家專業(yè)實(shí)驗(yàn)室、教育部信息CEYNETHZWH34035人，副教授5891909402200160119XX20XX項(xiàng)目申報(bào)人于20XX年6月獲HZ科技大學(xué)計(jì)算機(jī)軟件與理論專業(yè)博士學(xué)歷、學(xué)位。在此前5年的碩博連讀階段，一直從事軟件測(cè)試方面的研究，先后參加軟件測(cè)試方面的縱向研究課題4項(xiàng)，還參加50萬(wàn)元以上橫向應(yīng)用項(xiàng)目研究課題3項(xiàng)，其中代表性工作如下：X9Y2G(No.41315090255X6Y2G6020XX1020YY6項(xiàng)目申報(bào)人在上述研究過(guò)程中，在國(guó)內(nèi)外權(quán)威、核心期刊上發(fā)表學(xué)術(shù)論文17篇(其中被SCI收錄2篇，被EI收錄6篇，被ISTP收錄5篇)。HZ20XX5、有關(guān)本項(xiàng)目的現(xiàn)有工作基礎(chǔ)和支撐條件項(xiàng)目申報(bào)人在碩博連讀的五年研究過(guò)程中，一直從事軟件測(cè)試方面的研究，先后主要關(guān)注面向?qū)ο蟪绦?、Web應(yīng)用程序、構(gòu)件軟件的測(cè)試方法與技術(shù)，為本課題的開展提供了良好的理論基礎(chǔ)和技術(shù)儲(chǔ)備。先后參加軟件測(cè)試方面的縱向研究課題4項(xiàng)，還參加應(yīng)用項(xiàng)目研究課題3項(xiàng)。JX12040(HZ7二、項(xiàng)目實(shí)施方案1、項(xiàng)目達(dá)到的目標(biāo)及考核的主要技術(shù)經(jīng)濟(jì)指標(biāo)（含知識(shí)產(chǎn)權(quán)、技術(shù)標(biāo)準(zhǔn)本項(xiàng)目要在WindowsCC++1-22、項(xiàng)目的主要研究（開發(fā)）內(nèi)容項(xiàng)目研究開發(fā)內(nèi)容主要包含以下幾個(gè)方面：CCCC其執(zhí)行路徑進(jìn)行分析，為分支覆蓋測(cè)試方法打下基礎(chǔ)。二是對(duì)C語(yǔ)言程序的本計(jì)學(xué)進(jìn)行軟件測(cè)試打下基礎(chǔ)。C++C+程序的原始數(shù)據(jù)和依據(jù)。C++C++語(yǔ)言本身的語(yǔ)法語(yǔ)義特征，特別是消息機(jī)制，這些將有助于設(shè)計(jì)C++測(cè)試自動(dòng)機(jī)；二是對(duì)C++C++語(yǔ)言程序進(jìn)行測(cè)試集的生成。C、C++語(yǔ)言靜態(tài)分析原型程序研究基于分支覆蓋測(cè)試方法的測(cè)試及生成算法，并設(shè)計(jì)開發(fā)基于分支覆蓋測(cè)試方法的測(cè)試集生成原型程序。研究C、C++語(yǔ)言動(dòng)態(tài)執(zhí)行檢測(cè)技術(shù)；并設(shè)計(jì)開發(fā)C、C+行檢測(cè)原型程序。研究基于3、試驗(yàn)（開發(fā)）規(guī)模及地點(diǎn)本實(shí)驗(yàn)研究項(xiàng)目將成立20人左右的研發(fā)小組開展試驗(yàn)，分別在JX財(cái)經(jīng)大學(xué)軟件學(xué)院軟件測(cè)試技術(shù)研究所(12人左右)和HZ科技大學(xué)計(jì)算機(jī)學(xué)院數(shù)據(jù)庫(kù)與軟件工程實(shí)驗(yàn)室(8人左右)進(jìn)行聯(lián)合研發(fā)。4、主要技術(shù)關(guān)鍵及創(chuàng)新點(diǎn)WindowsVisualC+C/C++程序的C/C++源程序進(jìn)行構(gòu)性測(cè)試；(3)在類級(jí)別上，實(shí)現(xiàn)基于狀態(tài)的功能性測(cè)試；(4)在系統(tǒng)級(jí)別上，運(yùn)(5)測(cè)試結(jié)果的總結(jié)與分析；(6)此外，對(duì)面向?qū)ο蟪绦蛑匾卣髦坏漠惓Ｌ幚頇C(jī)制進(jìn)行靜態(tài)分析和動(dòng)態(tài)測(cè)試。該項(xiàng)目的主要?jiǎng)?chuàng)新點(diǎn)如下：根據(jù)面向?qū)ο蟪绦虻牧６?，提供方法?jí)結(jié)構(gòu)性測(cè)試、類級(jí)基于狀態(tài)的功常動(dòng)態(tài)測(cè)試；工具的自動(dòng)化程度高，僅需要少量的測(cè)試人員參與；中，通過(guò)測(cè)試項(xiàng)目的有效管理能實(shí)現(xiàn)部分測(cè)試資源(如用例)的重用；CFG界面，并對(duì)程序語(yǔ)句結(jié)構(gòu)信息、CFG圖、測(cè)試用例提供了合理的存儲(chǔ)結(jié)構(gòu)和技術(shù)；擴(kuò)展性好，目前支持C、C+、C#等語(yǔ)言程序的測(cè)試。5、實(shí)施方案（含技術(shù)路線、工藝流程及技術(shù)關(guān)鍵的解決方案）原型工具研究開發(fā)過(guò)程中的關(guān)鍵技術(shù)的解決途徑如下：靜態(tài)分析在原型系統(tǒng)中，需采用Lex與YaccC/C++源程序進(jìn)行靜態(tài)分析，用于I/O詞法分析是將C/C++慣用的詞法如關(guān)鍵字、專用符號(hào)、注釋、標(biāo)識(shí)符、數(shù)ASTAST包括：類層次信息表、類結(jié)構(gòu)信息表、函數(shù)及調(diào)用關(guān)系列表、語(yǔ)句列表、程序控制流圖、程序分支點(diǎn)和輸入/ID插裝及輸入、輸出語(yǔ)句替換依據(jù)詞法、語(yǔ)法分析產(chǎn)生的抽象語(yǔ)法樹(程序控制結(jié)構(gòu)信息)，對(duì)C/C+錄測(cè)試執(zhí)行的語(yǔ)句和路徑覆蓋信息，并與測(cè)試驅(qū)動(dòng)器和測(cè)試結(jié)果的收集/I/O作方式?；跔顟B(tài)轉(zhuǎn)換的建模及用例生成面向?qū)ο蟪绦蛟陬惣?jí)別上通常呈現(xiàn)出對(duì)象的狀態(tài)轉(zhuǎn)換特征。根據(jù)類的需求規(guī)EFSMEFSM上所對(duì)應(yīng)的預(yù)期狀態(tài)一起構(gòu)成測(cè)試用例。測(cè)試執(zhí)行(驅(qū)動(dòng))器態(tài)的測(cè)試執(zhí)行器。I/O輸出。此外，在方法級(jí)和系統(tǒng)級(jí)還通過(guò)測(cè)試執(zhí)行器實(shí)現(xiàn)了常規(guī)的黑盒測(cè)試。E.測(cè)試結(jié)果總結(jié)/分析模塊行中的執(zhí)行剖面，運(yùn)用聚類技術(shù)提取出能揭示缺陷的部分典型用例用于程序診斷。F.測(cè)試項(xiàng)目管理原型平臺(tái)預(yù)期能測(cè)試三種類型的程序(稱作測(cè)試對(duì)象)：?jiǎn)蝹€(gè)C程序文件、單個(gè)C++程序文件以及VisualC++工程所包含的程序文件。針對(duì)每個(gè)測(cè)試對(duì)象，平臺(tái)均會(huì)建立一個(gè)測(cè)試管理項(xiàng)目，用于保存測(cè)試過(guò)程中的中間結(jié)果和臨時(shí)文件。根據(jù)用戶的需要，可以對(duì)同一測(cè)試對(duì)象展開不同的測(cè)試工作，在平臺(tái)中表現(xiàn)1圖1測(cè)試項(xiàng)目管理框架6、技術(shù)風(fēng)險(xiǎn)分析可能存在如下技術(shù)風(fēng)險(xiǎn)：(1)目前對(duì)C++的多態(tài)、動(dòng)態(tài)綁定、GUI支持等復(fù)雜特性還不能提供支持；(2)面向結(jié)構(gòu)的測(cè)試用例自動(dòng)生成由于要求解較為復(fù)雜的約束系統(tǒng)，需要一定的人工參與，所生成的測(cè)試用例覆蓋率有可能達(dá)不到最佳；(3)對(duì)于一些復(fù)雜程序，CFG圖布局需要進(jìn)一步地優(yōu)化；(4)自動(dòng)創(chuàng)建的測(cè)試驅(qū)動(dòng)器(執(zhí)行器)的執(zhí)行速度快慢與否對(duì)整個(gè)測(cè)試平臺(tái)的性能將產(chǎn)生重大影響。上述潛在的技術(shù)風(fēng)險(xiǎn)可能導(dǎo)致的后果是測(cè)試工具針對(duì)大規(guī)模的實(shí)際應(yīng)用程如何避免上述風(fēng)險(xiǎn)。7、分年度的工作內(nèi)容、目標(biāo)(1)20XX年7月—20YY年12月的研究工作：?研究C/C++程序靜態(tài)分析模型；?設(shè)計(jì)C/C++程序靜態(tài)分析原型程序的總體結(jié)構(gòu)；?研究C/C++程序基于分支覆蓋測(cè)試方法的測(cè)試用例集生成算法。(2)20XX年1月—20YY年6月的研究工作：?設(shè)計(jì)基于分支覆蓋測(cè)試方法的測(cè)試用例集生成原型程序；?研究C/C++程序動(dòng)態(tài)執(zhí)行檢測(cè)技術(shù)；?設(shè)計(jì)C/C++程序動(dòng)態(tài)執(zhí)行檢測(cè)原型程序的總體結(jié)構(gòu)。(3)20XX年7月—20YY年12月的研究開發(fā)工作：C/C++程序靜態(tài)分析原型程序的開發(fā)：在上一年度年對(duì)C/C++程序靜態(tài)C/C++程序靜態(tài)分析原型程序；C/C++程序動(dòng)態(tài)執(zhí)行檢測(cè)原型程序的開發(fā)：在20XX年對(duì)C/C++程序動(dòng)C/C++程序動(dòng)態(tài)執(zhí)行檢測(cè)原型程序；?研究C++程序類測(cè)試模型；設(shè)計(jì)C++程序類測(cè)試原型程序的總體結(jié)構(gòu)。(4)20XX年1月--20XX年6月的研究開發(fā)工作：?研究基于VisualC++的軟件測(cè)試模型；?完成了對(duì)C/C++/VC++的測(cè)試原型系統(tǒng)的開發(fā)；?對(duì)項(xiàng)目進(jìn)行總結(jié)，整理材料、準(zhǔn)備驗(yàn)收。8、申請(qǐng)單位、合作申請(qǐng)單位及主要人員的分工JXC/C+分支覆蓋測(cè)試方法的測(cè)試用例集生成、動(dòng)態(tài)執(zhí)行檢測(cè)技術(shù)以及C+用例自動(dòng)生成等部分的研發(fā)工作。合作單位HZ科技大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院主要負(fù)責(zé)協(xié)作進(jìn)行總體設(shè)計(jì)、C/C++程序靜態(tài)分析、C++程序類測(cè)試驅(qū)動(dòng)器實(shí)現(xiàn)等部分的工作。項(xiàng)目主要參加人員的分工如下：測(cè)試?yán)碚撆c系統(tǒng)總體設(shè)計(jì)：XXX；程序靜態(tài)與動(dòng)態(tài)分析技術(shù)的研究：XXX；(3)測(cè)試用例的自動(dòng)生成：XX(4)系統(tǒng)實(shí)現(xiàn)：XX9、組織及管理的運(yùn)行機(jī)制小組人員開展研究，XXX作為項(xiàng)目系統(tǒng)實(shí)現(xiàn)階段的技術(shù)負(fù)責(zé)人；合作單位的研XXXXXXXXX122管理。10、相關(guān)依托工程（含技術(shù)）的落實(shí)情況HB20XX6程序測(cè)試技術(shù)研究和面向方面軟件測(cè)試技術(shù)研究已分別申請(qǐng)20XX年度省教育20XXJX11、有關(guān)本項(xiàng)目的國(guó)內(nèi)外知識(shí)產(chǎn)權(quán)狀況分析目前國(guó)外已經(jīng)出現(xiàn)一些商業(yè)化或開源的軟件測(cè)試工具，主要包括：(1)結(jié)構(gòu)Cantata+、QC/Yeplay、YationalSuitPeYfoYmanceStudio、VisualBugz、TestManageY等。上述工具主要運(yùn)用上世紀(jì)80年代形成的一些過(guò)于基本的技術(shù)。J等面向?qū)ο蟪绦蛘归_研究，研制出了QESATJava兩款軟件分析與測(cè)試工具；JSWH出軟件質(zhì)量保證支撐系統(tǒng)SQAS。但這兩款原型工具主要處理單元級(jí)別(即方法級(jí))的測(cè)試，較高層次的結(jié)構(gòu)性測(cè)試則相對(duì)涉及較少，在基于狀態(tài)的類測(cè)試等方面也沒(méi)有實(shí)現(xiàn)。三、市場(chǎng)分析1、市場(chǎng)預(yù)測(cè)（含同類項(xiàng)目的國(guó)內(nèi)外市場(chǎng)情況）目前國(guó)內(nèi)軟件測(cè)試工具銷售市場(chǎng)主要是國(guó)外產(chǎn)品占據(jù)絕對(duì)優(yōu)勢(shì)，特別以IBMYationalWebLoad以承擔(dān)的。雖然開源的測(cè)試工具(例如JUnit、NUnit等)能在一定程度上緩解上述壓力，但開源工具一般僅能支持小型應(yīng)用且往往局限于單元測(cè)試。的發(fā)展起到積極的促進(jìn)作用。2、本項(xiàng)目的市場(chǎng)競(jìng)爭(zhēng)優(yōu)勢(shì)、風(fēng)險(xiǎn)及市場(chǎng)策略正如本項(xiàng)目創(chuàng)新點(diǎn)所闡述的那樣，其市場(chǎng)競(jìng)爭(zhēng)優(yōu)勢(shì)主要表現(xiàn)在：除對(duì)一般過(guò)程式程序展開結(jié)構(gòu)性和功能性測(cè)試外，還能實(shí)施面向?qū)ο蟪碳夹g(shù)最為突出。較少。分測(cè)試資源(如用例)的重用。(CFG圖)顯示、狀態(tài)轉(zhuǎn)換圖繪制等界面。較大的局限性，所以對(duì)整個(gè)市場(chǎng)的影響不至于太大。在市場(chǎng)推廣上我們將積極主動(dòng)的和國(guó)內(nèi)中小型軟件開發(fā)企業(yè)進(jìn)行聯(lián)系與合期維護(hù)服務(wù)費(fèi)。3、經(jīng)濟(jì)社會(huì)效益分析20XX年底，美國(guó)國(guó)家標(biāo)準(zhǔn)技術(shù)研究所(NIST)的統(tǒng)計(jì)報(bào)告指出，美國(guó)一年由60起經(jīng)濟(jì)損失的三分之一(22益。4、推廣應(yīng)用及產(chǎn)業(yè)化分析們的業(yè)務(wù)需求。旦我們的技術(shù)與原型系統(tǒng)工具比較成熟時(shí)，將會(huì)有很好的融資或合作開發(fā)的機(jī)會(huì)，從而使本項(xiàng)目的研究成果較好地走上產(chǎn)業(yè)化發(fā)展道路。四、經(jīng)費(fèi)預(yù)算及籌措方案1、經(jīng)費(fèi)預(yù)算（總投資）64萬(wàn)元。2、新增投資JX財(cái)經(jīng)大學(xué)軟件學(xué)院軟件測(cè)試技術(shù)研究所和HZ科技大學(xué)計(jì)算機(jī)學(xué)院數(shù)據(jù)庫(kù)與軟件工程實(shí)驗(yàn)室在科研設(shè)備儀器和研發(fā)人員配備方面將提供全方位的支持。3、籌措方案及相關(guān)證明在自籌經(jīng)費(fèi)方面，將從項(xiàng)目申報(bào)人的科研啟動(dòng)經(jīng)費(fèi)(7萬(wàn)元)中劃撥2萬(wàn)元用于該項(xiàng)目的研發(fā)。此外，一旦本項(xiàng)目申報(bào)成功JX財(cái)經(jīng)大學(xué)及其下屬軟件學(xué)院將根據(jù)學(xué)校(學(xué)院)科研獎(jiǎng)勵(lì)辦法提供配套的科研經(jīng)費(fèi)支持。4、申請(qǐng)經(jīng)費(fèi)的主要用途費(fèi)用名稱 申請(qǐng)經(jīng)費(fèi) 備注設(shè)備、儀器購(gòu)置費(fèi)1萬(wàn)元購(gòu)買計(jì)算機(jī)等科研設(shè)備材料、樣品加工費(fèi)0.5萬(wàn)元土建安裝費(fèi) 0萬(wàn)元

購(gòu)買實(shí)驗(yàn)用被測(cè)程序、低值易耗品等費(fèi)用資料、調(diào)研費(fèi) 0.5萬(wàn)元用實(shí)驗(yàn)、檢測(cè)費(fèi) 1.5萬(wàn)元

購(gòu)買學(xué)術(shù)、圖書資料；到軟件開發(fā)企業(yè)調(diào)研等費(fèi)測(cè)試工具原型平臺(tái)的開發(fā)費(fèi)用鑒定費(fèi)0.2萬(wàn)元 用于項(xiàng)目鑒定的準(zhǔn)備、項(xiàng)目查新等費(fèi)用技術(shù)合作費(fèi) 0萬(wàn)元其它費(fèi)用 0.3萬(wàn)元 用于項(xiàng)目管理、項(xiàng)目開發(fā)實(shí)驗(yàn)室水、電分?jǐn)偟荣M(fèi)用合計(jì) 4萬(wàn)元5、分年度用款計(jì)劃（含申請(qǐng)經(jīng)費(fèi)）20XX至20YY年度，使用申請(qǐng)經(jīng)費(fèi)2萬(wàn)元，使用自籌經(jīng)費(fèi)0.5萬(wàn)元,共計(jì)2.5萬(wàn)元；20XX至20YY年度，使用申請(qǐng)經(jīng)費(fèi)2萬(wàn)元，使用自籌經(jīng)費(fèi)