Hans van der Schoot

Learn More
A data flow oriented test selection method for selectively generating abstract tests from a LOTOS specification is presented. This method is based on static data flow analysis to identify maximal IO-df-chains, which exhibit the associations between each specification output and those specification inputs that influence the output through definitions and(More)
In LOTOS, a system is specified as a behaviour expression describing the externally observable behaviour of the system in terms of possible sequences of interactions between the system and its environment. The desired control flow and data flow that must be established by a possible implementation of the system are specified in the behaviour expression as(More)
In this paper, we generalize the technique of fair reachability analysis to multi-cyclic protocols modeled as networks of communicating nite state machines, where a number of cyclic protocols are interconnected in such a way that any two component cyclic protocols share at most one process and each channel in the protocol belongs to exactly one component(More)
Fair rwchability analysis is generalized to multi-cyclic protocols defined in the CFSM model as networks of n >2 processes with a multiple unidirectional ring topology and with arbitrary process structures. As a restdt, the deadlock detection problem is shown to be decidable for multi-cyclic protocols whose fair reachable global state space kfinite. A(More)
  • 1