An experience is presented with an automated test design tool for functional analysis and test derivation of distributed systems formally specified using Estelle, a description technique based on an extended finite-state machine model. The tool accepts a formal specification of the system and generates control, data flow graphs, and unparameterised test sequences. The tool has been used, on an experimental basis, for conformance test design of ISO File, Transfer, access and Management protocols.
展开▼