Экзаменационные вопросы по дисциплине «Надежность программного обеспечения»

1. Основные понятия и определения в области надежности аппаратного обеспечения компьютерных систем.

2. Показатели надежности невосстанавливаемых объектов (вероятность безотказной работы, вероятность отказа, плотность распределения наработки до отказа).

3. Показатели надежности невосстанавливаемых объектов (интенсивность отказов, средняя наработка до отказа).

4. Показатели надежности восстанавливаемых объектов. Экспоненциальная модель распределения наработки до отказа.

5. Понятие свойств, функций и требований к программному обеспечению. Критерии качества требований.

6. Понятие ошибки, отказа и надежности программного обеспечения. Особенности программ по сравнению с аппаратурой.

7. Процесс разработки программного обеспечения в соответствии со стандартом СТБ ИСО/МЭК 12207-2003.

8. Причины появления ошибок в программном обеспечении.

9. Модель Джелинского–Моранды. Оценка характеристик модели с помощью метода максимального правдоподобия.

10. Модель Шика–Волвертона. Оценка характеристик модели с помощью метода максимального правдоподобия.

11. Геометрическая модель. Оценка характеристик модели с помощью метода максимального правдоподобия.

12. Статистическая модель Миллса. Модель Нельсона.

13. Модель надежности программных средств по ГОСТ 28195–99.

14. Оценка надежности программных средств по ГОСТ 28195–99.

15. Оценка надежности программных средств по СТБ ИСО/МЭК 9126–2003.

16. Модель надежности программных средств по стандарту ISO/IEC 9126-1:2001.

17. Внутренние метрики надежности программных средств по стандарту ISO/IEC 9126-3:2003.

18. Внешние метрики надежности программных средств по стандарту ISO/IEC 9126-2:2003.

19. Метод оценки надежности программных средств по стандарту ISO/IEC 14598–1:1999.

20. Введение в тестирование программного обеспечения. Определение тестирования ПО. Объекты тестирования.

21. Направления тестирования ПО. Принципы разработки тестов.

22. Информационные потоки процесса тестирования. Принципы организации тестирования.

23. Структурное тестирование ПО. Понятие потокового графа, пути, цикломатической сложности.

24. Метод тестирования базисных путей.

25. Функциональное тестирование ПО. Цели и уровни функционального тестирования. Пример иллюстрации сложности задачи разработки тестов.

26. Методы эквивалентного разбиения и анализа граничных условий.

27. Документирование тестов. Примеры.

28. Методика тестирования ПО. Общие сведения. Тестирование модулей.

29. Тестирование сборки. Тестирование правильности. Системное тестирование.

30. Регрессионное тестирование. Мутационное тестирование.

31. Проектирование тестов, основанных на случайных наборах исходных данных.

32. Верификация ПО. Метод индуктивных утверждений. Общие сведения.

33. Последовательность шагов по доказательству корректности схем алгоритмов программ.

34. N–версионное программирование.

Практический раздел

РАБОТА В СИСТЕМЕ MATHCAD. ТЕОРЕТИЧЕСКИЕ И ПРАКТИЧЕСКИЕ СВЕДЕНИЯ К ВЫПОЛНЕНИЮ КОНТРОЛЬНЫХ РАБОТ

Данная часть практического раздела содержит материалы следующего учебно-методического пособия:

Бахтизин В.В. Надежность вычислительных процессов: Лаб. практикум для студ. спец. I-40 01 01 «Программное обеспечение информационных технологий» дневн. формы обуч.: В 4 ч. Ч. 1 / В.В. Бахтизин, Е.П. Фадеева. – Мн.: БГУИР, 2006. – 55 с.

1. Основные понятия входного языка системы MathCAD11

Система MathCAD11 позволяет программировать решение многих задач из области математики, теории вероятности и надежности.

1.1. Алфавит MathCAD11

Алфавит системы MathCAD11 содержит:

• строчные и прописные латинские буквы;

• строчные и прописные греческие буквы;

• арабские цифры от 0 до 9;

• системные переменные;

• операторы;

• имена встроенных функций;

• спецзнаки;

• строчные и прописные буквы кириллицы (при работе с русифицированными документами).

К укрупненным элементам языка относятся типы данных, операторы, функции пользователя и управляющие структуры.

К типам данных относятся числовые константы, обычные и системные переменные, массивы (векторы и матрицы), данные файлового типа.