基于合同的构件可测试性设计与主动测试技术

构件技术是当前软件开发的主流技术之一。构件的高可靠性是构件能被成功复用的前提。构件测试是保障和提高构件可靠性的重要手段。本项目的主要研究内容是：基于合同的构件可测试性设计方法，使设计与测试相融合，为构件开发者和复用者测试构件提供更好的支持；对构件的主动测试技术，即研究如何主动地寻找使合同被违反的输入数据以提高揭错能力，从而改善构件测试的效率和质量；建立相应的支撑工具。项目将通过把构件测试中的一些输入数据自动生成问题转化为面向路径的输入数据自动生成问题，研究构件测试中方法调用序列的可行性自动判断方法，提高构件测试过程的自动化程度。本项目把设计和测试进行统一考虑，符合基于构件的软件工程趋势，其成果将推动构件测试理论和技术的发展，能广泛地应用于构件测试活动。