• 推荐看看:
    https://eggplant.io/
    是一个利用AI的自动化测试工具,貌似不错的样子。

  • 个人感觉是必须在需求点与测试用例或者测试脚本之间建立并维护双向的跟踪矩阵才可以量化覆盖率的。

  • 三本非常值得一读的关于软件测试的书,网上搜索,可以下载到:
    • Software Testing - Concepts and Operations (Ali Mili, Fairouz Tchier)
    • Software Testing - A Craftsman’s Approach, 4th (Paul C. Jorgensen)
    • The Way of the Web Tester - A Beginner’s Guide to Automating Tests (Jonathan Rasmusson)
    另外三本关于MBT的书也值得一读:
    • Practical model-based testing a tools approach (Mark Utting, Bruno Legeard)
    • MODEL-BASED TESTING ESSENTIALS (Anne Kramer, Bruno Legeard)
    • The Craft of Model-Based Testing (Paul C. Jorgensen)
  • 需求模型,也就是行为树是手工创建的。基本上可以理解为story或者功能需求的一对一翻译。模型是唯一的手工制品,其他的都是自动生成的。需要说明的是,这个模型不是测试模型,而是真正意义上的需求模型。

  • 楼主所言极是,关于你所列举的三个问题,我们在开发我们的MBT工具(http://www.etestinfo.com/)时也是遇到了极大的挑战:
    1、空间爆炸一直无法解决
    -- 这个问题绕不过去,但是可以使用全局优化策略,还是实用的。
    2、真正的mbt,是看代码覆盖率
    -- 对于黑盒功能测试来说,倒不是看代码覆盖率,而是通过控制依赖及数据依赖来定义需求的覆盖率。
    3、模型和需求的一致性,没有很好的理论来验证
    -- 从需求里建立的模型如果带有原始需求的元数据,并配合跟踪矩阵使用,可以通过模型评审来基本确认其一致性。