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