基于属性的测试功能概述 基于属性的测试（PBT）框架具有许多不同的功能，但是哪个库支持哪些功能？ 对于PBT新手来说，很难说出来。 为了测试命令式API，一个具有状态机支持的框架将是不错的选择。 集成收缩对于大型开发来说可能是个不错的功能，在这种情况下，编写自定义收缩器可能就不可行了。 ... 此概述是为了帮助自己保持跟踪。 在多年的已被汇编。 随着功能逐渐添加到框架中，不幸的是，表的条目可能会过时。 YMMV。 我很乐意接受PR来更新条目和添加新框架。 框架功能 框架 语 收缩 诠释shr。 状态机 面值英石。 马赫。 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 哈斯克尔 :check_mark: 哈斯克尔 :check_mark: :check_mark: :check_mark: :check_mark: Scala / JVM

适用于Windows，Linux，Mac OS-X（以及可能提供.NET Core的其他地方）的虚拟SMTP服务器。 使您可以测试应用程序，而不会向实际客户发送垃圾邮件，而无需使用特殊配置来设置复杂的真实电子邮件服务器。 smtp4dev-用于开发和测试的伪造的SMTP电子邮件服务器。 适用于Windows，Linux，Mac OS-X（以及可能提供.NET Core的其他地方）的虚拟SMTP服务器。 使您可以测试应用程序，而不会向实际客户发送垃圾邮件，而无需使用特殊配置来设置复杂的真实电子邮件服务器。 可以查看和检查smtp4dev中收到的消息。 如果您正在寻找旧的Windows GUI v2版本。 在这里抓住它。 如果您发现smtp4dev有用，请注意

软件工程英文教学课件：Ch17 Software Testing Strategies.ppt

软件工程英文教学课件：Ch18 Testing Conventional Applications.ppt

软件测试与维护：2-testing-realities.pdf

软件测试与维护：6-dataflow-testing.pdf

软件测试与维护：10-website-testing.pdf

JUnit 5的模块“ junit-jupiter-api”。 org.junit.jupiter/junit-jupiter-api/5.7.2/junit-jupiter-api-5.7.2.jar

Next Generation Java Testing

mutpy：MutPy是用于Python 3.x源代码的突变测试工具