Language agnostic 有人能推荐任何带有验证的UML工具吗

不幸的是，我还不熟悉UML，也不知道标准工具中有哪些验证。但在阅读后，它似乎是缺乏验证，所以我要求如此的建议

我希望它能找到像这样的东西

• 逻辑不一致
• 断开的零件（孤岛）
• 不可访问的部分（例如，只有来自转换的状态）
• 缺少案例（一个项目定义了3个转换，但只使用了2个）
• 其他我不知道但习惯UML的人会想要的东西

  ---

不，我不知道有任何UML工具可以做这些事情。我最近为我的雇主做了一次工具调查，我没有看到任何这样的功能

---

当然，您会意识到，您所要求的功能级别是多么高。你的写作就好像你期望这些是常见的一样。

我可以指出一些研究原型工具，特别是用于验证和验证有或没有OCL约束的类图（例如，我自己的验证工具或） 这些都是工具：研究工具（包括所有的限制）

---

我真的不知道有任何商业案例工具提供高级验证/确认功能

进行了大量的验证。我不知道它是否能实现所有功能。

如果您使用Visual Studio，您可能会尝试VS 2010 Ultimate的RC版本。您可以为.NET代码生成依赖关系图，以查找断开连接或无法访问的代码。您可以从依赖关系图或现有工件创建层关系图，绘制允许的依赖关系，然后使用层验证来确保不引入无效的依赖关系。这个版本还包括5个UML图：类、组件、序列、用例和活动

如何：从代码生成图形文档：

您可以使用VisualStudioUltimate通过 生成有向图文档。这些图表示代码元素及其关系 作为通过链接或边连接的一组节点。您可以使用这些图表来帮助您 可视化、探索和分析代码

如何：使用架构资源管理器查找代码：

您可以选择要使用可视化的代码的垂直部分或“切片” 架构浏览器。您可以在VisualStudio解决方案或 在.dll文件或.exe文件中编译托管代码。您可以使用“体系结构资源管理器”进行浏览 通过安装其他提供程序创建其他域。当你找到你想要的代码时 可视化，您可以生成图形来探索代码中的关系

如何：从工件创建图层图：

…使用层图来可视化系统的高级体系结构并验证 代码符合此设计。要执行此任务，请组织并关联 将VisualStudio解决方案中的构件分为逻辑、抽象组或层。这些层 描述这些工件执行的主要任务或系统的主要组件。箭 层之间表示这些层之间存在或应该存在的相互依赖关系 人工制品要对代码实施架构约束，请描述 然后根据图验证代码。通过在本例中使用层图 通过这种方式，您可以帮助使代码更易于理解、重用和维护

如何：根据层关系图验证代码：

根据层关系图验证代码有助于对代码实施体系结构约束 随着它的发展。执行此任务时，将代码中的依赖项与依赖项进行比较 在图表上

RC下载：

Visual Studio 2010体系结构发现和建模工具论坛：