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