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

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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 10 (in Russian), 2006, Стр. 51-68.

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

For citation

А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. . Proceedings of the Institute for System Programming, vol. 10 (in Russian), 2006, Стр. 51-68. .

Full text of the paper in pdf (in Russian) Back to the contents of the volume