Resumo

BAQUERO HERNANDEZ, Lionel Rodolfo; ARGOTA VEGA, Luis Enrique; RODRIGUEZ VALDES, Osviel  e  CIUDAD RICARDO, Febe Ángel. Method for modeling and test of Use Case Diagrams by Petri nets. Rev cuba cienc informat [online]. 2016, vol.10, suppl.2, pp.138-149. ISSN 2227-1899.

ABSTRACT The modeling software is key to the development of informatical applications, is a graphic way of visualizing, constructing, and documenting a system, also it can be used for communication with the client. A Petri net can be defined as a graphical or mathematical translation of a discrete event system with which to describe their behavior. In this investigation is proposed a method for modeling and test use case diagrams using Petri nets. The proposed method has been mathematically demonstrated through an adaptation to the formal definition of Petri nets specific to these types of diagrams.

Palavras-chave : modeling software; testing; Petri nets; use case diagram.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )