KVEST: Automated generation of test suites from formal specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 608-621

  Burdonov, Igor ^a   Kossatchev, Alexander ^a   Petrenko, Alexander ^a   Galter, Dmitri ^b  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

^b NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; FORMAL VERIFICATION; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS; VERIFICATION;

AUTOMATED GENERATION; AUTOMATED TEST GENERATIONS; INDUSTRIAL PROJECTS; NORTEL NETWORKS; RELATED WORKS; TELECOMMUNICATION SOFTWARE; TOOLSETS;

FORMAL METHODS;

EID: 84958061681     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_34     Document Type: Conference Paper

References (15)

1. B. Algayres, Y. Lejeune, G. Hugonnet, and F. Hantz. The AVALON project: A VALidation Environment For SDL/MSC Descriptions. In 6th SDL Forum, Darmstadt, 1993.
2. I. Burdonov, V. Ivannikov, A. Kossatchev, G. Kopytov, S. Kuznetsov. The CLOS Project: Towards an Object-Oriented Environment for Application Development. In Next Generation Information System Technology, Lecture Notes in Computer Science, Vol. 504, Springer Verlag, 1991, pp. 422-427.
3. I. Burdonov, A. Kossatchev, A. Petrenko, S. Cheng, H. Wong. Formal Specification and Verification of SOS Kernel, BNR/Nortel Design Forum, June 1996.
4. J. Derrick and E. Boiten. Testing Refining Test. Lecture Notes in Computer Science, 1493, pp. 265-283.
5. R. Kramer. IContract - The Java Design by Contract Tool. Fourth conference on OO technology and systems (COOTS), 1998.
6. B. Liskov, J. Guttag. Abstraction and Specification in Program Development. The MIT Press, McGraw-Hill Book Company, 1986.
7. L. Murray, D. Carrington, I. MacColl, J. McDonald, P. Strooper. Formal Derivation of Finite State Machines for Class Testing. In Lecture Notes in Computer Science, 1493, pp. 42-59.
8. D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, Vol. 24, No. 3, pp. 161-173.
9. A. K. Petrenko. Test specification based on trace description. Software and Programming, (translated from “Programmirovanie”), No. 1, Jan.-Feb. 1992, pp. 26-31.
10. A. K. Petrenko. Methods of debugging and monitoring of parallel programs. Software and Programming, No. 3, 1994.
11. The RAISE Language Group. The RAISE Specification Language. Prentice Hall, 1992.
12. The RAISE Language Group. The RAISE Development Method. Prentice Hall, 1995.
13. http://www.fme-nl.org/fmadb088.html
14. http://www.kvatro.no/products/itex/itex.htm
15. http://www.sun.com/960201/cover/language.html