[發明專利]一種用于建立軟件需求模型的系統及建立軟件需求模型的方法

無效

• 申請號: 201110323553.7
• 申請日: 2011-10-23
• 公開（公告）號: CN102364440A
• 公開（公告）日: 2012-02-29
• 發明（設計）人: 毋國慶;楊柏枝;劉冠
• 申請（專利權）人: 武漢珈宏騰科技有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 武漢凌達知識產權事務所(特殊普通合伙) 42221
• 代理人: 宋國榮

技術領域

本發明涉及一種用于建立軟件需求模型的系統及建立軟件需求模型的方法，屬于軟件開發技術和工具領域。

背景技術

隨著計算機應用的不斷發展和深入，人們需要收集和處理的信息規模急劇增大，其中計算機軟件在信息收集和處理中起著至關重要的作用。由于軟件已成為信息基礎設施并具備密集型特點，使得軟件一方面日益成為人們生活中的一部分，如電子政府、電子商務和手機等，人們也日益依賴軟件。另一方面，一些高尖端技術領域，如航空航天、國防軍事等領域，對軟件的質量提出了很高的要求。然而，軟件開發的開發狀況和質量遠未達到人們的期望和要求，例如大部分軟件產品不能在預期計劃和預算經費內完成以及軟件的質量低下等。雖然產生上述問題的原因有很多，但軟件需求問題可以說是其中的一個最大原因，許多的研究已經發現，當軟件開發項目失敗時，軟件需求問題通常正是核心問題。因此，在軟件開發過程中，必須極早和有效地發現和解決與軟件需求相關的問題。

需求建模在軟件需求分析中是十分重要的工作。需求建模主要是根據待開發軟件系統的需求利用某種建模方法建立該系統的邏輯模型（也稱需求模型），以明確待開發軟件系統“做什么”的問題。所謂模型就是為了理解事物而對事物做出的一種抽象，是對事物的一種無歧義的書面描述。軟件需求模型則是對軟件系統需求的抽象描述，并由文本、圖形符號或數學符號以及組織這些符號的規則形成。在軟件的實際開發中，為了更好地理解需求，特別是復雜的軟件系統的需求，軟件開發人員應從不同的角度分析待開發軟件系統的需求信息，使用精確的方法構造系統的模型，驗證模型是否滿足用戶的需求，并在設計過程中逐漸把與實現相關的細節加進模型，直至最終用程序實現模型。對于相當復雜而又難于理解的系統，特別需要進行需求建模。

為了建立軟件系統的需求模型，軟件開發人員使用了許多的建模方法。在目前的需求建模方法中，需求建模方法大部分是用圖形符號來描述需求模型，如統一建模語言（UML：Unified?Modeling?Language）等。雖然圖形的含義比較直觀和易理解，但其只能是一種半形式化的方法，缺乏嚴格的語義，并且存在隨意性等問題。另一方面，形式化的需求建模方法主要用嚴格的數學知識和符號來構造系統的需求模型，使得需求模型更加嚴密、無二義性和易于推理。但不足之處是概念符號過于抽象，需要具有較好的數學基礎和嚴格地專門訓練后才能掌握和使用，而且可能會增加軟件開發費用。作為形式化需求描述語言的典型代表作有Z方法和B方法等。因此，在上述需求建模方法的基礎上有必要研究和實現將文本表示的需求和由圖形或數學符號表示的需求模型結合起來，建立待開發軟件系統的需求模型，以檢測其需求中存在的問題。

發明內容

本發明目的是針對現有技術的不足，提供一種用于建立軟件需求模型的系統及建立軟件需求模型的方法。通過使用場景和視點技術，能夠為復雜軟件系統建立高質量的需求模型，為自動檢測軟件系統的需求是否正確和完整奠定了良好的基礎，而且能夠兼容一些其它的建模方法和技術，能通過需求模型分析和檢測軟件需求中存在的問題，從而降低待開發的復雜軟件需求建模的難度，減少研究成本，提高研究效率，最終獲得高質量的軟件，實現軟件開發的最佳技術和經濟的綜合效益。

本發明的用于建立軟件需求模型的系統技術方案是：

一種用于建立軟件需求模型的系統，它包括一個獨立的或是計算機內部建立的軟件需求信息處理器，還有輸入設備和輸出接口；所述軟件需求信息處理器包括：

一個軟件需求信息單元：用于存儲和確定待開發軟件的問題域的邊界和范圍，包括問題子單元，視點子單元和場景子單元；視點子單元有視點模板，該視點模板用于規定視點的描述內容，且一個視點模板由若干信息槽組成；所述視點是根據問題域進行標識和定義，視點是一個視點源根據其關注點和問題域而提出的需求信息的集合；

一個場景建立單元：用于根據對每一個與待開發軟件系統相關的視點建立視點場景；?

一個行為模型建立單元：所述行為模型包括視點行為模型和場景行為模型；用于分析有效行為間的執行關系，將所得的所有有效行為按其間的執行關系構成有序的行為系列，從而構建出視點中的場景；所述執行關系為順序、并行、確定選擇或非確定選擇；視點中的每一個場景，用行為描述語言將其中的每個有效行為描述為原子行為，最終構成場景行為模型；視點行為模型由若干場景行為模型聯接而成，所有視點行為模型構成初始的軟件需求模型；