2015-01-07 38 views
1

我是新的Visual Studio規範瀏覽器,需要一些關於鏈接圖像的幫助(http://i.msdn.microsoft.com/dynimg/IC432170.gif)任何人都可以向我解釋不同的狀態如何被編號?例如,從S0到S3和從S3到S9。編號如何工作?從3躍升至9規格資源管理器狀態編號

任何幫助將不勝感激,謝謝提前

+0

圖片從鏈接的頁面(這一個:http://msdn.microsoft.com/en-us/library/ee922549.aspx)表示「具有相同累加器值的狀態被合併」,所以更可能是爲不同的累加器值創建狀態(從0開始計數),但只顯示那些具有不同累加器值(通過不同路徑將圖連接到相同狀態)的狀態,而不是分別顯示不同的狀態和路徑 – Jcl

回答

1

下「 - >規格資源管理器 - >視圖定義 - >新建」,在Visual Studio中menue您可以添加一個新的視圖。在這個新視圖中,您可以禁用「ViewCollapseSteps」。現在你會在圖中看到更多的狀態(15):還顯示了狀態「S1」,「S2」,「S4」,「S5」等等(你錯過的那些狀態)。

原因是,現在每個轉換都被分成確定性的「調用」和非確定性的「返回」 - 部分。此視圖有時可能很有用 - 您還可以在模型代碼中分割您的規則方法。現在你也瞭解了圖的圖例中狀態和步驟的計數。