Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets

@inproceedings{Watanabe1995TestSG,
  title={Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets},
  author={Harumi Watanabe and Tomohiro Kudoh},
  booktitle={APSEC},
  year={1995}
}
Autom,atic generation, of test suites for concurrent system,s is a newly exploited area of conformance tests. A f e w methods based on, Fin i te State Mach,ine (FSM) haiie been proposed recently. However. th.ese methods require a large amoun t of com,putation costs. B y using Colowred Petr i ne t (CPN), the required amo.unt of com,pu.tation. costs can. be reduced, and th,e length of th,e test sriites can be reduced by using the equinalen,t m.arkin,g technique on, CPN. In. addition,, these m… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS