1、主要优势
(1)实现早期需求验证。
(2)在工程师之间分享清晰且可观察的需求。
(3)最大限度地扩大测试活动的功能覆盖范围。
(4)减少开发流程中成本高昂的迭代。

2、主要特征
(1)以可读的正式语言表达文本需求。
(2)对状态机和系统体系结构建模。
(3)观察指定系统的可能执行情况。
(4)自动生成多个测试用例。

软件供应商和服务商