基于EFSM規(guī)格說明的測試數(shù)據(jù)生成效率——因素模型分析.pdf

1、北京化工大學(xué)位論文原創(chuàng)性聲明本人鄭重聲明：所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨立進行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的作品成果。對本文的研究做出重要貢獻的個人和集體，均己在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。作者簽名：i三墾日期：?！軶l0、心、∑‘關(guān)于論文使用授權(quán)的說明學(xué)位論文作者完全了解北京化工大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，即：研究生在

2、校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)單位屬北京化工大學(xué)。學(xué)校有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，允許學(xué)位論文被查閱和借閱；學(xué)?？梢怨紝W(xué)位論文的全部或部分內(nèi)容，可以允許采用影印、縮印或其它復(fù)制手段保存、匯編學(xué)位論文。保密論文注釋：本學(xué)位論文屬于保密范圍，在上年解密后適用本授權(quán)書。非保密論文注釋：本學(xué)位論文不屬于保密范圍，適用本授權(quán)書。作者簽名：l二壁日期：魚翌：笪：堅導(dǎo)師簽名：當(dāng)卑耄日期：叢z』：芝上：幺匕摘要基于EFSM

3、規(guī)格說明的測試數(shù)據(jù)生成效率因素模型分析摘要二十一世紀(jì)，計算機產(chǎn)業(yè)的發(fā)展是信息化過程中不可或缺的部分。隨著軟件產(chǎn)業(yè)的不斷發(fā)展和進步，軟件的需求越來越復(fù)雜，規(guī)模也越來越龐大。為滿足軟件功能、性能等要求，軟件質(zhì)量已成為軟件工業(yè)界關(guān)注的重點。軟件測試是保證軟件質(zhì)量的重要手段，隨著軟件復(fù)雜性和規(guī)模不斷增大，測試生成成本也相應(yīng)增加，軟件測試數(shù)據(jù)自動生成己成為軟件測試的研究熱點之一。形式規(guī)格說明是對軟件功能簡要而嚴(yán)謹?shù)拿枋龇椒?。EFSM(Extend

4、edFiniteStateMachine)是一種使用廣泛的形式規(guī)格說明，可用來描述面向?qū)ο筌浖懈鱾€對象的方法和它們之間的交互。基于形式規(guī)格說明，可以對面向?qū)ο筌浖M行很好的功能描述。測試數(shù)據(jù)生成成本是衡量測試數(shù)據(jù)生成效率的重要指標(biāo)，為探討影響測試數(shù)據(jù)生成成本的主要路徑因素以及路徑因素對測試數(shù)據(jù)生成成本的影響程度，本文進行若干EFSM規(guī)格說明的路徑測試生成效率因素分析，鑒于路徑因素對測試數(shù)據(jù)生成成本的影響可能呈線性或者非線性的關(guān)系，本文