基于模型的测试框架Pymodel介绍

前言

开源框架PyModel可以实现基于模型的测试。下面简单介绍一下它的使用方法。

Windows系统安装步骤

1、直接clone到本地目录：

git clone git@github.com:jon-jacky/PyModel.git

2、进入clone下来的目录中，在PyMode文件夹下，执行安装命令：

python setup.py install
安装到此就算完成了。但是每次执行测试命令先都得cd到PyMode\bin 目录下，执行命令pymodel_paths

然后才可以在这个windows终端中执行PyMode的各种测试命令。

比如cd到sample目录下的具体项目目录下，执行trun test 来执行示例中的测试。推荐查看samole目录下的Socket示例。

PyModel中包含的几个主要程序：pmt、pma、pmg、pmv

pmt：生成用例和跑用例

pmt的参数用法，可以在命令行中执行pmt -h 查看

pmt可以执行两种类型的测试：offline testing 和 on-the-fly testing

offline testing：测试的顺序和结果都是事先确定好的，一般的单元测试工具提供的都是这种类型的测试。

on-the-fly testing：需要Controllable actions（能被pmt调用到的:比如在Socket示例中的send_call和recv_call）和Observable actions（不能被pmt调用，是被被测系统调用，然后传回来。比如Socket示例中的send_return和recv_return)

pma:根据模型生成有限状态机（FSM）
pmg:根据FSM（通常由pma）来生成一个.dot文件，文件里是画图语言，后续生成图片用。

pmv:调用pma、pmg和dot命令，让分析和显示可以用一个命令完成。

怎么使用PyModel写测试？

1、实现模型程序：

示例：https://github.com/jon-jacky/PyModel/blob/master/samples/Socket/msocket.py

• action函数：会定义一些action函数，表示系统的某项操作；

• actionA_enable函数：返回True or False 定义某个action能被操作的条件；

• state：一个元组，元素是被测系统的状态；

• actions：一个元组，元素action函数；

• cleanup:一个元组，元素是部分action函数，做清理操作用的；

• enablers:一个字典，定义了action和相应action_enable函数之间的关系，当需要执行action函数前都得确保与之相对应的action_enable函数返回True才可以；

• domain：一个字典，限制了各个action的参数取值

• Accepting函数：返回True or False.定义系统是否处于可接受状态，在跑测试的时候测试结束条件可以用到。

• Reset函数:重置状态

2.实现Test Harness/Steper/adapter

示例https://github.com/jon-jacky/PyModel/blob/master/samples/Socket/stepper_d.py

test_action：根据具体传入的函数名字和参数，在被测系统上做相应操作。

3.定义Observable actions

示例：https://github.com/jon-jacky/PyModel/blob/master/samples/Socket/observables.py

4.写执行具体测试命令的文件，比如叫test.py：

示例：https://github.com/jon-jacky/PyModel/blob/master/samples/Socket/test.py

主要就是调用pmt命令来执行测试

最后使用 trun xxx即可执行测试（xxx即4中的文件名称）。

另外还可以写一些限制和复杂的选择策略来丰富测试。

后记

本文主要介绍了基于模型的测试pymodel的具体使用方法，可以使用它来落地实现基于模型的测试，给自动化测试带来一些新的尝试。