6. Проверяемость требований (верифицируемость)

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

7. Целостность

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

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

Использование стандартных терминологии и определений улучшает целостность.

8. Модифицируемость

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

• иметь последовательную и удобную в работе структуру с оглавлением, индексом и явными взаимными ссылками;

• не быть избыточной; т.е. одно и то же требование не должно встречаться больше чем в одном месте в СТПО;

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

9. Трассируемость

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

3.3. Понятие ошибки и отказа программного обеспечения

В стандарте ISO/IEC 9126-1:2001 ошибка (fault) определена как некорректное действие, процесс или определение данных в компьютерной программе.

Отказ (failure) – прекращение способности программного средства (ПС) выполнять необходимую функцию или его неспособность функционировать в заданных спецификацией условиях.

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

3.4. Понятие надежности программного обеспечения

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

Например, Майерс писал: «Надежность ПО – есть вероятность работы без отказов в течении определенного периода времени, рассчитанная с учетом стоимости для пользователя каждого отказа».

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

В соответствии со стандартом ISO/IEC 9126-1:2001 надежность – это способность ПС поддерживать заданный уровень функционирования при эксплуатации в заданных спецификацией условиях.

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

Характеристике надежность в соответствии со стандартом ISO/IEC 9126-1:2001 соответствуют следующие подхарактеристики:

- завершенность – способность ПС избежать отказа в результате ошибок ПО;

- устойчивость к ошибке – способность ПС поддерживать заданный уровень функционирования при наличии ошибок в ПО или при нарушении его заданного интерфейса;

- восстанавливаемость – способность ПС восстанавливать заданный уровень функционирования и восстанавливать данные, непосредственно поврежденные в случае отказа.