Preview

Russian Technological Journal

Advanced search

ABOUT ESTIMATION OF SOFTWARE TESTS SENSITIVITY TO TRANSIENT FAULTS

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

Abstract

The article suggests a method for estimation of the sensitivity of software tests to transient faults of a computer system. The method is based on statistical analysis of a program work results after performing a functional test with a submitted short term (ransient) defect, This method allows to identify tests helping to localize errors both in a program body and in its environment. It also enables to estimate the level of a program fault tolerance. In order to analyze quantitatively the sensitivity, we suggest a notion of test sensitivity rate regarding the transient faults. Examples of estimation of the sensitivity of software tests are given as well as methods of time cost reducing for the test sensitivity rate estimation.

About the Authors

B. M. Basok
Moscow Тechnological University (MIREA)
Russian Federation


V. N. Zakharov
Federal Research Center "Computer Science and Control" of the RAS
Russian Federation


S. L. Frenkel
Federal Research Center "Computer Science and Control" of the RAS
Russian Federation


References

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/


Review

For citations:


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

Views: 385


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


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