Надёжность программ и причины отказы программного обеспечения

Нажмите для полного просмотра!

Надёжность программ и причины отказы программного обеспечения, слайд №2

Надёжность программ и причины отказы программного обеспечения, слайд №3

Надёжность программ и причины отказы программного обеспечения, слайд №4

Надёжность программ и причины отказы программного обеспечения, слайд №5

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Надёжность программ и причины отказы программного обеспечения. Доклад-сообщение содержит 5 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Надёжность программ и причины отказы программного обеспечения Надёжность программного обеспечения ПО - это свойство выполнять заданные функции, сохранять свои характеристики в установленных пределах при определённых условиях эксплуатации. Безотказность - это свойство сохранять работоспособность программным средством (ПС) в процессе обработки информации. вероятностью корректностью Интенсивность отказов

Слайд 2

Описание слайда:

Причины отказов ПО 1. Ошибки, скрытые в самой программе Основные классы скрытых ошибок: а) Ошибки вычислений б) Логические ошибки в) Ошибки ввода/вывода г) Ошибки манипулирования данными д) Ошибки совместимости е) Ошибки сопряжения 2. Искажение входной информации 3. Неверные действия пользователя 4. Неисправность аппаратуры 5. Типичные симптомы ошибок 6. Искажение отдельных элементов данных Устойчивость функционирования ПО: - структурной, - временной, - информационной избыточности __________

Слайд 3

Описание слайда:

Основы доказательства правильности программы Формальные методы доказательства 1) показывается, что выполнение модуля обязательно завершится, 2) затем доказывается истинность других утверждений в момент завершения работы модуля Формальные методы Неформальная аргументация Компромисс: тестирование с доказательством полноты тестовых наборов в тесте. Спецификация Спецификация программы (модуля) - точная и полная формулировка задачи, содержащая информацию, необходимую для построения алгоритма (программы) решения задачи, включающая формализованное описание свойств, характеристик и функций. _________

Слайд 4

Описание слайда:

Полнота теста доказывается из таблицы покрытий

Слайд 5

Описание слайда:

Строки -- тестовые наборы, столбцы -- проверяемые группы операторов, пути - условия, спецификации. На пересечении строки и столбца ставится 1, если тестовый набор контролирует функцию данного столбца. Если в каждом столбце есть хотя бы одна 1, то все параметры программы контролируются. Полнота выделенных в таблице спецификации показывается отдельно. _________