基于切片技术获取系统测试用例的方法

摘要：

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例.

关键词：过程模型、系统测试用例、过程模型切片

所属期刊栏目：34

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

资助基金：国家自然科学基金资助项目60772073;北京市科技计划课题基金资助项目y0105001040521

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

页数：共4页

页码：13-15,18