Traversal of arbitrary sequences of UCM symbolic transitions for test generation

A.A. Guba

Abstract


The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The generation of symbolic traces used for software system testing is described.


Prombles in programming 2014; 2-3: 107-111


Full Text:

PDF

References


International Telecommunications Union. Recommendation. Z.151 – User Requirements Notation (URN), 208 p. – 2008.

Kealey J. and Amyot D. Enhanced Use Case Map Traversal Semantics. 13th SDL Forum (SDL’07), Paris, France, Springer. – September 2007. – P. 133–149; 288 p.

Gunter Mussbacher. Aspect-Oriented User Requirements Notation. Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in

partial fulfillment of the requirements for the degree of Ph.D. in Computer Science. University of Ottawa, Ottawa, Canada, September 2010. – 334 p.

International Telecommunications. Union. Recommendation Z.120 – Message Sequence Charts (MSC), 1998. – 136 p.

Guan R. From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS. M.Sc. thesis,

OCICS, University of Ottawa, Canada, 2002. – 146 p.

Hassine J., Rilling J., and Dssouli R. An ASM Operational Semantics for Use Case Maps // 13th IEEE International Requirement Engineering

Conference (RE’05), IEEE Computer Society Press, September 2005. – P. 467–468; 494 p.

Jameleddine Hassine. Formal semantics and verification of use case maps, A thesis in The Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada, 2008. – 299 p.

Weiss M. and Amyot D. Business Process Modeling with URN. International Journal of E-Business Research, July-September 2005. – Vol. 1(3). – P. 63–90; 112 p.

Peter Huber, Kurt Jensen, and Robert M. Shapiro. Hierarchies in coloured petri nets // In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, Springer-Verlag, London, UK – 1991. – P. 313–341; 724 p.

Губа А.А., Шушпанов К.И. Инсерционная семантика плоских многопотоковых моделей языка UCM // Управляющие системы и

машины. – 2012. – № 6. – С. 15–21.

Годлевский А.Б. Инсерционная семантика параллельных процедурных конструктов языка UCM // Там же, 2012. – № 6. – С. 22–34.

Vladimir Peschanenko, Anton Guba, Constantin Shushpanov: (en) Specializations and Symbolic Modeling. In: Ermolayev, V. et al. (eds.) Proc. 9-th Int. Conf. ICTERI, Kherson, Ukraine, Jun 19–22, 2013. – P. 490–505.

Letichevsky A., Kapitonova J., Volkov V., Letichevsky Jr.A., Baranov S., Kotlyarov V., Weigert T. System Specification with Basic Protocols.

Cybernetics and System Analysis. – 2005. – (4), P. 3–21.

Letichevsky A.A., Godlevsky A.B., Letichevsky Jr. A.A., Potienko S.V. Peschanenko V.S. Properties of Predicate Transformer of VRS System.

Cybernetics and System Analyses. – 2010. – (4), P. 3–16.

Letichevsky A., Letychevskyi O., Peschanenko V. Insertion Modeling System. In: Clarke, E.M., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011.

LNCS 7162, Springer Verlag, Berlin Heidelberg, 2011. – P. 262–274.

Baranov S.N., Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A. Implementation of an integrated verification and testing technology in telecommunication project. Proceedings // IEEE Russia Northwest Section. 110 Anniversary of Radio Invention conference. S.Petyersburg, 2005. – 11 p.

Никифоров И.В., Петров А.В., Юсупов Ю.В. Генерация формальной модели системы по требованиям, заданным в нотации USE CASE MAPS. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. СПб.: Изд-во Политехнического ун-та, 2010. – № 4 (103). – С. 191–195.


Refbacks

  • There are currently no refbacks.