24/10/2024
Успешно завершена процедура сертификации программного изделия «Система контроля и анализа текстов» ГСТА.00800-01 (СКАТ) в системе сертификации средств защиты информации Министерства обороны Российской Федерации на соответствие:
- требованиям руководящего документа «Защиты от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999 г.);
- реальных и декларируемых в документации функциональных возможностей.
На программное изделие СКАТ 09.10.2024 выдан сертификат соответствия Минобороны России № 7124, действительный до 09.10.2029.
Программное изделие СКАТ применяется для повышения качества разработки программного обеспечения, поиска уязвимостей в программном обеспечении, выполнения требований ГОСТ Р 56939 «Разработка безопасного программного обеспечения. Общие требования», оценки соответствия и формирования отчетов. Программное изделие СКАТ предназначено для:
- автоматизированного поиска избыточности исходных текстов на уровне файлов;
- автоматизированного поиска избыточности функциональных объектов исходных текстов программного обеспечения;
- контроля связей функциональных объектов по управлению;
- контроля связей функциональных объектов по информации;
- контроля информационных объектов различных типов;
- формирования перечня маршрутов выполнения функциональных объектов;
- анализа критических маршрутов выполнения функциональных объектов для заданных экспертом списков информационных объектов;
- построения по исходным текстам контролируемого программного обеспечения блок-схем, диаграмм и т.п.;
- проведения динамического анализа с контролем выполнения функциональных объектов;
- сопоставления фактических маршрутов выполнения функциональных объектов и маршрутов, построенных в процессе проведения статического анализа;
- автоматизированного анализа препроцессорных директив;
- корректировки полученных результатов по результатам экспертного анализа и формирования конечного отчета с учетом экспертной оценки;
- расчета контрольных сумм исходных текстов и дополнительных файлов, с возможностью распаковки архивов и поиском одинаковых файлов;
- формирования отчетов по избыточности на уровне файлов и функциональных объектов, маршрутов выполнения, блок схем с подсчетом контрольных сумм, фиксации даты внесения последних изменений, размера каждого файла в исходных текстах и выбранных экспертном дополнительных файлов;
- автоматического формирования трасс сборки и системных вызовов с возможностью их сохранения;
- автоматического удаления избыточных файлов.
Программное изделие СКАТ имеет свидетельство о государственной регистрации программы для ЭВМ от 03.06.2021 № 2021619037.
|
