The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Перевод документации Eiffel по технологии безопасности void safety

14.02.2012 12:48

Выполнен перевод на русский язык статьи про использование механизма безопасности "void safety" в Eiffel, объектно-ориентированном языке, поддерживающем технологию проектирования по контракту.

При проектировании структур данных в ПО часто приходится иметь дело с несуществующими ссылками (null в терминологии C/C++, Void в терминологии Eiffel). Распространенной проблемой при этом является разыменование пустого указателя, что приводит к ошибкам во время выполнения. В статье рассмотрены вопросы безопасности ПО, а также решение этой проблемы в языке Eiffel на основе понятий прикрепленных и открепляемых типов, а также сертифицированных шаблонов прикрепления. Предложенное решение совместимо с уже существующим программным кодом, не являющимся безопасным, а также полностью согласовано с остальными элементами и концепциями языка Eiffel.

  1. Главная ссылка к новости (http://www.opennet.ru/base/dev...)
  2. OpenNews: Eiffel Studio 6.8 - IDE для языка Eiffel. Новая модель многопоточного программирования SCOOP.
Автор новости: croster
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/33083-eiffel
Ключевые слова: eiffel, security
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (2) RSS
  • 1, поцанчик (ok), 00:14, 15/02/2012 [ответить]  
  • +/
    Очень полезная и необходимая штука !

     
  • 2, Аноним (-), 09:03, 17/02/2012 [ответить]  
  • +/
    Из этой статьи вы узнаете, что СШП значит вовсе не то, к чему Вы привыкли на просторах Рунета ;)
     
     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру