Перевод названия: МОДЕЛЬ КОРРЕКТНОЙ РАБОТЫ КОМПЬЮТЕРНЫХ ПРОГРАММ С ПАМЯТЬЮ

Тип публикации: статья из журнала

Год издания: 2017

Ключевые слова: access errors to memory, algorithm for evaluation of correctness, correctness criterion, ошибки доступа к памяти, алгоритм оценки корректности работы, критерии корректности

Аннотация: This study describes a model of the correct program operation in frames of operational memory access and a method developed to improve the efficiency of determining the offending software behavior. Рассматривается модель корректной работы программы по части доступа к оперативной памяти и методика, разработанная с целью повышения эфПоказать полностьюфективности определения сбойного поведения ПО.

Журнал: Молодежь. Общество. Современная наука, техника и инновации

Выпуск журнала: № 16

Номера страниц: 322-324

Место издания: Красноярск

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева

• Spiridonov I. (I.) (Reshetnev Siberian State Aerospace University)
• Khramlyuk S. (A.) (Reshetnev Siberian State Aerospace University)
• Kolesnikov S. (G.), научный руководитель (Reshetnev Siberian State Aerospace University)
• Maslova O. (V.), переводчик (Reshetnev Siberian State Aerospace University)

• РИНЦ (eLIBRARY.RU)