Specification 章节 发表日期： 2024年 查看全文 Ross Radford 摘要 How to specify system behavior to make the system testable. Unspecified system behaviors are not testable. Terminology and techniques.
