1. История проблемы надежности и сертификации по Проблемы надежности по

1. Оценка надежности ПО.

2. Определение факторов, влияющих на достижение заданной надежности.

3. Совершенствование методов повышения надежности в процессе проектирования и в процессе эксплуатации разработанного ПО.

Направления исследований в вопросе надежности по

1. Обоснование интуитивного представления о надежности ПО.

2. Разработка методов, обеспечивающих достижение заданного уровня надежности.

Проблемы эталонов

Во многих случаях имеются эталонные изделия, с которыми сравниваются вновь изготовленные. Такое сравнение позволяет в статике выявить ошибки тиражирования. При этом ошибки проектирования сохраняются соответственно эталонному изделию.

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

См. Также «2. Основные задачи в области надежности по»

2. Основные задачи в области надежности и сертификации по

1. Классификация ошибок

   1. Организация систем сбора данных

   2. Рекомендации по совершенствованию

   3. Построение модели

2. Верификация программ

   1. Статическая верификация

   2. Динамическая верификация

3. Тестирование

   1. Выбор тестов

   2. Управление тестированием

4. Защита информации

5. Защита вычислительного процесса

3. Понятия и определения надежности по

Система – совокупность подсистем, функционально объединенных в соответствии с некоторым алгоритмом взаимодействия в процессе применения по назначению.

Программная ошибка – это когда программа работает не так, как предполагает пользователь, т.е. программная ошибка не является неотъемлемым свойством программы.

Надежность ПО (применительно к сложным системам) – свойство системы выполнять заданные функции, сохраняя во времени значения установленных эксплуатационных показателей в заданных.

Надежность ПО – это вероятность того, что программа какой-то период времени будет работать без сбоев, с учетом степени их влияния на выходные характеристики.

Ошибки ПО зависят от входной информации и состояния системы.

Надежность ПО базируется на понятиях корректности и устойчивости.

Программа считается корректной, если она выполняет запланированные действия и не имеет побочных эффектов. Корректность – узкое понятие, т.к. ее полная проверка для большинства программных систем практически невыполнима. Если ПО удовлетворяет своей спецификации, то оно корректно. Возможна ситуация, когда программа корректна с точки зрения разработчика, но не корректна с точки зрения пользователя. Систему можно считать надежной, если велика вероятность того, что при обращении к ней можно получить требуемую услугу.

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

Под надежностью ПО понимается свойство ПО выполнять предписанные функции в соответствии с требованиями заказчика при определенных условиях функционирования в течении заданного времени и обусловленное корректностью и устойчивостью.