A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences

详细信息    查看全文

• 作者：Ting Shu ; ^a ; ^{shuting@zstu.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Zuohua Ding^a ; ^{zouhuading@hotmail.com" class="auth_mail" title="E-mail the corresponding author} ; Meihwa Chen^b ; ^{mchen@albany.edu" class="auth_mail" title="E-mail the corresponding author} ; Jinsong Xia^a ; ^{js_xia@126.com" class="auth_mail" title="E-mail the corresponding author}
• 关键词：EFSM ; Conformance testing ; Executable test sequences ; Test generation
• 刊名：Information Sciences
• 出版年：2016
• 出版时间：20 November 2016
• 年：2016
• 卷：370-371
• 期：Complete
• 页码：63-78
• 全文大小：2264 K

文摘

Automatic executable test sequence generation is a challenging task for protocol test based on the Extended Finite State Machine (EFSM) model. Transition executability analysis (TEA) can guarantee the executability of generated test sequences. However, as a reachability analysis technique, it often suffers from the state explosion problem. To remedy the situation, this paper proposes a heuristic transition executability analysis (HTEA) method for compressing the explored state space during test sequences derivation. In our approach, a transition feasibility guidance matrix is first constructed through extracting the inherent constraint relationship between each adjacent transitions in the EFSM under testing. Then, relying on the built matrix and related runtime feedback, we define an objective function to dynamically evaluate state nodes in the HTEA expanding tree. Finally, the proposed objective function is utilized to heuristically guide the state space traversal in the HTEA tree for executable test sequences generation. Consequently, the executable test generation problem can be reformulated into a multi-objective search problem based on a HTEA tree. Experimental results impressively show the potential of the novel method for avoiding the state explosion during test generation, compared with the classic TEA technique in the breath-first way.