重庆交通大学学报（自然科学版）
重慶交通大學學報（自然科學版）
중경교통대학학보（자연과학판）
JOURNAL OF CHONGQING JIAOTONG UNIVERSITY(NATURAL SCIENCE)
2012年
1期
163-167
,共5页
测试用例%基于模型的测试%Petri网%建模
測試用例%基于模型的測試%Petri網%建模
측시용례%기우모형적측시%Petri망%건모
在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响.基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例.分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题.
在軟件測試中,測試用例生成是其關鍵環節,也對實現軟件測試的自動化有著重要影響.基于Petri網的測試用例生成方法是通過對被測試對象進行建模,由模型產生測試序列,進而生成測試用例.分析瞭目前基于Petri網生成測試用例的研究現狀併指齣瞭在存在的問題.
재연건측시중,측시용례생성시기관건배절,야대실현연건측시적자동화유착중요영향.기우Petri망적측시용례생성방법시통과대피측시대상진행건모,유모형산생측시서렬,진이생성측시용례.분석료목전기우Petri망생성측시용례적연구현상병지출료재존재적문제.
