Earticle

초록

영어

Although extensive studies have been done on the protocol conformance testing based on an extended finite state machine (EFSM) model, the automatic generation of feasible test sequences is still a challenging task. A generated test sequence may be infeasible, due to the conflicts among the transition conditions and context variables of EFSMs. This paper proposed a test sequence generation approach for EFSM-based protocols conformance test by using the transition feasibility estimation. Firstly, our method generates candidate transition paths from a directed graph G which is derived from the EFSM model under testing ignoring all the predicates; Then, we designed a fitness function to guide the test generation with a trade-off among path feasibility, coverage criterion and path length. Finally, an adaptive exploration algorithm is developed to generate executable test sequences through expanding CPs. An experiment was designed to validate the effectiveness of the proposed method with two classic EFSM models. The experimental results show that our approach is more effective by comparing it to the TEA method based on breadth-first search (BFS).

목차

Abstract
 1. Introduction
 2. Preliminaries
 3. The Proposed Approach
  3.1. DP Classification
  3.2. Candidate Paths Generation
  3.3. Test Sequence Generation
 4. Empirical Results and Discussion
 5. Related Work.
 6. Conclusion and Prospective
 References

키워드

저자

• Ting Shu [ School of Information and Science Technology, Zhejiang Sci-Tech University, Hangzhou, 310018, China ]
• Tiantian Ye [ School of Information and Science Technology, Zhejiang Sci-Tech University, Hangzhou, 310018, China ]
• Xuesong Yin [ Department of Computer Science & Technology, Zhejiang Radio & TV University, Hangzhou, 310030, China ]
• Jinsong Xia [ School of Information and Science Technology, Zhejiang Sci-Tech University, Hangzhou, 310018, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Control and Automation

• 간기

  월간

• pISSN

  2005-4297

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605