Thumbnail
Access Restriction
Open

Author Ard, C. ♦ Bochmann, G. V.
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Approach Testing Specification Preliminary Draft ♦ Reference Specification ♦ Testing Module ♦ Automated Method ♦ Distributed Mutual Exclusion Algorithm ♦ Design Validation ♦ Reference Specification Present Certain Problem ♦ Step-wise Refinement ♦ Extended Finite State Transition Model ♦ Communication Service Specification ♦ Communication Protocol ♦ Transport Protocol ♦ Protocol Specification
Abstract An approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions obtained from an execution of the refined specification (e. g. the protocol specification) with the reference specification (e. g. the communication service specification). Non-determinism in reference specifications presents certain problems. Using an extended finite state transition model for the specifications, a strategy for limiting the amount of non-determinacy is presented. An automated method for constructing a testing module for a given reference specification is discussed. Experience with the application of this testing approach to the design of a Transport protocol and a distributed mutual exclusion algorithm is described. I.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study