2011軟件水平考試軟件測評師測試技術(shù)輔導(dǎo)(6)

　　Feature屬性，我們現(xiàn)在不講，NModel用這個屬性來標(biāo)識一個大的功能。

　　另外要注意的是，在NModel里面，集合Set、Map是不可變的，即創(chuàng)建好了以后，就不能從里面刪除和添加新元素了。每一次修改都會創(chuàng)建一個新的Set、Map實(shí)例。所以你會看到類似下面的用法：

　　ActiveLoginRequests = ActiveLoginRequests.Add(user, LoginStatus.Success);

　　最后，你需要采用一個工廠模式的方式，告訴NModel分析哪一個Feature，創(chuàng)建測試用例

　　public class WebSiteModel

　　{

　　public static ModeState State = ModeState.Initializing;

　　public static ModelProgram CreateLoginModel()

　　{

　　return new LibraryModelProgram(typeof(WebSiteModel).Assembly,

　　"TrainMode", new Set("Login"));

　　}

　　[Action]

　　public static void Initialize()

　　{

　　State = ModeState.Running;

　　}

　　public static bool InitializeEnabled() { return State == ModeState.Initializing; }

　　public static Set UsersLoggedIn = Set.EmptySet;

　　}

　　編譯通過以后，先用NModel提供的圖形化模型驗(yàn)證工具查看一下生成的模型是否正確。NModel自帶的mpv.exe是用來驗(yàn)證模型的，但是 mpv.exe使用到一個圖形布局程序GLEE需要單獨(dú)下載，下載后，將Microsoft.GLEE.*.dll拷貝到NModel的bin文件夾里，就可以執(zhí)行mpv.exe了。

　　使用下面的命令查看生成的模型：

　　"d:\Program Files\NModel\bin\mpv.exe" /r:TrainMode.dll TrainMode.WebSiteModel.CreateLoginModel

　　生成的模型應(yīng)該如下圖所示：

　　下圖是放大后的結(jié)果：

　　如果查看模型以后，覺得沒有問題，就可以生成測試用例了，這里先生成手工的測試用例，下一篇再介紹如何生成自動化的測試用例。

　　2010年下半年軟考成績查詢時(shí)間及方式匯總

　　2011年上半年計(jì)算機(jī)軟考時(shí)間及科目安排

　　2011年軟件水平考試軟件測評師基礎(chǔ)知識輔導(dǎo)匯總

　　2011軟考軟件測評師測試技術(shù)輔導(dǎo)匯總