軟件測試開發技術UML環境使用建模工具建模

發表于:2009-10-28來源:作者:點擊數: 標簽:
軟件測試 開發 技術UML環境使用建模工具建模 UML模型 關鍵字:UML 建模工具 ·使用建模工具建模 在實際的系統中模型需要工具支持,工具提供了觀察和編輯模型的交互方式。工具提供了一層超出UML自身作用域的組織,可以幫助用戶理解并獲得信息。通過搜索和過濾

軟件測試開發技術UML環境使用建模工具建模UML模型

關鍵字:UML 建模工具 · 使用建模工具建模 

在實際的系統中模型需要工具支持,工具提供了觀察和編輯模型的交互方式。工具提供了一層超出 UML 自身作用域的組織,可以幫助用戶理解并獲得信息。通過搜索和過濾已經存在的資料,工具有助于在大型模型中查找信息。 

· 工具問題 
工具處理模型的物理組織和存儲。它必須支持一個項目的若干工作組同時工作,以及支持跨越多個項目的重用。以下幾點問題超出了規范的 UML 的作用域,但在運用實際工具中必須予以考慮。 

* 二義性和未詳盡說明的信息 在初期階段,許多事物不能用語言表達。工具必須能夠調整模型的精確性并且不能強迫每個值都要進行詳細說明??蓞⒖匆韵聝尚」?。 

* 表示選項 用戶不想在任何時候都看到所有的信息。工具必須能夠過濾和隱藏那些某一時間不需要的信息。工具還要通過顯示器硬件的功能提供交替的可視化支持。這一點已經在 12.3 節講過了。 

* 模型管理 模型單元的配置控制、訪問控制和版本超出了 UML 的作用域,但是它們對于軟件工程過程十分重要,并且位于元模型的上層。 

* 與其他工具的接口 模型需要由代碼生成器、規格計算機、報表書寫器、執行引擎和其他后臺工具處理。其他工具所需要的信息要包含到模型中,但這不是 UML 信息。標記值適合保存這些信息。 

· 工作進展過程中產生的不一致模型 
建模的最終目標是生成一定細化層次的系統描述。最后的模型必須滿足不同的有效性約束才有意義。但是,正如許多創造性的過程一樣,結果不必以線性方式產生,中間產品不必每一步都滿足所有的有效性約束。實際上,一個工具不僅要處理語義上滿足有效性約束的模型,還要處理在句法上有效的模型,這些模型滿足一定的構造規則但可能會違背一些有效性約束。語義上無效的模型不能直接使用。相反,它們可以看作是通向最終目標的進展中的工作。 

· 空值和未詳細說明的值 
一個完整的模型包含了它的所有元素的所有屬性值。在許多情況下空值(無值)是一種可能出現的值,一個值是否可能為空是屬性類型描述的一部分。例如,空值對集合大小的上 限沒有意義。有的集合有固定的大小,有的則沒有固定的上限值,在這種情況下,集合的大小是無限的,所以具有空值與否實際上取決于一種數據類型的可能值的范圍。 

   另一方面,在設計的早期,開發者也許沒有注意到特殊特性的值。在特定的階段,這個值可能沒有意義,如建立領域模型時的可視性?;蛘?,這個值有含義但建模者還未詳細說明它,開發者應當記住它仍然需要細化。這種情況下,這個值是沒有詳盡說明的,這表示一個值最終是需要的但目前還沒有被詳細說明。它和空值不同,空值在最終模型里是合法值。許多情況下,特別是字符串中,空值是表示一個未被詳盡說明的值的好方法,但并非全是這樣。未被詳細說明的值在結構完善的模型中是無意義的, UML 定義不處理沒有詳細說明的值。這是支持 UML 的工具的職責 , 也是處于進展中的沒有語義的工作模型的一部分。 

原文轉自:http://www.anti-gravitydesign.com

国产97人人超碰caoprom_尤物国产在线一区手机播放_精品国产一区二区三_色天使久久综合给合久久97