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

• Main Author: Н.Н. Мансуров
• Format: Article
• Language: English
• Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2000-01-01
• Series: Труды Института системного программирования РАН
• Online Access: https://www.ispras.ru/proceedings/isp_1_2000/isp_1_2000_55/
• ISSN: 2079-8156; 2220-6426

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