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

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

2、校攻讀學位期間論文工作的知識產權單位屬北京化工大學。學校有權保留并向國家有關部門或機構送交論文的復印件和磁盤，允許學位論文被查閱和借閱；學校可以公布學位論文的全部或部分內容，可以允許采用影印、縮印或其它復制手段保存、匯編學位論文。保密論文注釋：本學位論文屬于保密范圍，在上年解密后適用本授權書。非保密論文注釋：本學位論文不屬于保密范圍，適用本授權書。作者簽名：l二壁日期：魚翌：笪：堅導師簽名：當卑耄日期：叢z』：芝上：幺匕摘要基于EFSM

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

4、edFiniteStateMachine)是一種使用廣泛的形式規(guī)格說明，可用來描述面向對象軟件中各個對象的方法和它們之間的交互?；谛问揭?guī)格說明，可以對面向對象軟件進行很好的功能描述。測試數據生成成本是衡量測試數據生成效率的重要指標，為探討影響測試數據生成成本的主要路徑因素以及路徑因素對測試數據生成成本的影響程度，本文進行若干EFSM規(guī)格說明的路徑測試生成效率因素分析，鑒于路徑因素對測試數據生成成本的影響可能呈線性或者非線性的關系，本文