该文首先研究和分析了面向对象软件的特点,总结出面向对象技术给软件测试带来的影响和面向对象软件测试和系统软件测试的不同,在此基础上,分析得出面向对象软件测试的内容.最后在详细研究形式化模型的基础之上,提出了一种基于形式化规范说明的面向对象的软件测试技术.这种基于形式化说明的面向对象软件测试技术有严格的理论基础.它的目的是去验证一个单元的方法之间相互作用的正确性,这个单元可以是单独的一个对象,也可以是几个对象集成的一个簇,或者子系统.在该论文中,引入了一个测试的观念就是考虑所有可能的或不可能的单元的方法之间的调用序列.在进行功能测试的过程中,这种技术在保持测试质量水平不变的条件下,应用约减假设从包含测试单元的所有可能行为的穷尽测试中选择出确定的、大小合理的、切实可行的实用测试集合.针对面向对象系统,专门提出了一个假设集合,规则假设、一致性假设和递增假设.最后,设计实例对这一种测试技术进行了验证.