代数规格说明论文

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

论文摘要随着面向对象技术的广泛应用,面向对象测试己越来越被人们所重视。面向对象的软件测试包括方法级、类级、簇级和系统级。其中,方法级和系统级的测试方法与传统过程式程序的测试方法...