Введение 2

1. Типы и методы тестировании 4

2. Локализация проблем 6

3. Использование мониторинга готовности системы 9

4. Создание дамп-файлов ядра для автономного анализа 11

5. Обратная загрузка в систему исправленной программы 13

6. Использование декомпозиции по времени для диагностики проблем при сохранении работоспособности системы 15

7. Передача другим процессам не используемых для отладки циклов 17

8. Декомпозиция как средство более быстрого восстановления и уведомления об ошибках 18

11. Архитектура средств активной отладки 20

12. Отладочные действия 22

13. Интеграция со средствами разработки ПО 28

14. Архитектура средств мониторинга 30

15. Отладочные действия 31

Заключение 36

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

В современной встраиваемой системе могут исполняться сотни программных задач. Все они используют общие системные ресурсы и сложным образом взаимодействуют друг с другом. Подобная сложность может являться "миной замедленного действия" для надежности по той простой причине, что чем больше размер системного кода, тем больше вероятность проявления ошибок в процессе эксплуатации. (По некоторым оценкам при поставке продукта, имеющего миллион строк исходного кода, в нем содержится, по меньшей мере, 1000 программных ошибок, даже в случае тщательной разработки и тестирования кода.) Ошибки в коде могут также представлять угрозу безопасности, потому что они часто являются точками, через которые могут проникать хакеры со своим вредоносным кодом.

Никакой объем тестирования не может полностью исключить подобные программные ошибки и "дыры" в безопасности, потому что никакой набор тестов не может предвидеть все возможные сценарии и варианты поведения сложной программной системы. Поэтому разработчики системы и программного обеспечения должны мыслить в рамках решения критически важных задач, создавая такую архитектуру программного обеспечения, при которой возможно наличие программных ошибок, но при этом система была бы способна быстро восстанавливаться после них. Не менее важно для разработчиков использовать инструменты и технологии отладки, при которых сохраняется целостность системы в процессе разрешения проблемных ситуаций. Инструментальные средства не должны вносить изменения, которые неблагоприятно или непредсказуемо воздействуют на поведение системы, особенно в случае, когда система активно предоставляет услуги пользователям. И после коррекции разработчиком ошибок любого программного компонента, инструменты отладки и базовая операционная система должны просто предоставлять возможность загрузки и проверки работоспособности исправленной версии, опять же без оказания влияния на общее поведение системы и на ее работоспособность.

1. C.D.Locke, "Fundamentals of Real-Time", Lockhead Martin, 2008

2. "Realtime CORBA", White Paper -Issue 1.0, 2006/Dec

3. "It's all a question of time...", Real-time magazine, 2007/4th Quarter

4. R.O'Farrel, "Choosing a cross-debugging methodology", Embedded systems programming, 2007/Aug

5. K.Clohessy, "Using object-oriented programming tools to build real-time embedded systems", Real-time engineering, 2006/Fall

6. V.Encontre, "How to use modeling to implement verifiable, scalable, and efficient real-time application programs", Real-time engineering, 2007/Fall

7. N.Osawa, H.Morita, T.Yuba, "Animation for perfomance debugging of parallel computing systems", ACM, 2007

8. S.K.Damodaran-Kamal, J.M.Francioni, "Nondeterminacy: testing and debugging in message passing parallel programs", ACM, 2003

9. Авербух В.Л. Визуализация программного обеспечения, Екатеринбург, 1995.

10. Коновалов А.В., Самофалов В.В., Шарф С.В. Т-МОНИТОР: средство отладки программ для МВС-100 на РС // "V конференция ТРАНСПЬЮТЕРНЫЕ СИСТЕМЫ И ИХ ПРИМЕНЕНИЕ", Домодедово, 1995.

11. Лацис А.О. Разработка ОС коллективного использования для многопроцессорной супер-ЭВМ МВС-100 // "V конференция ТРАНСПЬЮТЕРНЫЕ СИСТЕМЫ И ИХ ПРИМЕНЕНИЕ", Домодедово, 1995.

12. Пасынков И.Г., Подергина Н.В., Самофалов В.В., Тюрин В.Ф., Ускова Т.И. Символьный диалоговый отладчик ОС Диспак (возможности и реализация), Свердловск, УНЦ АН СССР, 1980.

13. Самофалов В.В., Коновалов А.В. Т-МОДЕЛЬ: система наглядного представления выполнения параллельных процессов в транспьютерных сетях // Алгоритмы и программные средства параллельных вычислений: Сб. науч. тр., Екатеринбург: УрО РАН, 1996, С. 157-169.

Примечаний нет.