Preview

Russian Technological Journal

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

ОБ ОЦЕНКЕ ЧУВСТВИТЕЛЬНОСТИ К СБОЯМ ТЕСТОВ ПРОГРАММ

https://doi.org/10.32362/2500-316X-2016-4-2-39-44

Полный текст:

Аннотация

В статье предлагается метод оценки восприимчивости тестов программ к сбоям в окру-жающей их среде. Данный метод основан на статистической проверке влияния на программу ее тестов после кратковременной трансформации содержащихся в них данных. Рассматрива-ются некоторые примеры, а также возможности сокращения времени при реализации пред-лагаемого метода.

Об авторах

Б. М. Басок
Московский технологический университет (МИРЭА)
Россия


В. Н. Захаров
Федеральный исследовательский центр "Информатика и управление" РАН
Россия


С. Л. Френкель
Федеральный исследовательский центр "Информатика и управление" РАН
Россия


Список литературы

1. Осипенко П.Н., Левадский С.А., Антонов А.А. Исследование Архитектурной чувстви-тельности к сбоям с использованием метода статистического внесения сбоев // Программные продукты и системы. 2010. № 4. С. 10-14.

2. Осипенко П.Н. Одиночные сбои - вызов для современных процессоров // Электронные компоненты. 2010. № 1. С. 66-69.

3. Гробман Д.М. Статистический способ определения полноты тестов // Тезисы докладов IV Всесоюзного совещания по технической диагностике. Черкассы. 1979. С. 9-11.

4. Lee C., Potkonjak M., Mangione-Smith W.H. MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems // In: Proc. of the 30th annual IEEE/ACM Int’l Symp. on Microarchitecture, Dec. 1997. Р. 292-303.

5. Borchert C., Schirmeier, Spinczyk O. Protecting the dynamic dispatch in C++ by dependability aspects // In: 1st GI W’shop on SWBased Methods for Robust Embedded Sys. (SOBRES ’12), ser. Lecture Notes in Informatics. German Society of Informatics, Sep. 2012. Р. 521-535.

6. Cho H., Mirkhani S., Cher C.-Y., Abraham J.A., Mitra S. Quantitative evaluation of soft error injection techniques for robust system design // I:n 50th Design Automation Conf. (DAC ’13). IEEE, May 2013. Р. 1-10.

7. 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, Jun. 13. 2014. Р. 375-382.

8. Hoijin Yoon, Byoungju Choi. Component customization testing technique using fault injection technique and mutation test criteria // Proc. of the 1st Workshop on Mutation Analysis (MUTATION'00) San Jose, California, 6-7 October 2001. Р. 71-78.

9. Reynolds J.C., Just J., Clough L., Maglich R. On-Line Intrusion Detection and Attack Prevention Using Diversity, Generate-and-Test, and Generalization // In: Proc. of the 36th Annual Hawaii International Conference on System Sciences (HICSS), January 2003. Р. 1-8

10. Гробман Д.М. Программный контроль и диагностика неисправностей ЦВМ // Диагно-стика неисправностей вычислительных машин. М.: Наука, 1965. С. 7-22

11. Басок Б.М., Гречин А.А. О едином подходе при анализе тестов дискретных устройств и программ // Вопросы радиоэлектроники. Серия ЭВТ. 2010. Вып. 3. С. 140-145

12. Басок Б.М., Гречин А.А. Об усовершенствовании статистического метода оценки пол-ноты тестов программ и устройств // Инструменты и методы анализа программ. Труды Меж-дународной научно-практической конференции, Кострома, 2013. С. 40-45

13. Фаззинг, фаззить, фаззер: ищем уязвимости в программах, сетевых сервисах, драйверах. Журнал «Хакер». Июль 19, 2010. [Электронный ресурс] URL: https://xakep.ru/2010/07/19/52726/


Рецензия

Для цитирования:


Басок Б.М., Захаров В.Н., Френкель С.Л. ОБ ОЦЕНКЕ ЧУВСТВИТЕЛЬНОСТИ К СБОЯМ ТЕСТОВ ПРОГРАММ. Russian Technological Journal. 2016;4(2):39-44. https://doi.org/10.32362/2500-316X-2016-4-2-39-44

For citation:


Basok B.M., Zakharov V.N., Frenkel S.L. ABOUT ESTIMATION OF SOFTWARE TESTS SENSITIVITY TO TRANSIENT FAULTS. Russian Technological Journal. 2016;4(2):39-44. (In Russ.) https://doi.org/10.32362/2500-316X-2016-4-2-39-44

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


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


ISSN 2782-3210 (Print)
ISSN 2500-316X (Online)