Test Method for Process Deadlock Based on Graph Grammars

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