Ankara : Department of Computer Engineering and Information Science and Institute of Engineering and Science, Bilkent Univ., 1993.Thesis (Master's) -- Bilkent University, 1993.Includes bibliographical references leaves 119-123With the recent increase in the use of formal methods in specification of
communication protocols, there is a need to base the conformance testing of
protocol implementations on formal specifications. This brings in the problem
of finding out special design issues to be used in the specification of such
systems that facilitate test generation. This aspect is called Specification For
Testability, and it is investigated in this study for the particular formal description
technique LOTOS. Specification for testability is approached from
the perspective of designing formal base protocol specifications, and then deriving
functional specifications from base specifications in order to use in test
generation. The method utilized for the derivation of functional specifications
is Ccdled slicing. As inspired from previous work in software engineering,
slices of protocol specifications are obtained systematically according to the
hierarchically designed test suite structures, where each slice corresponds to a
particular tunction of the protocol, and subsequent test generation is based on
the obtained slices. The techni(|ues developed are demonstrated on the simple
state-oriented specifications of INRES and ACSE protocols along with a
real base specification of the OSI Transport Protocol written in the constraintoriented
specification style. The results indicate that tests derived from functional
specifications have some remarkable properties with respect to test case
analysis and representation.Ateş, Ahmet FeyziM.S