RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 6, страницы 718–729 (Mi mais595)  

Towards null safety benchmarks for object initialization

[К критериям оценки безопасности нулевых ссылок при инициализации объекта]

A. V. Kogtenkov

Podolsk, Russia

Аннотация: Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно-ориентированных языках. Очевидное добавление ключевых слов, чтобы различать всегда ненулевые и возможно нулевые ссылки, оказывается недостаточным во время инициализации объекта, когда некоторые поля, объявленные всегда ненулевыми, могут временно быть нулевыми до окончания инициализации. Данная работа устанавливает ключевые причины проблемы инициализации объектов. Она предлагает сценарии и метрики в качестве эталонных тестов для сравнения решений этой проблемы. Наконец, она демонстрирует применение этих тестов к предложенному решению инициализации объектов в Eiffel. Статья публикуется в авторской редакции.

Ключевые слова: разыменование нулевого указателя, безопасность нулевых ссылок, безопасность пустых ссылок, инициализация объектов, статический анализ, эталонные тесты безопасности нулевых ссылок

DOI: https://doi.org/10.18255/1818-1015-2017-6-718-729

Полный текст: PDF файл (566 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 004.052.42, 004.4’6, 004.423.42, 004.432.2, 004.438 Eiffel, 519.681.2, 519.682.1
Поступила в редакцию: 11.09.2017
Язык публикации: английский

Образец цитирования: A. V. Kogtenkov, “Towards null safety benchmarks for object initialization”, Модел. и анализ информ. систем, 24:6 (2017), 718–729

Цитирование в формате AMSBIB
\RBibitem{Kog17}
\by A.~V.~Kogtenkov
\paper Towards null safety benchmarks for object initialization
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 6
\pages 718--729
\mathnet{http://mi.mathnet.ru/mais595}
\crossref{https://doi.org/10.18255/1818-1015-2017-6-718-729}
\elib{http://elibrary.ru/item.asp?id=30730611}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais595
  • http://mi.mathnet.ru/rus/mais/v24/i6/p718

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:75
    Полный текст:40
    Литература:10
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019