Preview

Труды Института системного программирования РАН

Расширенный поиск

Метод автоматической конкретизации символических тестовых сценариев

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

Просмотров: 110


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)