К программной системе (ПС) в жизненном цикле (ЖЦ) ее использования предъявляются требования по производительности, устойчивости, защищенности и др. По статистике и испытаниям, в среднем в 1000 строках программного кода содержится одна ошибка, на поиск и устранение которой тратятся значительные ресурсы (временные, интеллектуальные, машинные и др.).
Это следствие неэффективного инструментария, технологического несовершенства, сложностей математического обоснования корректности (верификации), критериев качества и надежности.
В ЖЦ ПС учитываются процессы (действия), исполнители, данные (объекты) и модели типа:
- каскадная, которая эффективна при неизменных на всем ЖЦ множестве спецификаций, для несложных проектов или для сложных, но в качестве модели для низкого уровня (подмодели);
- инкрементной, которая эффективна при необходимости динамического уточнения спецификации, для проектов со статическими спецификациями или с без риска;
- эволюционной («спиральной»), которая эффективна для сложных проектов со спецификациями, адаптируемыми или реализуемых технологиями, которые сами эволюционируют.
Их достоинства и недостатки – это возможность:
- анализа целей, ресурсов и выстраивания концепции ЖЦ и др.;
- для исполнителей – аналитики;
- для объектов – согласование функций, ролей, эксплуатационных характеристик и др.
Согласно стандарту, существенные характеристики ПС классифицированы в восемь классов:
- функциональность (полнота, точность, применимость);
- производительность (функциональная, аппаратно-программная, пиковая);
- совместимость (автономно-функциональная, комплексная);
- надежность (результативность, доступность, отказоустойчивостьи др.);
- защищенность (аутентифицируемость, контроль доступа, отсутствие отказов от действий и др.);
- дружественность (понятность, легкость освоения, оперативность, защита от неграмотных действий пользователя и др.);
- удобство сопровождения, модификации (модифицируемость, тестируемость, документируемость и др.);
- переносимость (адаптивность, кроссплатформенность, заменяемость).
Характеристикам качества ПС сопоставляют те или иные критериальные меры. Например, мерой отказоустойчивости ПС может быть выбрана одна из следующих:
- безотказность;
- средняя наработка;
- интенсивность и поток отказов;
- распределение времен безотказности и др.
Показатели качества можно классифицировать на три группы:
- внутренние (архитектура, логика, корректность кода);
- внешние (время безотказного решения задач, восстанавливаемости, пропускная способность и др.);
- использования (комфортность, качество документации и др.).
Необходимо строить метамодель, пригодную для валидации, поддерживающий ее инструментарий или использовать имеющийся язык или протокол:
- UML – структурного моделирования;
- MOF – описания метамоделей;
- XML – обмена метаданными, Simulink и др.
На исправление для этапа тестирования требуется вчетверо больше затрат, чем на этапе проектирования. И двадцатикратно– на этапе спецификаций. Стоимость исправления на этапе эксплуатации больше на порядки, чем на этапах проектирования, тестирования.
Презентация о компании: https://sailet.pro/sailet.pdf
Сайт компании: https://sailet.pro
CMSmagazine (карточка компании и часть портфолио в открытом доступе): https://cmsmagazine.ru/agencies/sailet-kz/
Рейтинг cmsmagazine:
веб-студий / Алматы — 4 место
Android / Алматы — 5 место
Android / Казахстан — 11 место
веб-студий / Казахстан — 14 место
Наш канал в telegram: https://t.me/sailet_llp