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

гарантоспособности (dependability), ре- комендованной стандартом ECSS-Q-80- 03-2006. З АКЛЮЧЕНИЕ Качество программного обеспечения должно оцениваться, исходя из опреде- лённой МК. За последние годы создано множество международных стандартов, регламентирующих МК программных средств. Однако применение этих стан- дартов требует их адаптации путём до- бавления или исключения некоторых положений стандартов с учётом прин- ципиальных особенностей конкретных программных продуктов и условий их использования. Построение МК ПС является одним из важнейших этапов оценки качества и позволяет определить необходимость использования при оценке качества ПСКН тех или иных характеристик и подхарактеристик. От полноты и адек- ватности применяемой системы харак- теристик зависит достоверность полу- чаемой оценки. На выбор МК влияет множество различных факторов. Основными особенностями ПСКН, которые необходимо учитывать при по- строении МК, являются: ● повышенные требования к надёж- ности и функциональной безопас- ности; ● необходимость гарантированного придания ПСКН заданных свойств качества, безопасности и способно- сти противостоять нарушениям функционирования системы, сбоям и ошибкам различных видов; ● ПСКН критического применения должны обладать такими важными свойствами, как отказоустойчивость и восстанавливаемость, наличие встроенных функций диагностики и тестирования; ● для всесторонней оценки качест- ва ПСКН возможно использование параллельно нескольких разных мо- делей. Следует отметить, что задача построе- ния модели характеристик качества ПС не теряет свою актуальность со време- нем. Объяснить это можно тем, что, во- первых, невозможно разработать уни- версальную систему характеристик для всех классов ПС, во-вторых, однажды построенная МК для некоторого класса ПС с течением времени перестаёт соот- ветствовать динамике развития его функциональных возможностей. ● Л ИТЕРАТУРА 1. Безопасность критических инфраструк- тур: математические и инженерные мето- ды оценки и обеспечения / под ред. Хар- ченко В.С. – Харьков : Нац. аэрокосм. ун-т ХАИ. – 2011. 2. Исмаил Е.Е. Современные модели каче- ства программных средств и их особенно- сти // МНЖ «Поиск». – 2015. –№ 3 (1). – С. 272–282. 3. ISO/IEC 25010:2011. Systems and software engineering – Systems and software Quality Requirements and Evaluation (SQuaRE) – System and software quality models. 4. Мишин В.М. Исследование систем управ- ления : учебник для вузов. – М. : ЮНИ- ТИ-ДАНА, 2005. 5. Hyatt L.E., Rosenberg L.H. A Software Qua- lity Model and Metrics for Identifying Project Risks and Assessing Software Quality // Pro- ceedings of Product Assurance Symposium and Software Product Assurance Workshop. – Noordwijk, 1996. P. 209–212. 6. ECSS-Q-80B-2003. Space Product Assuran- ce – Software Product Assurance [Электрон- ный ресурс] // Режим доступа : http:// www.lab.dit.upm.es/~insw/alumnos/recur- sos/ECSS-Q-80B_10October2003.pdf. E-mail: ismaile@rambler.ru ОБ ЗОР / П РОГ РАММНОЕ ОБ Е СП Е Ч Е НИЕ 43 СТА 1/2016 www.cta.ru ОФИЦИАЛЬНЫЙ ДИСТРИБЬЮТОР ПРОДУКЦИИ SMARTEK, VISIOSENS