Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem

  • Authors:
  • Jitian Xiao;Chiou Peng Lam;Huaizhong Li;Jun Wang

  • Affiliations:
  • Edith Cowan University, Mt Lawley, Australia;Edith Cowan University, Mt Lawley, Australia;Edith Cowan University, Mt Lawley, Australia;Edith Cowan University, Mt Lawley, Australia

  • Venue:
  • Proceedings of the 8th annual conference on Genetic and evolutionary computation
  • Year:
  • 2006

Quantified Score

Hi-index 0.02

Visualization

Abstract

Protocol conformance testing generally involves checking whether the protocol under test conforms to the given specification. An important issue in protocol conformance testing is the generation of test sequences in an efficient and effective way that achieves the required fault detection coverage. This paper proposed an approach for finding the shorter test sequences for protocol conformance testing based on the Wp method. The approach provides a technique for transforming the problem of the test sequence generation from a given FSM into one of finding the shortest path in the asymmetric travelling salesman problem by using one of the many existing meta-heuristic algorithms for addressing TSP. The approach addresses the issue of reformulation of Software Engineering problems as search-based problems in Search-based Software Engineering. The paper also shows that the resulting test sequences will maintain the same fault detection capability as those of the Wp method.