Методологические основы

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

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

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

Таблица 11.1

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