Сборники трудов ИСП РАН


Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения.

Н.Н. Мансуров.

Аннотация

Данная статья обобщает наш опыт разработки инструментальных средств нового поколения, основанных на формальных методах. Целью наших исследований является практическое улучшение процесса разработки программного обеспечения в телекоммуникационном секторе. Мы разрабатываем методику ускоренной разработки программного обеспечения, которая охватывает этапы спецификации, проектирования, тестирования и обратной инженерии. Особенность методики заключается в использовании формальных языков спецификации на ранних этапах разработки и автоматическом восстановлении формальных спецификаций унаследованного телекоммуникационного программного обеспечения. Методика использует наиболее распространенные языки формальных спецификаций, стандартизованные Международным телекоммуникационным союзом (МТС): язык спецификаций и описаний SDL, язык диаграмм взаимодействия MSC, язык описания тестов TTCN и язык описания данных ASN.1.

В данной статье подробно рассматриваются следующие ключевые части методики:
спецификация требований к программному обеспечению в виде сценариев с последующей формализацией на языке диаграмм взаимодействия;
высокопроизводительная валидация требований с использованием моделей на языке SDL;
автоматический синтез SDL моделей по спецификациям на языке диаграмм взаимодействия;
детализация высокоуровневых SDL моделей;
адаптивная генерация программ по SDL моделям;
автоматическое восстановление SDL моделей по исходным текстам унаследованного программного обеспечения.

Издание

Труды Института системного программирования РАН, том 1, 2000, стр. 55-76.

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

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