Application of finite automatons for program testing

Programming and Computer Software

Volumn 26, Issue 2, 2000, Pages 61-73

  Burdonov, I B ^a   Kossatchev, A S ^a   Kulyamin, V V ^a  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013093088     PISSN: 03617688     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02759192     Document Type: Article

References (8)

1. Wong, H., Barantsev, A., Burdonov, I., and Kosachev, A., Report on Test Generation Methodology, NORTEL, 1997.
2. Beizer, B., Software Testing Techniques, New York: Van Nostrand Reinhold, 1990, 2nd edition.
3. Burdonov, I., Kosachev, A., Petrenko, A., Cheng, S., and Wong, H., Formal Specification and Verification of SOS Kernel, BNR/NORTEL Design Forum, 1996.
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.
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.
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.
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.
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.