Programming and Computer Software

, Volume 26, Issue 2, pp 61–73 | Cite as

Application of finite automatons for program testing

  • I. B. Burdonov
  • A. S. Kossatchev
  • V. V. Kulyamin


The application of the finite automaton theory to the problem of program testing is discussed. The problem is reduced to testing a finite automaton. Testing of automatons using their state graphs, factor graphs, testing using factor graphs, and methods for factor graphs construction are discussed.


State Graph Original Graph Finite Automaton Factor Graph Input Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wong, H., Barantsev, A., Burdonov, I., and Kosachev, A., Report on Test Generation Methodology,NORTEL, 1997.Google Scholar
  2. 2.
    Beizer, B.,Software Testing Techniques, New York: Van Nostrand Reinhold, 1990, 2nd edition.Google Scholar
  3. 3.
    Burdonov, I., Kosachev, A., Petrenko, A., Cheng, S., and Wong, H., Formal Specification and Verification of SOS Kernel,BNR/NORTEL Design Forum, 1996.Google Scholar
  4. 4.
    Hoffman, D. and Strooper, P., ClassBench: a Framework for Automated Class Testing,Software Maintenance: Practice and Experience, 1997, vol. 27, no. 5, pp. 573–579.CrossRefGoogle Scholar
  5. 5.
    Murray, L., Carrington, D., MacColl, I., McDonald, J., and Strooper, P., Formal Derivation of Finite State Machines for Class Testing,ZUM'98: The Z Formal Specification Notation, 11th Int. Conf. of Z Users, Bowen, J.P., Fett, A., and Hinchey, M.G., Eds.,Lect. Notes Comput. Sci., Springer, 1998, vol. 1493, pp. 42–59.CrossRefGoogle Scholar
  6. 6.
    Peters, D.K. and Parnas, D.L., Using Test Oracles Generated from Program Documentation,IEEE Trans. Software Eng., 1998, vol. 24, no. 3, pp. 161–173.CrossRefGoogle Scholar
  7. 7.
    Petrenko, A.K., Burdonov, I.B., Drojjina, A.Yu., Kossatchev, A.S., Maximov, A.V., Sazanov, Yu.L., and Sumar, H., Preliminary Test Methodology and Test System Report,NORTEL, 1995.Google Scholar
  8. 8.
    Turner, C.D. and Robson, D.J., The State-based Testing of Object-Oriented Programs,Proc. IEEE Conf. Software Maintenance, 1993, pp. 302–310.Google Scholar

Copyright information

© MAIK “Nauka/Interperiodica” 2000

Authors and Affiliations

  • I. B. Burdonov
    • 1
  • A. S. Kossatchev
    • 1
  • V. V. Kulyamin
    • 1
  1. 1.Institute of System ProgrammingRussian Academy of SciencesMoscowRussia

Personalised recommendations