计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
1期
270-275,291
,共7页
曾一%王翠钦%李函逾%洪豪
曾一%王翠欽%李函逾%洪豪
증일%왕취흠%리함유%홍호
UML模型%交互概览图%流程信息%覆盖准则%测试线索
UML模型%交互概覽圖%流程信息%覆蓋準則%測試線索
UML모형%교호개람도%류정신식%복개준칙%측시선색
UML model%Interaction Overview Diagram (IOD)%process information%coverage criterion%test clue
针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法.首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索.实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸.
針對單一UML模型測試不充分的問題,結閤UML2.0交互概覽圖的特點開展測試方法研究,提齣一種測試線索自動生成的方法.首先,給齣UML類圖、順序圖、交互概覽圖(OID)的形式化定義;通過提取交互概覽圖的流程信息和對象交互信息分彆構造節點控製流圖(NCFG)和消息序列圖(MSD);將從MSD提取的消息路徑嵌入到NCFG中,構造可測試交互概覽圖模型;最後採用兩兩覆蓋準則生成測試線索.實驗驗證瞭該方法自動生成的測試線索在保證測試充分性的前提下可避免組閤爆炸.
침대단일UML모형측시불충분적문제,결합UML2.0교호개람도적특점개전측시방법연구,제출일충측시선색자동생성적방법.수선,급출UML류도、순서도、교호개람도(OID)적형식화정의;통과제취교호개람도적류정신식화대상교호신식분별구조절점공제류도(NCFG)화소식서렬도(MSD);장종MSD제취적소식로경감입도NCFG중,구조가측시교호개람도모형;최후채용량량복개준칙생성측시선색.실험험증료해방법자동생성적측시선색재보증측시충분성적전제하가피면조합폭작.
