Конспект лекций по дисциплине «Методы и алгоритмы оценки надежности»

Тест на отсутствие «зависаний».

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

Правильность вычислений

Тестирование заключается в сопоставлении результатов вычислений, проведенных с помощью тестируемой программы с контрольным примером, рассчитанным вручную или с применение других, проверенных ранее, программных средств. Контрольный пример должен обеспечивать проход по всем логическим веткам и режимам работы программы. Если вычисления проводятся на разнородной области исходных данных, контрольный пример должен включать вычисления в каждой однородной подобласти. В случае ответственных вычислений их точность и достоверность контролируются и демонстрируются Заказчику с помощью статистических методов.

Совместимость с аппаратной и операционной средой

Программа обычно разрабатывается на одном компьютере, а работает на других. Для того, чтобы удостоверится, что Ваша программа будет на всех компьютерах и во всех операционных средах, конфигурация которых соответствует требованиям технического задания необходимо инсталлировать программу на машинах, отличных от ЭВМ разработчика. Если для инсталляции и работы программы требуются специальные настройки операционной системы, дополнительные программы, драйверы и динамические библиотеки, перечень необходимых настроек и программ, вместе с подробной инструкцией должен быть включен в сопроводительную документацию. Поставка Пользователю специального программного обеспечения, используемого Вашей программой должна быть дополнительно оговорена в договорной документации. Если такое обеспечение не входит в комплект поставки, в сопроводительной документации необходимо сделать предупреждение и дать перечень необходимых программ. Чтобы сократить объемы подобного тестирования, в техническом задании следует заранее предусмотреть реальные требования к конфигурации. Требования, выполнение которых Вы сможете обеспечить, проконтролировать и, при необходимости, продемонстрировать Заказчику.

Устойчивость к вводимым данным.

Ввод некорректных данных не должен приводить к зависанию программы и неверным вычислениям. Желательно, чтобы программа сама распознавала некорректные данные. Например. Если в Вашем алгоритме есть деление, при тестировании необходимо ввести данные, обращающие в 0 знаменатель. Аналогично, Если, например, программа использует массив длинною в 100 объектов, в тестировании необходимо ввести случай ввода 101 объекта. Сообщения, выдаваемые программой в случае обнаружения некорректных данных должны позволить оператору разобраться в характере и причине ошибки.

Оценка полноты, достоверности и актуальности имеющейся информации

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

Литература

Адлер Ю.П., Аронов И.З., Шпер В.Л. Что век грядущий нам готовит? // Надежность и контроль качества [10]. Дан обзор современных тенденций развития качества в развитых странах и России. Адлер Ю.П. Качество и рынок, или как организация настраивается на обеспечение

требований потребителей [7]. В серии статей последовательно излагаются современные представления о качестве, системах и методах управления качеством.

Кумэ Х. Статистические методы повышения качества [11]. Книга знакомит с передовым зарубежным опытом. Излагаются современные методы статистического управления качеством.

Лапидус В.А. Менеджмент качества [12]. Статья знакомит с основными понятиями и идеями менеджмента качества

Лапидус В.А. Система статистического управления процессами (Система Шухарта) [13]. Статья посвящается изложению основных идей статистического управления. Рассказывается о зарождении и становлении этих идей.

Международный стандарт ISO 9001-94 [4]. Стандарты серии ISO 9000 устанавливают требования к системе управления качеством. Одобренный Международной Комиссией по стандартизации, но пока неутвержденный Национальными Комиссиями проект стандарта ISO 9000 версии 2000 года существенно развивает положение действующего стандарта.

Проект международного стандарта ISO 9000` 2000 [5] . Проект новой версии стандарта ISO 9000. С.А. Волчков, И.В. Балахонова, В.В. Спиридонов. Модель CMM и ИСО 9001:2000 для организации качественной деятельности информационных служб

http://www.interface.ru/fset.asp?Url=/misc/somecmm.htm , 22.06.01 Р. Браун, Р. Мэзон, Э Фламгольц. Исследование операций: В 2х томах. Пер. с анг./ Под редакцией Дж Моудера C. Элмаграби –М: Мир 1981 –667с.