A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation
Abstract
About the Authors
S. N. BaranovRussian Federation
V. P. Kotlyarov
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.)