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

前言

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

Windows系统安装步骤

1、直接clone到本地目录:

git clone [email protected]: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的具体使用方法,可以使用它来落地实现基于模型的测试,给自动化测试带来一些新的尝试。

你可能感兴趣的:(基于模型的测试框架Pymodel介绍)