4.2.2. Корректность и надежность

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

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

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

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

Мерой выбранной корректности может быть относительное число протестированных маршрутов, которое измеряется в процентах от общего числа исполняемых маршрутов программы. Опыт показывает, что зачастую в готовом сложном ПС оказываются протестированными только 50– 70% маршрутов и практически очень трудно эту величину довести до 90– 95%.

4.2.3. Способность к взаимодействию

Способность к взаимодействию – состоит в свойстве ПС и его компонентов взаимодействовать с одной или большим числом определенных компонентов внутренней и внешней среды (табл.4.1). При выборе и установлении способности программных и информационных компонентов к взаимодействию ее можно оценивать объемом технологических изменений в ПС, которые необходимо выполнить при дополнении или исключении некоторой функции или компонента, когда отсутствуют изменения операционной, аппаратной или пользовательской среды. С этим показателем связана корректность и унифицированность межмодульных интерфейсов, которые определяются двумя видами связей: по управлению и по информации.

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

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

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

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