过程模型的测试用例自动生成研究

摘要：

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

关键词：测试用例自动生成、过程模型、双向过程切片

分类号：TP3(计算技术、计算机技术)

资助基金：北京市科技计划y0105001040521

在线出版日期：2008-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：84-89,93