计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
13期
13-15,18
,共4页
罗文劼%周伯生%王慧%朱令娴
囉文劼%週伯生%王慧%硃令嫻
라문할%주백생%왕혜%주령한
过程模型%系统测试用例%过程模型切片
過程模型%繫統測試用例%過程模型切片
과정모형%계통측시용례%과정모형절편
针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例.
針對如何穫取跼部和全部的繫統測試用例,確保其正確性和完備性以及與需求的一緻性問題,提齣利用先進的建模技術,建立可模擬驗證的過程模型,併應用切片技術穫取測試用例,併利用基于過程模型結構分析的歸納法證明瞭該法的正確性,根據過程模型切片準則穫取繫統測試用例的算法,介紹瞭實現工具的構成和應用實例.
침대여하획취국부화전부적계통측시용례,학보기정학성화완비성이급여수구적일치성문제,제출이용선진적건모기술,건립가모의험증적과정모형,병응용절편기술획취측시용례,병이용기우과정모형결구분석적귀납법증명료해법적정학성,근거과정모형절편준칙획취계통측시용례적산법,개소료실현공구적구성화응용실례.