题目：基于测试用例聚合的测试流程建模技术研究

软件测试是保证软件质量的重要手段，测试用例是软件测试工作的指导。测试用例的设计和编写是软件测试活动中最重要的活动，不仅可以避免软件测试工作的盲目性，在回归测试中还可以大大的降低测试的工作量，从而提高测试的工作效率。对于大规模的软件系统，软件测试不仅需要进行功能测试，还需要保证软件系统能执行正确的业务功能。但是，通常测试人员在完成单个功能测试后，需要针对被测软件的业务流程，设计和编写业务流程测试用例。这种做法导致以下两个问题，第一是业务流程测试用例涉及多个模块的功能，和单功能测试用例中的测试脚本代码重复性高，增加了测试代码编写的工作量，降低了测试效率。第二是一个功能可能在多个业务流程测试用例中被测试，如果对某个功能的规格和相关约束等进行修改，势必影响包含它的所有业务流程测试用例，导致修改代码的工作量增多，维护成本变高。本文在模型驱动测试的理论与技术的基础上，提出了一种通过快速聚合测试用例生成可执行的测试用例的方法，通过对测试流程进行建模、根据测试流程聚合算法由测试流程模型自动生成TTCN-3测试用例，以验证测试流程建模工具的功能正确性，提高软件测试的效率。本文的主要工作有：第一，阐述了测试流程的概念，并定义了测试流程元模型。基于测试流程元模型，在Eclipse平台上采用GMF技术实现了可视化的测试流程建模工具；第二，对测试流程元模型进行OCL约束，提供了对测试流程模型语义正确性的验证功能；第三，定义了模式的概念，根据提取频繁模式算法，从测试流程模型中提取出频繁模式的集合。基于TTCN-3语言，将频繁模式转换成中间函数。根据测试流程模型，将测试用例和中间函数聚合生成TTCN-3测试流程用例；第四，以某Web应用系统中管理模块的业务流程为例进行相应的测试流程建模，验证了测试流程建模工具的功能，并展示了自动生成的TTCN-3测试代码。