Spec Explorer 基于模型的测试工具

授权协议：免费，非开源操作系统：Windows 开发语言：C/C++

Spec Explorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。由于状...