ITERATIVE APPROACH TO INCREASING QUALITY OF PROGRAMS TESTING
https://doi.org/10.32362/2500-316X-2017-5-4-3-12
Abstract
About the Authors
B. M. BasokRussian Federation
V. N. Zakharov
Russian Federation
S. L. Frenkel
Russian Federation
References
1. Басок Б.М., Красовский В.Е. Тестирование программного обеспечения. М.:МИРЭА, 2010. 120 с.
2. Куликов С.А. Тестирование программного обеспечения. Базовый курс. [Электронный ресурс]. - URL: http://svyatoslav.biz/software_testing_book/ (дата обращения:26.06.2017).
3. Технология разработки программного обеспечения // Журнал информационных технологий. IT-технологии. C. 16. [Электронный ресурс]. URL: http://www.irkinfo.ru/tekhnologiya-razrabotki- programmnogo-obespecheniya-str16.html / (дата обращения:28.06.2017).
4. Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б. Подход UniTesK к разработке тестов // Программирование. 2003. № 6. C. 25-43.
5. Петренко А.К., Кулямин В.В., Хорошилов А.В. Об интеграции формальных методов в задачах верификации операционных систем // Труды ИСП РАН. 2015. Т. 27. Вып. 5. С. 175-190.
6. Шалыто А.А., Туккель Н.И. Switch-технология - автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 46-62.
7. Landsberg D., Chockler H., Kroening D., Lewis M. Evaluation of measures for statistical fault localisation and an optimising scheme // Fundamental Approaches to Software Engineering : 18th Int. Conf., FASE 2015. 2015/3/31. P. 115-129. [Электронный ресурс]. URL: Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme http://dblp.uni-trier.de/db/conf/fase/fase2015 (дата обращения: 28.06.2017).
8. Басок Б.М., Гречин А.А. Об усовершенствовании статистического метода оценки полноты тестов программ и устройств // Инструменты и методы анализа программ: Труды Междунар. науч.-практ. конф. Кострома, 2013. С. 40-45.
9. Wei J., Thomas A., Li G., Pattabiraman K. Quantifying the accuracy of high-level fault injection techniques for hardware faults / In: 44th IEEE/IFIP Int. Conf. on Dep. Sys. & Netw. (DSN ’14). IEEE, June 13, 2014. P. 375-382.
10. Harman M., Jia Y., Langdon W.B. A Manifesto for higher order mutation testing // Third Int. Conf. on Software Testing, Verification, and Validation Workshops (ICSTW), 2010. April 6-10, 2010. P. 80-89.
Review
For citations:
Basok B.M., Zakharov V.N., Frenkel S.L. ITERATIVE APPROACH TO INCREASING QUALITY OF PROGRAMS TESTING. Russian Technological Journal. 2017;5(4):3-12. (In Russ.) https://doi.org/10.32362/2500-316X-2017-5-4-3-12