Proceedings of ISP RAS


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

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

Abstract

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

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

Edition

Proceedings of the Institute for System Programming, vol. 1 (in Russian), 2000, Стр. 55-76.

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

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