Метод автоматической конкретизации символических тестовых сценариев
https://doi.org/10.15514/ISPRAS-2015-27(3)-8
Аннотация
Об авторах
Никита ВоиновРоссия
Павел Дробинцев
Россия
Игорь Никифоров
Россия
Всеволод Котляров
Россия
Александр Колчин
Украина
Список литературы
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.
Рецензия
Для цитирования:
Воинов Н., Дробинцев П., Никифоров И., Котляров В., Колчин А. Метод автоматической конкретизации символических тестовых сценариев. Труды Института системного программирования РАН. 2015;27(3):115-124. https://doi.org/10.15514/ISPRAS-2015-27(3)-8
For citation:
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