基于模型的测试工具fMBT的入门介绍

安装完成后打开软件，其GUI如下：

不难看出，这是一个可以通过编程得到模型图形化展示的软件。

以最简单的登录功能为例子，编写模型（实践中发现，action命名需要以i开头，否则会出现报错）：

language "Python" {}variables { is_login }initial_state { is_login = False }
action "iLogin" {    guard() { return is_login == False }    model() { is_login = True }}
action "iPost" {    guard() { return is_login == False }}
action "iWork" {    guard() { return is_login == True }}
action "iLogout" {    guard() { return is_login == True }    model() { is_login = False }}
action "iRead" {    guard() { return is_login == False }}

生成的模型图形：

此时自动生成的用例为：

若在编程过程中存在错误则图形会飘红：