Использование формальных методов для обеспечения соблюдения программных стандартов.

Использование формальных методов для обеспечения соблюдения программных стандартов.

А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов.

Аннотация

В статье описывается подход к построению инфраструктуры использования программных стандартов. Предлагаемый подход основан на формализации стандартов и автоматизации построения тестов для проверки соответствия им из полученных формальных спецификаций. В рамках этого подхода предлагается технологическая поддержка для решения ряда возникающих инженерных и организационных задач, что позволяет использовать его для сложных промышленных стандартов программного обеспечения. Этот тезис иллюстрируется использованием описанного метода для формализации ядра Базового стандарта Linux (Linux Standard Base). Данная работа лежит в рамках подходов к решению задачи по обеспечению развития надежных крупномасштабных программных систем, провозглашенной международным академическим сообществом одним из Больших Вызовов в информатике.

Издание

Труды Института системного программирования РАН, том 10, 2006, стр. 51-68.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Для цитирования

А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. . Труды Института системного программирования РАН, том 10, 2006, стр. 51-68. .

Полный текст статьи в формате pdf Вернуться к содержанию тома