Статический анализ исходных текстов программ - История изменений

Wikiadmin: Замена текста — «== Определение ==» на «»

2019-11-16T19:47:30Z

Замена текста — «== Определение ==» на «»

Wikiadmin: Замена текста — «Источник: » на «'''''Источник:''''' »

2019-11-13T16:28:54Z

Замена текста — «Источник: » на «'''''Источник:''''' »

Wikiadmin: Замена текста — «Источник: Руководящий документ "Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей." (Утверждено решением председателя Государственной технической комиссии при Президенте Российской Федерации от 4 июня 1999 г. № 114)» на «Источник: [[Защита от НСД к информации. Часть 1. ПО СрЗИ. Классификация по уровню контроля отсутствия недекларированных в...

2019-11-08T20:00:34Z

Замена текста — «Источник: Руководящий документ "Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей." (Утверждено решением председателя Государственной технической комиссии при Президенте Российской Федерации от 4 июня 1999 г. № 114)» на «Источник: [[Защита от НСД к информации. Часть 1. ПО СрЗИ. Классификация по уровню контроля отсутствия недекларированных в...

Wikiadmin: 1 версия импортирована

2019-10-29T11:01:52Z

1 версия импортирована

wikisec>Swan: /* Определение */

2009-10-22T08:02:41Z

Определение

Новая страница

== Определение ==
'''Статический анализ исходных текстов программ''' - совокупность методов контроля (несоответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ.

Источник: Руководящий документ "Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей." (Утверждено решением председателя Государственной технической комиссии при Президенте Российской Федерации от 4 июня 1999 г. № 114)

== Требования ==
{| align="center" rules="all" cellspacing="0" cellpadding="4" style="border: 1px solid #999; border-right: 2px solid #999; border-bottom:2px solid #999
! '''№'''
! '''Наименование требования'''
! '''Уровень контроля 4'''
! '''Уровень контроля 3'''
! '''Уровень контроля 2'''
! '''Уровень контроля 1'''
|-
! 1
| Контроль полноты и отсутствия избыточности исходных текстов
| +
| +
| +
| =
|-
! 2
| Контроль соответствия исходных текстов ПО его объектному (загрузочному) коду
| +
| =
| =
| +
|-
! 3
| Контроль связей функциональных объектов по управлению
| -
| +
| =
| =
|-
! 4
| Контроль связей функциональных объектов по информации
| -
| +
| =
| =
|-
! 5
| Контроль информационных объектов
| -
| +
| =
| =
|-
! 6
| Контроль наличия заданных конструкций в исходных текстах
| -
| -
| +
| +
|-
! 7
| Формирование перечня маршрутов выполнения функциональных объектов
| -
| +
| +
| =
|-
! 8
| Анализ критических маршрутов выполнения функциональных объектов
| -
| -
| +
| =
|-
! 9
| Анализ алгоритма работы функциональных объектов на основе блок-схем, диаграмм и т. п., построенных по исходным текстам контролируемого ПО
| -
| -
| +
| =
|-

[[Категория: Определения]]
[[Категория: Требования]]
[[Категория: Сертификация]]

← Предыдущая		Версия 19:47, 16 ноября 2019
Строка 1:		Строка 1:
−	~~== Определение ==~~	+
	'''Статический анализ исходных текстов программ''' - совокупность методов контроля (несоответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ.		'''Статический анализ исходных текстов программ''' - совокупность методов контроля (несоответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ.

@@ Строка 2: / Строка 2: @@
 '''Статический анализ исходных текстов программ''' - совокупность методов контроля (несоответствия реализованных и декларированных в документации функциональных возможностей программного обеспечения, основанных на структурном анализе и декомпозиции исходных текстов программ.
-Источник: [[Защита от НСД к информации. Часть 1. ПО СрЗИ. Классификация по уровню контроля отсутствия недекларированных возможностей]]
+'''''Источник:''''' [[Защита от НСД к информации. Часть 1. ПО СрЗИ. Классификация по уровню контроля отсутствия недекларированных возможностей]]
 == Требования ==

← Предыдущая	Версия 11:01, 29 октября 2019
(нет различий)