测试规格说明相关论文
该文以Z测试规格说明作为推导测试用例的依据,探讨了从Z测试规格说明推导出测试用例的过程、方法和技术.所谓测试规格说明,是指从......
讨论了使用域测试策略生成测试用例的过程:将测试规格说明,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词,变......
