模板
教程
環境
性能
功能
管理
使用NModel自動生成測試用例(3)
上面的代碼稍微解釋一下，標注了[Action]的函數，就是抽象出來的程序所支持的動作，例如Logout;而在動作函數名后面加上Enabled的函數，是NModel用來判定指定的動作是否可以執行，例如LogoutEnabled函數。
Feature屬性，我們現在不講，NModel用這個屬性來標識一個大的功能。
另外要注意的是，在NModel里面，集合Set、Map是不可變的，即創建好了以后，就不能從里面刪除和添加新元素了。每一次修改都會創建一個新的Set、Map實例。所以你會看到類似下面的用法：
ActiveLoginRequests = ActiveLoginRequests.Add(user, LoginStatus.Success);
最后，你需要采用一個工廠模式的方式，告訴NModel分析哪一個Feature，創建測試用例
|
public class WebSiteModel { public static ModeState State = ModeState.Initializing;
public static ModelProgram CreateLoginModel() { return new LibraryModelProgram(typeof(WebSiteModel).Assembly, "TrainMode", new Set<string>("Login")); }
[Action] public static void Initialize() { State = ModeState.Running; }
public static bool InitializeEnabled() { return State == ModeState.Initializing; }
public static Set<User> UsersLoggedIn = Set<User>.EmptySet; } |
編譯通過以后，先用NModel提供的圖形化模型驗證工具查看一下生成的模型是否正確。NModel自帶的 mpv.exe是用來驗證模型的，但是 mpv.exe使用到一個圖形布局程序GLEE需要單獨下載，下載后，將Microsoft.GLEE.*.dll拷貝到NModel的bin文件夾里，就可以執行mpv.exe了。
原文轉自：http://www.uml.org.cn/Test/201005051.asp
