A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation
Abstract
The considered model is used in manual development of application specifications and is based on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the source requirements are discussed. If the model is verified successfully, the executable code of the application and the respective test code are generated from the model. The technique of using the developed model is described.
About the Authors
S. N. Baranov
Санкт-Петербургский государственный политехнический университет
Russian Federation
Russian Federation
V. P. Kotlyarov
Санкт-Петербургский государственный политехнический университет
Russian Federation
Russian Federation
References
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.
Review
For citations:
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.)
Views:
545
Email this article 