2020軟件測試可行性研究報告

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

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

購買實驗用被測程序、低值易耗品等費用資料、調(diào)研費 0.5萬元用實驗、檢測費 1.5萬元

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