PyModel

PyModel在Python一个开源的基于模型的测试框架。
在单元测试中，程序员的代码测试的情况下，也代码断言检查每个测试用例是否通过。在基于模型的测试，编程代码的“模式”，产生尽可能多的测试用例，根据需要，也充当了检查情况的​​神谕。
基于模型的测试，建议在需要那么多的测试用例，它不是用手工编码它们所有可行的。测试显示出历史的依赖性和确定性，使很多变化（数据值的交错等）的行为时，每个场景应该测试（或用例），这就需要出现。实例包括通信协议，网络应用程序，控制系统，和用户界面。
PyModel支持在即时检测，可产生无限长的非重复试验的测试运行的执行方式。 PyModel可以专注测试用例对由组成，一个通用的技术，通过同步共享的行动和非共享的交织融合行动车型感兴趣的场景。 PyModel可以根据由程序员编码可编程策略指导测试覆盖率。
PyModel提供了三个方案：
- pma.py pymodel分析：生成一个有限状态机（FSM），并通过探索模型程序计算性能，密克罗尼西亚联邦，测试套件，或它们的产品。
- pmg.py pymodel显卡：图形生成命令的文件从一个FSM。
- pmt.py pymodel仪：显示迹线，离线生成的测试中，执行离线测试，或产生和即时执行测试。
使用PMA和PMG来可视化和预览PMT的行为。通过PMA创建（和由PMG画）图中每个路径是一个跟踪（测试运行），其可以由PMT产生，当PMA和PMT使用相同参数调用。
PyModel由NModel的影响，但不是翻译或重新实施

要求：

• 在Python的