Введение. 
Методы испытаний программ на надежность

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

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

Объектом являются основные понятия теории надежности.

Предметом являются методы обеспечения надежности комплексов программ при эксплуатации и сопровождении.

теория надежность программа сопровождение.

Основные понятия теории надежности

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

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

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

Теория надежности — это система определенных идей, математических моделей и методов, направленных на решение проблем предсказания, оценки и оптимизации различных показателей надежности. Для количественной оценки надежности применяется ряд показателей, выбор которых зависит от конкретного типа и области применения системы. В основе этих характеристик лежат понятия о двух возможных состояниях объекта или системы: работоспособном и неработоспособном[2].

Методы испытаний программ на надежность

В теории надежности разработан ряд методов позволяющих определить характеристики надежности сложных систем. Эти методы можно свести к трем основным группам:

Прямые экспериментальные методы определения показателей надежности систем в условиях нормального функционирования Форсированные методы испытаний реальных систем на надежность Расчетно-экспериментальные методы при использовании которых ряд исходных данных для компонент получается экспериментально, а окончательные показатели надежности систем надежности рассчитываются с использованием этих данных Прямые экспериментальные методы определения интегральных показателей безопасности программ и баз данных в нормальных условиях функционирования в ряде случаев весьма трудно использовать при испытаниях на безопасность из-за больших значений времени наработки на отказ (десятки и сотни тысяч часов). Сложность выявления и регистрации редких отказов, а также высокая стоимость экспериментов при длительном функционировании сложных ИС приводят к тому, что на испытаниях получаются малые выборки зарегистрированных отказов. Кроме того, при таких экспериментах трудно гарантировать полную представительность выборки исходных данных, так как проверки определяются конкретными условиями использования данной ИС на испытаниях[3].

Для выявления тенденции изменения показателей надежности и безопасности их значения обрабатываются статистическими методами. Изменения этих показателей необходимо связывать во времени с моментами корректировки программ и данных. Анализируя корреляцию между значениями надежности и процессом изменения программ, можно выявить действия, которые содержат ошибки и ухудшают надежность. Получающиеся при этом показатели позволяют прогнозировать число ошибок, подлежащих исправлению для достижения заданных значений надежности и безопасности в зависимости от длительности тестирования. При высокой надежности ИС на стадии завершающих испытаний может быть полезным использование данных об отказах программ при отладке, что позволяет повысить достоверность моделей прогнозирования проявления ошибок и оценки показателей надежности. Математические модели оценки наработки на отказ по совокупности значений моментов выявления отказов позволяют определить параметры модели для данной ИС и условий ее отладки и испытаний. В результате может быть оценена наработка до следующего выявления ошибки или отказа. Таким образом, при испытаниях появляется возможность использовать опорное значение наработки на отказ, базирующееся на всех результатах выявления ошибок при комплексной отладке. Последующее обнаружение ошибок в ходе испытаний способствует уточнению параметров модели, которая используется для прогнозирования и планирования испытаний на надежность и безопасность[3].

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

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

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

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

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

Расчетно-экспериментальные методы определения надежности сложной аппаратуры базируются на экспериментальном определении показателей надежности компонент (деталей, микросхем и т. д.) и аналитическом расчете надежности систем, построенных из таких компонент. При анализе надежности программ применение расчетно-экспериментальных методов ограничено. Это обусловлено неоднородностью характеристик надежности основных компонент: программных модулей, групп программ, массивов данных и т. д. Однако в некоторых случаях расчетным путем можно оценить некоторые характеристики надежности комплексов программ.

Если экспериментально определены характеристики искажения массива данных при функционировании комплекса программ, то аналитически можно рассчитать надежность хранения данных при типовых схемах их дублированного хранения и оперативного восстановления при искажениях. Аналитически на основе экспериментальных исходных данных можно оценить изменение наработки на отказ при введении методов оперативного контроля и восстановления. Сочетание экспериментальных и аналитических методов применяется для определения пропускной способности комплекса программ на конкретной ВС и влияния перегрузки на надежность его функционирования[4].

Следует выделить использование расчетно-экспериментального метода испытаний на надежность при длительном хранении программ на магнитных носителях. Ряд комплексов программ может эксплуатироваться в течение 10−20 лет. Экспериментально установить надежность хранения программ на таком интервале невозможно. Консервируемые комплексы программ имеют эталонную версию магнитных носителей (диски, ленты), которая с высокой вероятностью должна сохраняться в течение этого времени. Для этого готовится несколько копий эталонной версии комплекса программ, которые периодически контролируются, сопоставляются и восстанавливаются. Экспериментально определяется вероятность разрушения программ на одной копии в течение небольшого времени (недели, месяца) между последовательными фазами контроля. По этим данным рассчитывается число необходимых копий и период их контроля и восстановления, гарантирующие заданную вероятность сохранения программ в течение установленного времени «жизни» комплекса.

При проверке аппаратуры применяются определительные и контрольные испытания. Эти же виды испытаний могут использоваться при определении характеристик надежности программ. Определительным испытаниям подвергается опытный образец комплекса программ, для которого перечисленными методами оцениваются основные показатели надежности. В большинстве случаев при этом получают усредненные показатели (среднюю наработку на отказ, среднее время восстановления, коэффициенты готовности и др.). Эти испытания проводятся на ограниченном интервале времени либо до получения заданного числа отказов с полным восстановлением после каждого отказа. В отдельных случаях возможно определение доверительных интервалов для некоторых показателей надежности. Значения доверительных интервалов более полно характеризуют надежность программ и позволяют корректнее сравнивать надежность разных программ или одного и того же комплекса программ на разных этапах разработки. Основным препятствием для получения таких показателей является малый объем экспериментальных данных[6].