A high-level Petri net can be viewed as an abstract concurrent program and thus can be tested. This paper presents a theory of testing high-level Petri nets based on a general theory of testing concurrent systems. Four groups of testing methods are studied. Their adequacy criteria and behavior observation schemes are formally defined. Their interrelationships are investigated via proving the subsumption relationships among the adequacy criteria and the extraction relationships among the observation schemes.
展开▼