Формальные модели качества программного обеспечения

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

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

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

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

в какой степени компоненты программного обеспечения удовлетворяют требованиям, им предъявляемым?

Формальная модель качества не должна зависеть от вида компонента: будь то объектно-ориентированное приложение, продукты Enterprise Resources Planning (ERP) или другой вид программного обеспечения. В настоящее время объём знания, накопленного о качестве программного обеспечения, велик. Задача построения формальной модели качества - это задача представления этого знания в структурированном, интуитивно понятном, пригодном для переиспользования виде. Основное требование, предъявляемое модели качества заключается в том, что она должна устанавливать чёткие отношения между высокоуровневыми атрибутами качества и отдельными характеристиками продукта. Кроме того, модель качества должна предоставлять средства для систематизированной идентификации/классификации характеристик программного обеспечения, а также средства обнаружения несоответствия продукта заданному качеству.

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

Стандарты качества и моделирование качества программного обеспечения

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

Инструменты управления качеством программного обеспечения

Полезные ресурсы

Хостинг от uCoz