任何人都可以推薦任何具有驗證的UML工具

Question

不幸的是，我不熟悉UML（還），我不知道標準工具中的驗證是什麼。但在閱讀this之後，似乎缺少驗證，所以我要求SO提供建議。

我希望找到的東西一樣

• 邏輯不一致
• 斷開的部分（島）
• 可達部件（例如一個狀態只能從過渡）
• 缺失的情況下（一個項目定義爲3個轉換，但僅使用2個）
• 我不知道的其他事情，但有人習慣了UML會想要的。

Answer 1

如果您使用Visual Studio，則可以嘗試VS 2010 Ultimate的RC版本。您可以爲.NET代碼生成依賴關係圖，以查找斷開連接或無法訪問的代碼。您可以從依賴關係圖或現有構件創建圖層圖，繪製允許的依賴關係，然後使用圖層驗證來確保不引入無效依賴關係。該版本還包括5個UML圖：類，組件，序列，用例和活動。

如何從代碼生成圖表文件：http://msdn.microsoft.com/en-us/library/dd409453%28VS.100%29.aspx#SeeSpecificSource

您可以使用Visual Studio Ultimate中，探索通過 生成有向圖文檔現有代碼的關係和組織。這些圖表示代碼元素及其關係 作爲由鏈接或邊緣連接的一組節點。您可以使用這些圖表幫助您可視化，瀏覽和分析代碼。

如何：查找代碼使用架構瀏覽：http://msdn.microsoft.com/en-us/library/dd409431%28VS.100%29.aspx

您可以選擇您要使用 架構瀏覽器可視化的垂直部分或代碼「切片」。您可以瀏覽Visual Studio解決方案中的源代碼，或者在.dll文件或.dll文件中編譯的託管代碼 。exe文件。您可以使用體系結構瀏覽器通過安裝其他提供程序來瀏覽 其他域。當您找到想要的代碼時，您可以生成圖形來探索代碼中的關係。

如何創建從文物分層圖：http://msdn.microsoft.com/en-us/library/dd465141%28VS.100%29.aspx

...使用分層圖可視化系統的高級架構和驗證 代碼與此相符設計。要執行此任務，請將Visual Studio解決方案中的 工件組織並關聯到邏輯，抽象組或層中。這些圖層 描述了這些工件執行的主要任務或系統的主要組件。各層之間的箭頭 表示這些工件之間存在或應該存在的相互依賴性。爲了對代碼實施架構約束，請描述圖上的預期依賴關係，然後根據圖驗證代碼。通過以這種方式使用層次圖，可以幫助使代碼更易於理解，重用和維護。

Layer Diagram http://i.msdn.microsoft.com/Dd465141.UML_LayerRefReading(en-us,VS.100).png

如何：驗證碼針對分層圖：http://msdn.microsoft.com/en-us/library/dd409395%28VS.100%29.aspx

驗證碼針對分層圖可以幫助您執行的代碼 建築約束它的發展。執行此任務時，代碼中的依賴關係將與圖上的依賴關係 進行比較。

RC下載：http://www.microsoft.com/downloads/details.aspx?displaylang=en&FamilyID=457bab91-5eb2-4b36-b0f4-d6f34683c62a。

Visual Studio 2010的體系結構發現&建模工具論壇：http://social.msdn.microsoft.com/Forums/en-US/vsarch/threads

Answer 2

不，我不知道有任何UML工具可以做這些事情。我爲我的僱主做了一個相當近期的工具調查，但我沒有看到任何這樣的功能。

當然，您意識到您所要求的高級功能。你寫就好像你期望這些是常見的一樣。

Answer 3

我可以指出一些研究原型工具，專門爲驗證和類圖的驗證帶有或不帶有OCL約束（例如我自己的驗證工具http://gres.uoc.edu/UMLtoCSP/或http://www.db.informatik.uni-bremen.de/projects/USE/），但 這些工具只是：研究工具（這意味着所有的限制）。

我並沒有真正意識到任何提供高級驗證/驗證功能的商業CASE工具。

Answer 4

Sparx Enterprise Architect做了很多驗證。我不知道它是否全部都做到了。