Test Method for Process Deadlock Based on Graph Grammars

Yi Wang, Han Ding, Fan Yang

Abstract


This paper proposes a test method for process deadlock based on graph grammars through constructing process resource diagram. Through using the construction rules, it can construct and judge the validity of the process resource diagram. Through using the test rules, it can test if there is the deadlock in the process. The method is a graphical approach; it is simple and intuitive with strong operability.

 

DOI : http://dx.doi.org/10.11591/telkomnika.v12i5.4945


Keywords


process; deadlock; test; graph grammars

Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Indonesian Journal of Electrical Engineering and Computer Science (IJEECS)
p-ISSN: 2502-4752, e-ISSN: 2502-4760
This journal is published by the Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU).

shopify stats IJEECS visitor statistics