UniTesK test suite architecture

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

Volumn 2391, Issue , 2002, Pages 77-88

  Bourdonov, Igor B ^a   Kossatchev, Alexander S ^a   Kuliamin, Victor V ^a   Petrenko, Alexander K ^a  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

Author keywords

Automata based testing; Partition testing; Specification based testing; Test suite architecture

Indexed keywords

AUTOMATA THEORY; AUTOMATIC TEST PATTERN GENERATION; FORMAL METHODS; INDUSTRIAL RESEARCH; SPECIFICATIONS;

AUTOMATICALLY GENERATED; GENERAL PURPOSE SOFTWARE; INDUSTRIAL TESTING; PARTITION TESTING; SPECIFICATION BASED TESTING; TEST COVERAGE CRITERIA; TEST DEVELOPMENT TECHNOLOGY; TEST SEQUENCE GENERATIONS;

SOFTWARE TESTING;

EID: 84937399459     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45614-7_5     Document Type: Conference Paper

References (19)

1. http://www.ispras.ru/~RedVerst/
2. http://www.fmeurope.org/databases/fmadb088.html
3. I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. FM’99: Formal Methods. LNCS, volume 1708, Springer-Verlag, 1999, pp. 608–621.
4. D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161–173, 1998.
5. M. Obayashi, H. Kubota, S. P. McCarron, L. Mallet. The Assertion Based Testing Tool for OOP: ADL2, available via http://adl.xopen.org/exgr/icse/icse98.htm
6. I. B. Burdonov, A. S. Kossatchev, and V. V. Kulyamin. Application of finite automatons for program testing. Programming and Computer Software, 26(2):61–73, 2000.
7. A. Petrenko, I. Bourdonov, A. Kossatchev, and V. Kuliamin. Experiences in using testing tools and technology in real-life applications. Proceedings of SETT’01, India, Pune, 2001.
8. A. K. Petrenko. Specification Based Testing: Towards Practice. Proceedings of PSI’01. LNCS, Springer-Verlag. To be printed.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, MA: Addison-Wesley, 1995.
10. Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI’01. LNCS, Springer-Verlag. To be printed.
11. http://junit.sourceforge.net/
12. http://www.inrialpes.fr/vasy/cadp/
13. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. Proceedings of the 8-th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1996, pp. 437–440.
14. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. INRIA Technical Report TR-254, December 2001.
15. http://www.agedis.de/
16. http://www.haifa.il.ibm.com/projects/verification/gtcb/documentation.html
17. E. Farchi, A. Hartman, and S. S. Pinter. Using a model-based test generator to test for standard conformance. IBMSystems Journal, volume 41, Number 1, 2002, pp. 89–110.
18. http://www.rational.com/products/testrt/index.jsp
19. http://www.ifad.dk/