基于切片技术获取系统测试用例的方法
作者:罗文劼 周伯生 王慧 朱令娴 北京航空航天大学计算机学院 北京100083 河北大学数学与计算机学院 保定071002
摘要:针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社