Advanced Testing Methods (ATM); State of research in the area of formal test specification methods
先进测试方法(ATM);正式测试规范方法领域的研究现状
发布日期:
1992-10-01
就一致性测试领域正在开发的最先进技术(正式方法、自动工具)编写最新报告以及标准化问题
To develop a state of the art report on the most advanced technologies under development in the area of Conformance Testing (Formal Methods, Automatic Tools.) and standardisation issues