Методики повышения защищенности программ от сбоев, за счет адаптивных коррекций стандарта кодирования

Актуальность
Astra Linux 1.5 Special Edition − сертифицированная операционная система применяемая при разработке программных средств с требованием к отсутствию недекларированных возможностей.
Красноярск, СибГУ, Бархатова Д. А.
В ряде отраслей к разрабатываемому программному обеспечению предъявляются повышенные требования к стабильности, безопасности и надежности. Примерами таких отраслей являются:
1. Банковская система РФ [СТО БР ИББС-1.0-2014];
2. Бортовое программное обеспечение [KT-178B];
3. Программное обеспечение медицинского оборудования [ГОСТ Р ИСО/ТС 25238-2009]

Цель и задачи работы
Цель: обеспечение повышения защищенности программных средств от сбоев за счет автоматизации сбора статистики для адаптивных коррекций стандарта кодирования
Задачи:
описать требования к системе основываясь на исходных ограничениях, рассмотреть и выбрать средства ее формирования;
разработать методику автоматизации процесса корректировки стандарта кодирования;
провести тестовое развертывание системы, на основе разработанного проекта и проверить корректность ее работы.
Красноярск, СибГУ, Бархатова Д. А.

Средства выбираются с учетом того, что развертывание системы будет производиться на базе Astra Linux 1.5 Special Edition. В качестве системы контроля версий используется программное средство Git.
Выбор средств формирования системы
Красноярск, СибГУ, Бархатова Д. А.

Выбор средств формирования системы
Красноярск, СибГУ, Бархатова Д. А.

Схема процесса сбора статистики анализа и тестирования ПО
Красноярск, СибГУ, Бархатова Д. А.

Пример интеграции средств непрерывной интеграции и отслеживания ошибок
Красноярск, СибГУ, Бархатова Д. А.

Красноярск, СибГУ, Бархатова Д. А.

Красноярск, СибГУ, Бархатова Д. А.

Красноярск, СибГУ, Бархатова Д. А.

Результатами работы являются:
модель системы, реализующая процедуру автоматизированного сбора статистики возникающих ошибок;
методика повышения защищенности программных средств от сбоев за счет автоматизации сбора статистики для адаптивных коррекций стандарта кодирования;
развертывание системы непрерывной интеграции и отслеживания ошибок на основе разработанного проекта.
Выводы
Красноярск, СибГУ, Бархатова Д. А.

Спасибо за внимание!

Выбор средства непрерывной интеграции

Выбор системы отслеживания ошибок