Functional Testing Using Object WorkFlow Nets


  • Stéphane Julia Computing Faculty, Federal University of Uberlândia
  • Liliane do Nascimento Vale Computer Science Department, Federal University of Goiás
  • Lígia Maria Soares Passos Computer Science Department, Federal Rural University of Rio de Janeiro


Functional testing, object Petri nets, WorkFlow nets


The main purpose of this paper is to present a new formal definition that can be used for modeling functional test. Initially, WorkFlow nets are used to represent the main functional requirement of the software. Next, Object WorkFlow nets derived from WorkFlow nets and object Petri nets are used to formally specify the test models of object oriented software functionalities to be used. In particular, the proposed models allow for the addition of complex data structure specifications as well as complex control specifications. The dynamic execution of functional testing models, when considering a specific software architecture, is given by the instantiation of a testing class associated with the tested functionality. An example of execution of functional testing corresponding to the "Withdrawal Operation" of a bank ATM machine is presented, as well as a comparative study based on a more traditional UML modeling approach.


Download data is not yet available.




How to Cite

Julia, S., do Nascimento Vale, L., & Soares Passos, L. M. (2016). Functional Testing Using Object WorkFlow Nets. COMPUTING AND INFORMATICS, 35(3), 719–743. Retrieved from