计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2008年
2期
84-89,93
,共7页
测试用例自动生成%过程模型%双向过程切片
測試用例自動生成%過程模型%雙嚮過程切片
측시용례자동생성%과정모형%쌍향과정절편
在软件测试中,测试用例的自动生成问题近来是一个研究的热点,基于代码的测试用例的自动生成技术目前已很成熟,但基于过程模型的测试用例的自动生成技术却没有起步.为了解决这一问题,本文提出了双向过程切片的概念并使用该技术,在北航软件工程研究所开发的企事业建模系统EPMS(Enterprise Process Modeling System)中的过程模型建造环境PMBE(Process Building Environment)基础上,实现了过程模型的测试用例的自动生成技术,并通过了数个实际项目的验证.
在軟件測試中,測試用例的自動生成問題近來是一箇研究的熱點,基于代碼的測試用例的自動生成技術目前已很成熟,但基于過程模型的測試用例的自動生成技術卻沒有起步.為瞭解決這一問題,本文提齣瞭雙嚮過程切片的概唸併使用該技術,在北航軟件工程研究所開髮的企事業建模繫統EPMS(Enterprise Process Modeling System)中的過程模型建造環境PMBE(Process Building Environment)基礎上,實現瞭過程模型的測試用例的自動生成技術,併通過瞭數箇實際項目的驗證.
재연건측시중,측시용례적자동생성문제근래시일개연구적열점,기우대마적측시용례적자동생성기술목전이흔성숙,단기우과정모형적측시용례적자동생성기술각몰유기보.위료해결저일문제,본문제출료쌍향과정절편적개념병사용해기술,재북항연건공정연구소개발적기사업건모계통EPMS(Enterprise Process Modeling System)중적과정모형건조배경PMBE(Process Building Environment)기출상,실현료과정모형적측시용례적자동생성기술,병통과료수개실제항목적험증.