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了。
文章来源于领测软件测试网 https://www.ltesting.net/
