基本对论文

论文摘要面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面向对象类级测试用例的一个辅助工具的研究与实现。本...