Логотип Информационно-коммуникационные технологии в образовании
  • Использование формальных методов для обеспечения соблюдения программных стандартов
  • Использование формальных методов для обеспечения соблюдения программных стандартов
    Гриневич А., Кулямин В., Марковцев Д., Петренко А., Рубанов В., Хорошилов А.
    2006
    Гриневич А., Кулямин В., Марковцев Д. и др. Использование формальных методов для обеспечения соблюдения программных стандартов. - М.: Центр верификации ОС Linux, 2006. - 14 с.
    Статья, обзор
    4. Программирование » 4.6. Технологии разработки программных систем
    5. Операционные системы » 5.8. ОС Linux
     
    Аннотация
    В статье описывается подход к построению инфраструктуры использования программных стандартов. Предлагаемый подход основан на формализации стандартов и автоматизации построения тестов для проверки соответствия им из полученных формальных спецификаций. В рамках этого подхода предлагается технологическая поддержка для решения ряда возникающих инженерных и организационных задач, что позволяет использовать его для сложных промышленных стандартов программного обеспечения. Этот тезис иллюстрируется использованием описанного подхода для формализации ядра Базового стандарта Linux (Linux Standard Base).
    Файл публикации (формат Adobe PDF, размер 490 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100