On-the-fly conformance testing using SPIN

摘要

In this paper we report on the construction of a tool for conformance testing based on SPIN. The SPIN tool has been adapted such that it can derive the building blocks for constructing test cases, called test primitives, from systems described in PROMELA. The test primi- tives support the on-the-fly conformance testing process. Traditional from the state-space explosion problem.