К программной системе (ПС) в жизненном цикле (ЖЦ) ее использования предъявляются требования по производительности, устойчивости, защищенности и др. По статистике и испытаниям, в среднем в 1000 строках программного кода содержится одна ошибка, на поиск и устранение которой тратятся значительные ресурсы (временные, интеллектуальные, машинные и др.).

Это следствие неэффективного инструментария, технологического несовершенства, сложностей математического обоснования корректности (верификации), критериев качества и надежности.

В ЖЦ ПС учитываются процессы (действия), исполнители, данные (объекты) и модели типа:

  1. каскадная, которая эффективна при неизменных на всем ЖЦ множестве спецификаций, для несложных проектов или для сложных, но в качестве модели для низкого уровня (подмодели);
  2. инкрементной, которая эффективна при необходимости динамического уточнения спецификации, для проектов со статическими спецификациями или с без риска;
  3. эволюционной («спиральной»), которая эффективна для сложных проектов со спецификациями, адаптируемыми или реализуемых технологиями, которые сами эволюционируют.

Их достоинства и недостатки – это возможность:

  • анализа целей, ресурсов и выстраивания концепции ЖЦ и др.;
  • для исполнителей – аналитики;
  • для объектов – согласование функций, ролей, эксплуатационных характеристик и др.

Согласно стандарту, существенные характеристики ПС классифицированы в восемь классов:

  1. функциональность (полнота, точность, применимость);
  2. производительность (функциональная, аппаратно-программная, пиковая);
  3. совместимость (автономно-функциональная, комплексная);
  4. надежность (результативность, доступность, отказоустойчивостьи др.);
  5. защищенность (аутентифицируемость, контроль доступа, отсутствие отказов от действий и др.);
  6. дружественность (понятность, легкость освоения, оперативность, защита от неграмотных действий пользователя и др.);
  7. удобство сопровождения, модификации (модифицируемость, тестируемость, документируемость и др.);
  8. переносимость (адаптивность, кроссплатформенность, заменяемость).

Характеристикам качества ПС сопоставляют те или иные критериальные меры. Например, мерой отказоустойчивости ПС может быть выбрана одна из следующих:

  • безотказность;
  • средняя наработка;
  • интенсивность и поток отказов;
  • распределение времен безотказности и др.

Показатели качества можно классифицировать на три группы:

  1. внутренние (архитектура, логика, корректность кода);
  2. внешние (время безотказного решения задач, восстанавливаемости, пропускная способность и др.);
  3. использования (комфортность, качество документации и др.).

Необходимо строить метамодель, пригодную для валидации, поддерживающий ее инструментарий или использовать имеющийся язык или протокол:

  • 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