Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

  • Authors:
  • Karnig Derderian;Robert M. Hierons;Mark Harman;Qiang Guo

  • Affiliations:
  • Department of Information Systems and Computing, Brunel University Uxbridge, Middlesex UB8 3PH, UK;Department of Information Systems and Computing, Brunel University Uxbridge, Middlesex UB8 3PH, UK;Department of Computer Science, King's College London London WC2R 2LS, UK;Department of Computer Science, University of Sheffield Sheffield S1 4DP, UK

  • Venue:
  • The Computer Journal
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.