微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2008年
6期
164-167
,共4页
集成测试%通信图%状态图%组合状态
集成測試%通信圖%狀態圖%組閤狀態
집성측시%통신도%상태도%조합상태
UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.
UML中的狀態圖和通信圖可共同作為生成測試用例的模型,用于集成測試用例的生成.在通信轉換的基礎上採用深度和廣度搜索得到沒有冗餘的組閤狀態圖,提齣一種形式化組閤狀態圖中組閤狀態的方法,使集成測試模型更加簡單,實驗結果錶明易于生成集成測試用例.
UML중적상태도화통신도가공동작위생성측시용례적모형,용우집성측시용례적생성.재통신전환적기출상채용심도화엄도수색득도몰유용여적조합상태도,제출일충형식화조합상태도중조합상태적방법,사집성측시모형경가간단,실험결과표명역우생성집성측시용례.
