Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm

  • Samira Tasharofi
  • Sepand Ansari
  • Marjan Sirjani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4260)

Abstract

Constraint automata are a semantic model for Reo modeling language. Testing correctness of mapping black-box components in Reo to constraint automata is an important problem in analyzing the semantic model of Reo. This testing requires a suite of test cases that cover the automaton states and transitions and also examine different paths. In this paper, Genetic Algorithm (GA) is employed to generate such suite of test cases. This test data generation is improved by Genetic Symbiosis Algorithm (GSA). The results show that GSA approach brings us a suite of test cases with full coverage of automata states and transitions and also diversity of examined paths.

Keywords

Constraint automata finite-state machine testing automatic test data generation genetic algorithms symbiotic evolutionary algorithms 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Samira Tasharofi
    • 1
  • Sepand Ansari
    • 1
  • Marjan Sirjani
    • 1
    • 2
  1. 1.Department of Electrical and Computer EngineeringUniversity of TehranTehranIran
  2. 2.School of Computer ScienceInstitute for Studies in Theoretical Physics and Mathematics (IPM)TehranIran

Personalised recommendations