Перевод названия: DYNAMIC TESTING SOFTWARE WITH THE USE OF FINITE AUTOMATIC Equipment
Тип публикации: статья из журнала
Год издания: 2015
Ключевые слова: information security, vulnerability, software engineering, анализ программного кода, защита информации, уязвимость
Аннотация: Описан подход к реализации динамического тестирования программного кода. Использована и протестирована методика на основе конечных автоматов. Оценены варианты реализации лексического и синтаксического анализа. Применение указанных методов возможно при оценке надежности программного обеспечения бортовых систем управления КА. The artПоказать полностьюicle describes an approach to implementing software dynamic testing. Technique based on finite automatic equipment are used and tested. The research evaluates options for the implementation of the lexical and syntactic analysis. The application of these methods is possible when assessing the reliability of software on-board satellite control systems.
Журнал: Решетневские чтения
Выпуск журнала: Т. 2
Номера страниц: 302-304
ISSN журнала: 19907702
Место издания: Красноярск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева"