Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Основные параметры персонала
В результате формируются критерии, учитывающие конкретного программиста в конкретной работе.
Цель анализа программных ошибок при сертификации и оценке надежности ПО
Извещения об ошибке Исходная информация об ошибках может быть представлена в извещении об ошибке. В них указывается:
· информация о закрытии ошибки; · генерация новой конфигурации; · правильность распознавания объекта затруднения; · существо ошибки. Основные задачи в области надежности ПО
1. Классификация ошибок 1.1. Организация систем сбора данных 1.2. Рекомендации по совершенствованию 1.3. Построение модели 2. Верификация программ 2.1. статическая верификация 2.2. Динамическая верификация 3. Тестирование 3.1. Выбор тестов 3.2. Управление тестированием 4. Защита информации 5. Защита вычислительного процесса Количественные характеристики надежности ПО – вероятность безошибочной работы. – вероятность появления ошибок. – частота появления ошибок. – интенсивность появления ошибок. – среднее время между ошибками. Программа испытывается на одном компьютере (кси) – статистическое среднее время между двумя ошибками. N – общее количество прогонов. – обобщенный закон надежности (λ ≠ const) Классификация ошибок ПО Где произошла ошибка? 1.1. Персонал Информация по категориям персонала включает структуру (1.1.1.) и процедуры (1.1.2.). Это операционные процедуры, правила кодирования и проверки, а также стандарты документирования. 1.1.1. Структура a. Технический – для конкретного модуля определяется имя, квалификация разработчика, а именно опыт программирования, знание языков и ответственность. b. Административный – определяет администра-тивную информацию. 1.1.2. Процедура a. Операционные процедуры включают информацию о рабочей среде, т.е. пакетный или интерактивный режим работы, свободный или ограниченный доступ. b. Правила кодирования и проверки. Они содержат информацию о степени использования, например, структурного программирования. c. Стандарты документации включают форматы и процедуры документирования данного модуля. 1.2. Оборудование 1.2.1. Компьютер Перечень оборудования и интерфейсов 1.2.2. Связь Содержит информацию о внешнем оборудовании в комплекте ПК, включая линии связи с терминалами. 1.2.3. Сопровождающее обеспечение Информация обо всем оборудовании, подходящем для подготовки модуля и работы. 1.3. ПО 1.3.1. Внутреннее ПО Языковой процессор, загрузчик, редактор связей, утилиты. 1.3.2. Применение Это размеры, смежные модули, область применения. Каждый из этих разделов обеспечивает идентификацию относящихся к ним программ по имени, номеру версии и т.д. На что похожа ошибка? 2.1. ПО 2.1.1. Внутреннее ПО ОС, редактор связей, загрузчик, утилиты. 2.1.2. Применение Каждый ошибочный элемент характеризуется именем, номером версии и будет специфицировать любой ошибочный код и любое диагностическое сообщение, являющееся следствием данной ошибки элемента. 2.2. Функции Категория функций идентифицирует с помощью имени точку, в которой зафиксирована ошибка. Эта точка может относиться к процедурам ввода/вывода или использования ресурсов. 2.2.1. Процедура В процедурах ввода/вывода подразумевается наличие неправильных значений данных. 2.2.2. Использование ресурса При использовании ресурсов наиболее критичными ошибками являются: · неправильное использование терминальных устройств; · ошибки синхронизации; · ошибки в описании форматов вводимой и выводимой информации. 2.3. Ресурсы 2.3.1. Имя 2.3.2. Использование ресурса 2.4. Область 2.4.1. Структура программы 2.4.2. Приложение Как была сделана ошибка? 3.1. Данные 3.1.1. Входные 3.1.2. Внутренние 3.2. Процедуры 3.2.1. Вычисление 3.2.2. Контроль 3.2.3. Интерфейс Когда была сделана ошибка? 4.1. Начальная разработка 4.2. Внедрение 4.3. Функционирование Почему произошла ошибка? 5.1. Механические 5.1.1. Подстановка 5.1.2. Путаница 5.1.3. Пропуск 5.2. Умственные 5.2.1. Концептуализация 5.2.2. Реализация 5.3. Коммуникационные 5.3.1. Персонал 5.3.2. Документация Целью задачи классификации ошибок ПО является создание методов упорядочивания информации о программных ошибках с тем, чтобы на основе этой информации выяснить причины, породившие ненадежность и о путях их предупреждения. Модели надежности ПО Популярное:
|
Последнее изменение этой страницы: 2017-03-08; Просмотров: 364; Нарушение авторского права страницы