РАЗВИТИЕ ПРОГРАММНОГО ИНСТРУМЕНТАРИЯ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНЫХ ПРОДУКТОВ БЕЗ ИСХОДНЫХ ТЕКСТОВ

  • Николай Николаевич Самарин Научно-исследовательский институт "Квант"
DOI: https://doi.org/10.25559/SITITO.2017.1.473

Аннотация

В статье описывается развитие отечественного программного инструментария, позволяющего оценивать надежность, качество и безопасность программных продуктов без исходных текстов. Указаны результаты его работы. Приведены сведения о действующих нормативно-методических документах, которые потеряли свою актуальность на фоне развития информационных технологий и аппаратно-программных решений. Приведены альтернативные комплексы анализа программных продуктов, имеющие сертификаты ФСТЭК России.

Сведения об авторе

Николай Николаевич Самарин, Научно-исследовательский институт "Квант"

начальник научно-исследовательского отделения

Литература

1. Rukovodjashhij dokument. Zashhita ot nesankcionirovannogo dostupa k informacii. Chast' 1. Programmnoe obespechenie sredstv zashhity informacii. Klassifikacija po urovnju kontrolja otsutstvija nedeklarirovannyh vozmozhnostej. M.: Gostehkomissija Rossii, 1998.
2. Korolev V.Ju., Sokolov I.A. Osnovy matematicheskoj teorii nadezhnosti modificiruemyh sistem / M.: IPI RAN. 2006. – 102s.
3. Majers G. Dzh. Nadezhnost' programmnogo obespechenija. M.: 1980.
4. Karpovskij E.Ja., Chizhov S.A. Nadezhnost' programmnoj produkcii. / Kiev. 1990.
5. Vyjavlenie ujazvimostej programmnogo obespechenija v processe sertifikacii / A.S. Markov, S.V. Mironov, V.L. Cirlov // Izvestija Juzhnogo federal'nogo universiteta. Tehnicheskie nauki. 2006. T. 62. № 7. S. 82-87.
6. CBI [Jelektronnyj resurs] Rezhim dostupa: http://www.cbi-info.ru/groups/page-343.htm
7. Sistema sertifikacii sredstv zashhity informacii po trebovanijam bezopasnosti informacii № ROSS RU.0001.01BI00 //Gosudarstvennyj reestr sertificirovannyh sredstv zashhity informacii. [Jelektronnyj resurs]. Rezhim dostupa: http://fstec.ru/tekhnicheskaya-zashchita-informatsii/dokumenty-po-sertifikatsii/153-sistema-sertifikatsii/591-gosudarstvennyj-reestr-sertifitsirovannykh-sredstv-zashchity-informatsii-n-ross-ru-0001-01bi00.
8. Kubrin S.S., Samarin N.N., Sovremennoe sostojanie instrumental'nyh sredstv analiza programmnogo obespechenija na ujazvimost' //Gornyj informacionno-analiticheskij bjulleten' (nauchno-tehnicheskij zhurnal), 2013,№ 5, s. 92-102.
9. Teksy programm. [Jelektronnyj resurs]. Rezhim dostupa: http://bochs.sourceforge.net.
10. Samarin N.N. Programmnyj maket sistemy vizualizacii trakta dannyh v jelektronnoj vychislitel'noj sisteme «Put'» / Bazhenov A.S., Borisov A.V., Kudjakov K.I., Samarin N.N. // Svidetel'stvo o gosudarstvennoj registracii programmy dlja JeVM №2013614133 ot 24.04.2013g.
11. Samarin N.N. Programmnyj kompleks kontrolja i vizualizacii oblastej pamjati jelektronnoj vychislitel'noj sistemy. / Bazhenov A.S., Borisov A.V., Samarin N.N. // Svidetel'stvo o gosudarstvennoj registracii programmy dlja JeVM №2013660975 ot 26.11.2013g.
12. Samarin N.N. Programmnyj kompleks opredelenija ciklov v oblastjah pamjati jelektronnoj vychislitel'noj sistemy s ih avtomaticheskoj registraciej // Borisov A.V., Kubrin S.S., Samarin N.N. // Svidetel'stvo o gosudarstvennoj registracii programmy dlja JeVM №2015615141 ot 08.05.2015g.
Опубликована
2017-05-30
Как цитировать
САМАРИН, Николай Николаевич. РАЗВИТИЕ ПРОГРАММНОГО ИНСТРУМЕНТАРИЯ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНЫХ ПРОДУКТОВ БЕЗ ИСХОДНЫХ ТЕКСТОВ. Современные информационные технологии и ИТ-образование, [S.l.], v. 13, n. 1, p. 206-211, may 2017. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/218>. Дата доступа: 22 nov. 2024 doi: https://doi.org/10.25559/SITITO.2017.1.473.
Форматы библиографических ссылок
Выпуск
Том 13 № 1 (2017): Современные информационные технологии и ИТ-образование
Раздел
Исследования и разработки в области новых ИТ и их приложений
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.