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