ОБЗОР МЕТОДОВ АВТОМАТИЗИРОВАННОГО ОБНАРУЖЕНИЯ СБОЕВ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ

Андрей Александрович Усенок

Аннотация


Статья посвящена проблематике обнаружения сбоев в программном обеспечении. Рассматриваются несколько методов автоматизированного обнаружения сбоев, а именно: метод зондирования, метод контроля времени выполнения, метод динамического дублирования и метод диспетчера. Проводится краткий анализ достоинств и недостатков каждого метода.

Ключевые слова


сбой; обнаружение сбоев; надежность программного обеспечения

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

PDF

Литература


1 Chillarege R. Self-testing software probe system for failure detection and diagnosis // Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research (стр. 10), IBM Press, Toronto. 1994.

2 Sankar S., Mandal M. Concurrent runtime monitoring of formally specified programs // Technical Report, Stanford University, Stanford. 1990.

3 Reis G. A., August D. I., Mukherjee S. S., Cohn R. Software fault detection using dynamic instrumentation // Proceedings of the Fourth Annual Boston Area Architecture Workshop (стр. 91—98), Boston. 2006.

4 Savor T., Seviora R. E. An approach to automatic detection of software failures in real-time systems // Proceedings of IEEE RealTime Technology and Applications Symposium (стр. 136—146), IEEE Computer Society, Montreal. 1997.

5 Richardson D. J., Aha S. L., and O’Malley T. O. Specification-based test oracles for reactive systems // Proceedings of the 14th International Conference on Software Engineering (стр. 105—118), ACM, New York. 1992.

6 Diaz M., Juanole G., Courtiat J.-P. Observer — a concept for formal on-line validation of distributed systems // IEEE Transactions on Software Engineering (№12, том 20, стр. 900—913), IEEE Computer Society. 1994.


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.