Статические модели надежности программного обеспечения (Миллса)

Перед началом тестирования искусственно вносятся в программу некоторое количество известных ошибок.

Ошибки вносятся случайным образом и фиксируются в протоколе искусственных ошибок.

Ошибки вводятся специалистами не участвующими в тестировании.

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

Тестируя программу в течение некоторого времени, собирают статистику об ошибках.

Все найденные ошибки делятся на собственные и искусственные ошибки.

Первоначальное число ошибок N в программе оценивается по соотношению: ,

где - число найденных собственных ошибок;

- число внесенных искусственных ошибок, - число обнаруженных к моменту оценки искусственных ошибок.

Вероятность, с которой можно утверждать, что найденное число первоначальных ошибок в программе N есть верным, определяется по формуле:

где К есть число первоначальных ошибок в программе, т.е. равно N.

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

(+) модели является простота применения математического аппарата, наглядность и возмож­ность использования в процессе тестирования. Недостатки – необходимость внесения искусственных ошибок (этот процесс плохо формализуется).

CASE - технологии (инструменты, системы, средства). Эволюция CASE - средств, их классификация, характеристики современных CASE - инструментов. Перспективы развития. (По Вендрову, Калянову).

Под CASE-средством понимается программное средство, поддерживающее процессы жизненного цикла ПО, включая анализ требований к системе, проектирования прикладного ПО и БД, генерацию кода, тестирование, документирование, обеспечения качества, а так же другие процессы. В эволюции CASE-средств выделяют два этапа ее развития:

CASE-I является первой технологией, адресованной непосредственно системным аналитикам и проектировщикам, и включающей средства для поддержки графических моделей, проектирования спецификаций, экранных редакторов и словарей данных. Она не предназначена для поддержки полного ЖЦ и концентрирует внимание на функциональных спецификациях и начальных шагах проекта - системном анализе, определении требований, системном проектировании, логическом проектировании БД.

CASE-II отличается значительно более развитыми возможностями, улучшенными характеристиками и исчерпывающим подходом к полному ЖЦ. В ней в первую очередь используются средства поддержки автоматической кодогенерации, а также обеспечивается полная функциональная поддержка порождения графических системных требований и спецификаций проектирования; контроля анализа и связывания системной информации, а также информации по управлению проектированием; построения прототипов и моделей системы; тестирования, верификации и анализа сгенерированных программ; генерации документов по проекту; контроля на соответствие стандартам по всем этапам ЖЦ.

В разряд CASE-средств попадают как относительно дешевые системы для персональных компьютеров с весьма ограниченными возможностями, так и дорогостоящие системы для неоднородных вычислительных платформ и ОС.

Все современные CASE-средства могут быть классифицированы в основном по типам и категориям. Классификация по типам отражает функциональную ориентацию CASE-средств на те или иные процессы ЖЦ. Классификация по категориям определяет степень интегрированности по выполняемым функциям и включает отдельные локальные средства, решающие небольшие автономные задачи (tools), набор частично интегрированных средств, охватывающих большинство этапов ЖЦ ИС (toolkit) и полностью интегрированные средства, поддерживающие весь ЖЦ ИС и связанные общим репозиторием. Классификация по уровням связана с областью действия CASE в пределах ЖЦ ПО. Однако четкие критерии определения границ между уровнями не установлены, поэтому данная классификация имеет, вообще говоря, качественный характер.

На сегодняшний день Российский рынок программного обеспечения располагает следующими наиболее развитыми CASE-средствами: Vantage Team Builder (Westmount I-CASE); Designer/2000; Silverrun; ERwin+BPwin; CASE.Аналитик; Rational Rose. Кроме того, на рынке постоянно появляются как новые для отечественных пользователей системы, так и новые версии и модификации перечисленных систем.

Относительно развития, можно сказать о том, что CASE постоянно усовершенствуются и дополняются. При этом никогда, по всей видимости, не будет создано такое CASE-средство, которое могло бы «думать» за разработчика и выполнять за него действия интеллектуального характера, ведя его от самого начала: анализа и выделения требования до получения конечного продукта. CASE имеет лишь второстепенную вспомогательную роль!