針對變化性的軟體構件測試方法研究

《針對變化性的軟體構件測試方法研究》是依託昆明理工大學，由姜瑛擔任項目負責人的地區科學基金項目。

基本介紹

• 中文名：針對變化性的軟體構件測試方法研究
• 項目類別：地區科學基金項目
• 項目負責人：姜瑛
• 依託單位：昆明理工大學

項目摘要

在基於構件的軟體開發（CBSD）中，構件變化是不可避免的。變化性是CBSD有別於其它軟體開發范型的主要特性之一。構件應該具備適應變化的能力，才能提高復用效率。構件的變化性直接體現在其接口和實現體上，為了測試變化後的構件，需要建立構件規約、變化信息和測試信息之間的對應關係，從測試的角度定義、分析和處理變化性。本項目將研究針對變化性的軟體構件測試方法。首先，分析構件接口和實現體的內容及結構，定義構件描述規約及變化類型；其次，針對特定變化，根據構件的內部和外部關係進行變化依賴分析，確定變化傳播的範圍，度量變化影響；最後，基於變化影響分析的結果，結合變化前的構件測試信息，根據規約與測試信息間的關係，提出測試信息生成、復用及測試充分性度量方法。同時，設計並實現相應的支撐工具，以有效地提高構件變化後的測試效率和質量，從而在整體上減少構件復用成本，保證構件復用質量。

結題摘要

在基於構件的軟體開發（CBSD）中，構件變化是不可避免的。變化性是CBSD有別於其它軟體開發范型的主要特性之一。構件應該具備適應變化的能力，才能提高復用效率。構件的變化性直接體現在其接口和實現體上，主要的變化包括僅修改構件接口、僅修改構件實現體、同時修改構件接口和實現體。本項目研究如何表示構件的變化，構件發生變化後如何分析與控制構件變化的影響，如何利用已有的構件測試信息對變化後的構件進行測試，並對構件質量給出客觀評價。首先，提出了構件描述規約的元模型，由構件規約、構件變化規約及構件測試規約組成。基於元模型中的構件規約，針對構件的三種主要變化提出了構件接口變化運算元和構件實現體變化運算元。其次，提出了包括規約、實現兩個抽象層次的構件依賴模型，體現了構件接口和實現體元素間的關聯、層次、依賴等關係，定義了構件接口及實現體之間不同元素間的影響範圍及分析規則，對於相同抽象層次和不同抽象層次上的變化分別確定變化的影響程度。然後，提出了基於本體的構件測試信息描述，通過分析變化前後規約的差異和變化對構件的影響，針對不同變化的重要程度，在變化前構件基本路徑集的基礎上選擇變化後構件的測試信息，以實現測試信息的復用。使用契約變異充分度與變化路徑覆蓋率作為測試充分性度量準則，提出了構件評價的模型和方法。最後，設計、實現了針對變化性的構件測試的原型工具和集成環境，進行了Web Services、Java及C++等多種構件的實驗。實驗結果表明，本項目的研究提供了構件變化影響分析的有效機制，測試方法可以較好地降低變化後構件的測試代價，從而在整體上提高構件復用效率和質量。