基于面向对象模型的软件测试用例充分性设计与生成方法

对于复杂的分布式软件或大型交互式应用软件，测试用例是与系统交互过程对应，由输入控制点及其输入指令或数据等要素组成的多元组的序列。本课题研究运用可视化面向对象建模技术建立软件测试模型的方法和依据模型进行软件测试的设计并测试用例生成的方法，包括基于测试模型的测试充分性准则、测试大纲和测试用例的设计和自动生成方法和支持工具。