73. Эмпирическая модель надежности, модель определяющая время доводки программ

Эмпирические модели основаны на анализе накопленной информации о функционировании ранее разработанных программ.

Модель определяющая время доводки программ. Эта модель используется для ПС, которые имеют иерархическую структуру, т.е. ПС как система может содержать подсистемы, которые состоят из компонентов, а те, в свою очередь, состоят из V модулей. Таким образом, ПС может иметь V различных уровней композиции. На любом уровне иерархии возможна взаимная зависимость между любыми парами объектов системы. Все взаимозависимости рассматриваются в терминах зависимости между парами модулей.

Анализ модульных связей строится на том, что каждая пара модулей имеет конечную (возможно, нулевую) вероятность, что изменения в одном модуле вызовут изменения в другом мо­дуле.

Можно построить две различные стратегии корректировки ошибок: -       фиксировать все ошибки в одном выбранном модуле и уст­ранить все побочные эффекты, вызванные изменениями этого модуля, отрабатывая таким образом последовательно все модули; -       фиксировать все ошибки нулевого порядка в каждом модуле, затем фиксировать все ошибки первого порядка и т.д.

74. Особенности обеспечения надежности функционирования импортных программных средств.

При использовании зарубежных ПС в принципе в них возможны как злоумышленные, так и случайные, непредумышленные искажения вычислительного процесса, программ и данных, отражающиеся на надежности их функционирования. Злоумышленные вирусы и «закладки», хотя и маловероятны в серийных, широко тиражируемых в мире ПС, тем не менее требуют особых методов и средств целенаправленного их обнаружения и устранения. Отечественный покупатель импортных ПС обычно не знает, какая технология была применена при их разработке и какие классы ошибок могли быть оставлены. В составе пользовательской документации, как правило, отсутствуют исходные тексты программ и номенклатура тестов, использованных при их отладке. Поэтому методы предотвращения ошибок в импортных программах и данных почти всегда остаются недоступными и неизвестными отечественным специалистам. Комплексирование готовых импортных прикладных ПС в конкретной отечественной ИС создает условия для их функционирования, не всегда адекватные предусмотренным разработчиками и проверенным при испытаниях, хотя и не выходящие за пределы требований эксплуатационной документации. Наиболее популярные СУБД при продаже комплектуются средствами соответствующей CASE-технологии. Поставки прикладных программ различного назначения могут содержать рекомендации по использованию определенных CASE-технологий при комплексировании импортных компонентов в составе конкретной ИС. Применение той же CASE-технологии позволяет более полно понимать функциональные и технические возможности закупленных ПС в процессе их комплексирования в проблемно-ориентированной ИС.

75. Обеспечение качества и надежности в процессе разработки сложных программных средств

Международные стандарты ISO 9001, 9002 и 9003 содержат требования к системе качества и определяют различные модели его обеспечения на разных этапах производственного цикла. ISO 9001 – модель обеспечения качества при проектировании, разработке, производстве, монтаже и обслуживании. ISO 9002 рассматривает модель обеспечения качества при производстве, монтаже и обслуживании, а ISO 9003 формулирует требования к качеству при окончательном контроле и испытаниях. Каждая из этих моделей позволяет поставщику продемонстрировать свои возможности, а внешней стороне – эти возможности оценить.

Общие формулировки по руководству качеством и стандарты их обеспечения даны в спецификации ISO 9000, состоящей из трех частей:

• ISO 9000-1: Руководящие указания по выбору и применению;

• ISO 9000-2: Общие руководящие указания по применению стандартов ISO 9001, 9002, 9003;

• ISO 9000-3: Руководящие указания по применению ISO 9001 при разработке, поставке и обслуживании программного обеспечения.