軟件質量保障的若干技術研究.pdf

1、隨著軟件產業(yè)的快速發(fā)展，如何提高軟件企業(yè)的生產率，保證軟件產品質量成為軟件行業(yè)關注的焦點，同時又是理論研究的難點。為此，國際標準化組織和研究界分別制定了可以改進軟件過程，提高軟件質量的標準ISO9001和CMM/CMMI。ISO 9001提供了質量保證的基本要素，CMM提供過程改進的關鍵過程域及其實踐，然而真正的挑戰(zhàn)是如何實現一個能夠滿足這些標準并適用于公司的產品、服務和文化的軟件質量保證體系。本文圍繞質量保障這一主題，就質量保障的幾個

2、技術展開研究。 國際對象管理組織OMG(Object Management Group)推出的軟件過程工程元模型SPEM(Software Process Engineering Metamodel)，是用來描述一個具體的軟件開發(fā)過程或一族相關的軟件開發(fā)過程的元模型。然而它還不能滿足所有的過程建模的需要，如CMMI過程定義。為了能將SPEM用于CMMI過程建模，本文對SPEM進行了擴展，建立了基于MOF(Meta-Object

3、Facility，元對象設施)的SPEM重型擴展機制和基于UML Profile的SPEM輕型擴展機制，目的是既利用MOF的元建模能力，又要利用UML的表示能力及其CASE工具的支持。這種方式的CMMI建模，既能充分反映CMMI模型本身的語義，又能借用UML建模工具，使建模具有實際的可操作性。利用UML模型驅動架構(MDA)，可以將CMMI模型的建立和模型的實施分離開來，從而體現出建模的關注點和模型實施的關注點的分離。 軟件能力

4、成熟度模型集成CMMI由產品開發(fā)和維護活動的最佳實踐組成，覆蓋“概念-交付-維護”的整個產品生命周期。最新版本的CMMI V1.2集成了產品開發(fā)和維護所必須的基本知識，如軟件工程、系統(tǒng)工程、硬件工程和獲取工程。CMMI主要提出軟件組織在其軟件過程改進中應該“做什么”，至于“怎么做”，并沒有給出過多的描述。小組軟件過程TSP提出了軟件開發(fā)的8個腳本，每個腳本都包含具體的目標和實施步驟，且提供了過程產品的文檔類型與模板、角色類型和職責，是一

5、個易于操作的過程框架。本文在分析TSP對CMMI的特定實踐的覆蓋率的基礎上，總結兩種模型融合的成分及其融合渠道，將CMMI和TSP融合起來，加速基于CMMI軟件過程改進的實施，且基于J2EE技術，設計并實現一個基于TSP和CMMI模型融合的軟件質量保障平臺。 本文將軟件過程度量和過程產品度量相結合，提出一個新的度量模型GQ(I)M-D，解釋了該模型的元素語義及其相互關系，并將其用于過程度量的實踐。建立了一套軟件過程和過程產品可操

6、作的客觀度量指標，如變更、缺陷數目和類型、缺陷引入和消除的階段、檢查數、質量成本、錯誤成本、過程產量等，并利用統(tǒng)計技術，找到問題的歸屬原因，以達到量化的過程管理。統(tǒng)一建模語言UML的普遍應用，為過程產品客觀自動度量提供了可能性，介紹了UML模型和面向對象源代碼的度量指標和方法。設計并實現了一個用于軟件項目規(guī)模估計的源代碼統(tǒng)計工具。軟件測試是保證軟件質量的關鍵技術之一?；谝?guī)格說明的測試可以驗證程序實現是否符合系統(tǒng)需求，將測試提前到軟件需

7、求和設計階段，也可以將測試和實現同步進行，更加有效地保證軟件質量。統(tǒng)一建模語言UML成為事實上的面向對象軟件設計的標準，越來越多地作為軟件規(guī)格說明的描述語言。UML活動圖廣泛用于軟件需求和設計的建模?；赨ML活動圖的測試受到業(yè)界的普遍歡迎。UML2.0中活動圖不再是狀態(tài)圖的特例，其中存在并行、循環(huán)、異常處理、中斷處理、中央緩存區(qū)、流終結點等復雜結構，從UML活動圖自動生成完整的測試場景/用例成為一個難點。本文定義一組從UML活動圖生成

8、測試場景的測試覆蓋準則，提出了從UML活動圖自動產生測試場景的自適應Agent算法和系統(tǒng)的形式化方法；定義了一個描述UML活動圖的XML Schema，用于從UML建模工具生成的XMI、HTML、MDI等格式的文件中提取描述UML活動圖的XML文檔；設計并實現了一個從UML活動圖自動生成測試場景的工具系統(tǒng)原型--TSGAD. SPEM、CMMI和UML模型都在不斷演化，其版本也在不斷升級。本文討論的基于SPEM擴展的CMMI過程