计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2003年
12期
12-15
,共4页
面向对象%基于状态的测试%测试用例%UML%状态图%有限状态机
麵嚮對象%基于狀態的測試%測試用例%UML%狀態圖%有限狀態機
면향대상%기우상태적측시%측시용례%UML%상태도%유한상태궤
对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从Rational Rose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度.
對基于狀態的類測試用例自動生成進行瞭研究,重點放在狀態預測和測試消息序列生成上:類的動態行為用UML的狀態圖錶示,測試時直接從Rational Rose的規約文件中讀取狀態圖規約生成測試消息序列;對狀態的預測使用狀態不變量;生成消息序列時對算法進行優化,減少消息序列的冗餘,從而縮短消息序列的路徑長度.
대기우상태적류측시용례자동생성진행료연구,중점방재상태예측화측시소식서렬생성상:류적동태행위용UML적상태도표시,측시시직접종Rational Rose적규약문건중독취상태도규약생성측시소식서렬;대상태적예측사용상태불변량;생성소식서렬시대산법진행우화,감소소식서렬적용여,종이축단소식서렬적로경장도.
