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

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

После завершения отладки, комплекс программ предоставляется заказчику для ввода в эксплуатацию. Для этого проводятся испытания. Основная цель – установление соответствий разработанных программ требованиям ТЗ. Кроме того, в процессе испытания проверяются достоверность и качество технической документации на комплекс программ. Основа всех проверок – программа испытаний. Это план проведения серий экспериментов. Естественно, чем больше будет объем экспериментов, тем лучше. Приходится учитывать 2 ограничения – объем и достоверность.

Программа испытаний должна содержать четко сформулированные разделы:

• объект испытаний

• цель испытаний – сюда включаются основные требования ТЗ, которые подлежат проверке, а также ограничения на проведения испытаний.

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

• методика испытаний – условия проверки, методика обработки и оценки результатов

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

Перечислим сами методы испытаний:

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

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

3) Рассчетно-экспериментальные методы. Здесь в основу принимаются экспериментальные результаты для частей комплекса, а затем пересчитываются для всей системы в целом. Подобные методы широко применяются для испытания аппаратуры.

Не нашли, что искали? Воспользуйтесь поиском: