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

关键词: 过程模型, 系统测试用例, 过程模型切片

Abstract: To solve the problem of how to acquire local and all test case, ensur correctness and completeness of them, and insur their consistency with requirements, this paper presents the method by adopting advanced modeling technique to construct process model which can be simulated and validated, and applying slice technique to make and implement slice rules for the process model. The validity of the method is proved by induction based on process model structure. The paper also describes the algorithms for acquiring system test case based on slice rules, and introduces the component of the tool and an example in practice.

Key words: process model, system test case, process model slice

中图分类号: 

• TP311