Method of Symbolic Test Scenarios Automated Concretization
https://doi.org/10.15514/ISPRAS-2015-27(3)-8
Abstract
Described in the paper is an approach to symbolic test scenarios concretization in the scope of automated software verification and testing technology. Tools for automated concretization process based on user defied settings are presented.
About the Authors
Nikita V. Voinov
Peter The Great Saint-Petersburg Polytechnic University
Russian Federation
Russian Federation
Pavel D. Drobintsev
Peter The Great Saint-Petersburg Polytechnic University
Russian Federation
Russian Federation
Igor V. Nikiforov
Peter The Great Saint-Petersburg Polytechnic University
Russian Federation
Russian Federation
Vsevolod P. Kotlyarov
Peter The Great Saint-Petersburg Polytechnic University
Russian Federation
Russian Federation
Alexander V. Kolchin
Glushkov Institute of Cybernetics NAS Ukraine
Ukraine
Ukraine
References
1. Boehm B., Software Engineering Economics, Prentice Hall,Inc.Englewood Cliffs,New Jersey, N.Y. 1981. - 767 p.
2. Utting, M. and Legeard, B., Practical Model_Based Testing: A Tools Approach, Morgan_Kaufmann, 2010.
3. Burdonov, I., Kosachev, A., Ponomarenko, V., and Shnitman, V., Review of Approaches to Verification of Distributed Systems, M.: ISP RAS, 2006.
4. TestOptimal // www.testoptimal.com
5. Qtronic // www.conformiq.com
6. Test Designer // www.smartesting.com
7. Spec Explorer: Microsoft Research // http://research.microsoft.com/specexplorer
8. Primeneniye metoda evristik dlya sozdaniya optimalnogo nabora testovykh stsenariyev / N. V. Voinov, V. P. Kotlyarov // Nauchno-tekhnicheskiye vedomosti Sankt-Peterburgskogo gosudarstvennogo politekhnicheskogo universiteta. Informatika. Telekommunikatsii. Upravleniye. - 2010. - T.4 - № 103. - S. 169-174.
9. Grindal M. Handling Combinatorial Explosion in Software Testing. Department of Computer and Information Science, Linköpings universitet, 2007.
10. C. Nie and H. Leung, “A survey of combinatorial testing,” ACM Comput.Surv., vol. 43, no. 2, pp. 11:1-11:29, Feb. 2011.
11. J. McGregor, “Testing a software product line,” in Testing Techniques in Software Engineering. Springer, 2010, vol. 6153, pp. 104-140.
12. Baranov S.N., Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A. Implementation of an integrated verification and testing technology in telecommunication project. Proceedings // IEEE Russia Northwest Section. 110 Anniversary of Radio Invention conference. S.Petersburg, 2005. 11 p.
13. Letichevsky J., Kapitonova A., Letichevsky Jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Computer Networks. 2005. 47. P. 662-675.
14. Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, 1985.
15. Letichevsky Jr., A. and Kolchin, A., Test scenarios generation based on formal model, Programming Problems, 2010, nos. 2-3, pp. 209-215.
16. Drobintsev P. D., Kotlyarov V. P., Nikiforov I. V., Letichevsky A. A., Incremental approach to the technology of test design for industrial projects, Modeling and Analysis of Information Systems, 2014, Volume 21, Number 6, 144-154.
Review
For citations:
Voinov N.V., Drobintsev P.D., Nikiforov I.V., Kotlyarov V.P., Kolchin A.V. Method of Symbolic Test Scenarios Automated Concretization. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):115-124. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-8
Email this article 