规范浏览器状态编号答案

【问题标题】：Spec explorer state numbering规范浏览器状态编号
【发布时间】：2015-03-05 08:59:34
【问题描述】：

我是 Visual Studio 规范资源管理器的新手，需要一些有关链接图像的帮助 (http://i.msdn.microsoft.com/dynimg/IC432170.gif) 谁能向我解释一下不同的状态是如何编号的？例如，从 S0 到 S3 以及从 S3 到 S9。编号是如何工作的？从 3 跳到 9。

任何帮助将不胜感激，在此先感谢您

【问题讨论】：

图片链接的页面（这个：msdn.microsoft.com/en-us/library/ee922549.aspx）表示states with the same accumulator value are merged，所以它更有可能为不同的累加器值创建状态（从0开始并向上计数），但只显示具有不同累加器值的那些（通过不同的路径将图连接到相同的状态），而不是分别显示不同的状态和路径

标签： c# visual-c#-express-2010

【解决方案1】：

在 Visual Studio 菜单中的“->Spec Explorer ->View Definitions ->New”下，您可以添加新视图。在这个新视图中，您可以禁用“ViewCollapseSteps”。现在您将在图表中看到更多状态 (15)：还显示状态“S1”、“S2”、“S4”、“S5”等（您错过的状态）。

原因是现在每个转换都分为确定性“调用”和非确定性“返回”部分。这个视图有时很有用——你也可以像在模型代码中那样拆分你的规则方法。现在您还了解了图表图例中状态和步骤的计数。

【讨论】：