PyModel Python中基于模型的测试

PyModel：Python中基于模型的测试PyModel是一个开源的基于模型的Python测试框架。在基于模型的测试中，您编写的模型可以根据需要生成尽可能多的测试用例。该模型还检查测试结果。基于模型的测试在需要大量测试用例以致于手动编码它们是不可行的情况下很有帮助。在PyModel包含的示例中，有网络套接字、通信协议、嵌入式控制器、一些数据结构、多线程应用程序和Web应用程序的模型和测试脚本。 PyModel包括一个用于验证模型、可视化其行为和检查其安全属性的分析器。 PyModel可以生成类似于单元测试的离线测试，但使用PyModel的典型方法是即时测试，其中测试运行器在执行时使用模型来计算测试运行，因此测试运行时间可以一样长如所须。动态测试可以应对被测系统中的不确定性和异步性。 PyModel可以使用组合来组合模型，通过编程场景引导测试，