ЖУРНАЛ «СТА» 1/2016

38 СТА 1/2016 ОБЗОР /ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ www.cta.ru В ВЕДЕНИЕ Как показывает статистика, около 20% аварий ракетно-космической тех- ники было связано с отказами про- граммно-технических комплексов и де- фектами программных средств [1]. Эти обстоятельства порождают необходи- мость гарантированного придания при- меняемым в космических системах программным средствам (программные средства космического назначения – ПСКН) заданных свойств качества, в том числе надёжности и безопасности, способности противостоять сбоям и ошибкам различных видов. В современной передовой практике для описания и оценки качества про- граммных средств (ПС) используется по- нятие «модель качества» (далее – МК), которое является основой как для фор- мального описания характеристик каче- ства и их отношений, так и для оценки качества ПС. Модель качества представ- ляет собой структурированное множе- ство взаимосвязанных характеристик и отношений между ними. Структура МК ПС описывается иерархией, элементами которой являются множества характери- стик (подхарактеристик, атрибутов) и от- ношений подчинённости между ними. Пользователи и разработчики испы- тывают потребности в создании МК, применимых для описания и оценки качества конкретного ПС с учётом его назначения, специфики и условий при- менения. Однако для оценки качества ПС специального назначения стандар- тизованные МК не всегда подходят в полной мере. Широкий спектр требований к каче- ству ПСКН, в зависимости от их на- значения, принципиальных особенно- стей и условий эксплуатации, приводит к необходимости адаптации и детализа- ции рекомендаций существующих ба- зовых стандартов, регламентирующих качество программного обеспечения. Прежде всего это относится к ПСКН критического применения. О СНОВНЫЕ ТРЕБОВАНИЯ И ПРИНЦИПЫ ПОСТРОЕНИЯ МОДЕЛИ КАЧЕСТВА ПС Основной задачей построения МК программного средства является фор- мирование, с учётом назначения, осо- бенностей, условий эксплуатации, сте- пени важности отдельных требований и др., номенклатуры актуальных харак- теристик его свойств и отношений меж- ду ними, обеспечивающих основу для определения требований к качеству данного класса ПС и достоверной оцен- ки уровня его качества. МК для ПС, как правило, строится на базе международных стандартов, кото- рые регламентируют показатели каче- ства [2, 3]. Однако в стандартизованных МК устанавливаются в основном базо- вые характеристики качества для ПС общего назначения без учёта особенно- стей определённых типов (классов) ПС. Для конкретного разрабатываемого ПС необходимо, исходя из его функцио- нального назначения, особенностей, степени важности отдельных требова- ний, построить адаптированную МК. Анализ показывает, что существую- щие на сегодняшний день подходы и методы построения МК ПС практиче- ски все основаны на формировании иерархической структуры характери- стик [2]. На верхнем уровне расположе- ны характеристики качества, детализи- руемые показателями более низких уровней до тех пор, пока декомпозиция не приводит к атомарным и измеримым атрибутам. Отличия же заключаются в предлагаемом числе уровней иерархии (от двух и более), а также в самих харак- теристиках верхнего уровня иерархии, отдельные из которых всё же совпадают. Целесообразность иерархической структуры для МКПС объясняется, во- первых, тем, что многоуровневая струк- тура показателей качества предостав- ляет системное описание требований к программному средству, позволяя за- интересованным сторонам задать же- лаемые свойства (характеристики) про- граммного продукта. Во-вторых, большинство базовых по- казателей качества, таких как функцио- нальное соответствие, надёжность, без- опасность и др., не могут быть непо- средственно измерены и оценены. Для получения оценок этих показателей они могут быть представлены совокуп- Построение модели качества программных средств космического назначения Есмагамбет Исмаил, Виктор Топоров В статье рассматриваются особенности построения модели качества для проектирования и верификации программных средств космического назначения на основе требований современных стандартов ISO/IEC 25010 и ECSS-Q-80-03.