Study of Automated process model test case Generation
过程模型的测试用例自动生成研究

在软件测试中,测试用例的自动生成问题近来是一个研究的热点,基于代码的测试用例的自动生成技术目前已很成熟,但基于过程模型的测试用例的自动生成技术却没有起步.为了解决这一问题,本文提出了双向过程切片的概念并使用该技术,在北航软件工程研究所开发的企事业建模系统EPMS(Enterprise Process Modeling System)中的过程模型建造环境PMBE(Process Building Environment)基础上,实现了过程模型的测试用例的自动生成技术,并通过了数个实际项目的验证.