计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
1期
281-284
,共4页
EFSM%等价类%软件测试%数据依赖分析%控制依赖分析
EFSM%等價類%軟件測試%數據依賴分析%控製依賴分析
EFSM%등개류%연건측시%수거의뢰분석%공제의뢰분석
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明.
等價類測試是有效減少測試用例而又較小地影響測試效果的一種高效的測試方法,但是對于測試者來說,尋找一種等價類測試的劃分方法十分重要,本文提齣瞭一種基于EFSM(Extended Finite State Machine)模型的等價類測試劃分的方法,通過對EFSM模型數據依賴和控製依賴分析,給齣瞭等價類測試劃分的具體方法和算法,併給齣瞭等價類劃分方法的完備性和無冗餘性證明.
등개류측시시유효감소측시용례이우교소지영향측시효과적일충고효적측시방법,단시대우측시자래설,심조일충등개류측시적화분방법십분중요,본문제출료일충기우EFSM(Extended Finite State Machine)모형적등개류측시화분적방법,통과대EFSM모형수거의뢰화공제의뢰분석,급출료등개류측시화분적구체방법화산법,병급출료등개류화분방법적완비성화무용여성증명.
