面向对象软件测试方法论之研究

本项目以申请者等人98年7月将发表在ACM杂志上的47页论文的重要成果为基础，以形式化规格说明为工具，结合代码分析的方法，对面向对象软件的类级非等价项测试及簇级测试的方法论作深入的探讨。其成果将为面向对象软件测试工具的研制打下理论基础。这对于提高面向对象软件设计和生产的效率，保证其质量和可靠性，均有重要的理论价值和实践意义。