Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
Аннотация
Рассматривается модель, используемая при ручной разработке спецификаций приложения, созданная на основе теории базовых протоколов А.А. Летичевского и поддерживающего теорию инструментария символьной верификации. Обсуждаются способы ограничения поведенческих характеристик модели при условии сохранения соответствия исходным требованиям. По успешно верифицированной модели генерируется код приложения и код тестов. Приводится описание методики применения разработанной модели.
Об авторах
Сергей Николаевич Баранов
Санкт-Петербургский государственный политехнический университет
Россия
Россия
Всеволод Павлович Котляров
Санкт-Петербургский государственный политехнический университет
Россия
Россия
Список литературы
1. Letichevsky A.A., Kapitonova J.V., Volkov V.A., Vyshemirskii V.V., Letichevsky Jr. A.A. Insertion Programming // Cybernetics and Systems Analysis. 2003. Volume 39, Issue 1 (January 2003). P. 16-26.
2. Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky O.O., Volkov V.V., Baranov S.N., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL), IRISA, Rennes France, 2004.
3. Летичевский О.А. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами: дис. ... канд. физ.-мат. наук. Киев, 2005. 138 с.
4. Baranov S., Kotlyarov V., Letichevsky A., Drobintsev P. The technology of Automation Verification and Testing in Industrial Projects // Proc. of St. Petersburg IEEE Chapter, International Conference, May 18-21. St.Petersburg, Russia, 2005. P. 81-86.
5. Letichevsky A., Gilbert D. A Model for Interaction of Agents and Environments // D.Bert, C.Choppy, P.Moses (Eds), Resent Trends in Algebraic Development Techniques. 1999. LNCS 1827. P. 311-328.
6. Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: дис. ... канд. физ.-мат. наук. Киев, 2009. 140 с.
7. Baranov S., Kapitonova J., Letichevsky A., Kolchin A., Letichevsky A. (Jr)., Radchenko V., Potiyenko S., Volkov V. Tools For Requirements Capturing Based on the Technology of Basic Protocols // Proc. of St. Petersburg IEEE Chapter, International Conference, May 18-21. St. Petersburg, Russia, 2005. P. 92-97.
8. Баранов С.Н., Котляров В.П., Летичевский А.А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований: Международная научная конференция: космос, астрономия и программирование. Лавровские чтения. 20-22 мая, мат.-мех. факультет СПбГУ. СПб, 2008. С.134-145.
9. Recommendation ITU-T Z.151 User requirements notation (URN) - Language Definition, 2008.
Рецензия
Для цитирования:
Баранов С.Н., Котляров В.П. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов. Моделирование и анализ информационных систем. 2011;18(4):118-130.
For citation:
Baranov S.N., Kotlyarov V.P. A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation. Modeling and Analysis of Information Systems. 2011;18(4):118-130. (In Russ.)
Просмотров:
546
Послать статью по эл. почте 