软件测试是为了发现错误而执行程序的过程。它是软件工程的重要组成部分,是软件开发的重要环节。即只有通过测试的软件才能够提供质量上的保证;而从软件工程角度看,测试是验证软件是否能达到设计和期望目标的唯一有效的方法。 软件测试伴随着软件工程概念的提出,已经经历了数十年的发展历程。其间,软件测试方法也随着软件工程开发方法的发展不断向前发展,并出现了诸多的研究分支,如传统的测试方法,面向对象的测试方法,面向Web应用的测试方法等。而这些测试方法的提出都是伴随着某一开发方法的。 目前,基于面向对象理论的软件建模方法是研究者们争相研究的热点。例如,国外Rational公司推出了支持UML的Rational Rose工具软件;在国内有,北航软件研究所的UML_Designer和北大计算机系的青鸟JBOO3.0,及本实验室自主开发的支持用户界面自动生成的可视化建模工具AUI。 以上所列举的都是对建模方法提供支持的软件工程工具。因此,对此类软件的质量保证是软件测试的重要工作。但是目前文献中所介绍的测试方法却并不适合可视化建模工具软件的测试。从其自身的特点考虑,有:特定的输入,其输入为用户根据需求所建模型;特定的输出,其输出为依据模型所生成的程序代码;程序修改的多方面影响性,其不单是来自程序的本身设计,还有更多的是来自建模方法的修改。而在测试时,其最大的特点是:实例测试最主要的目的是为了验证与检查建模方法的正确性、充分性等。鉴于以上的情况,本文提出了可视化建模工具软件的TRICHOTOMY测试方法。 本文的主要工作包括: ●文献总结。通过查阅文献,发现现有的测试方法并不能支持可视化建模工具软件的测试。在传统测试中,白盒法检验结构,黑盒法测试软件的设