Professional Documents
Culture Documents
Untitled Extract Pages3
Untitled Extract Pages3
Untitled Extract Pages3
5
In addition to the formal description techniques discussed above, the OSI standardization
committees also use certain semi-formal languages (which have no formally defined semantics). In
particular, a language called TTCN [Sari92] is used for describing conformance test cases, and the
ASN.1 notation is used for describing the data structures of the protocol data units (messages)
exchanged by the OSI application layer protocols [Neuf92]. This notation is associated with a
coding scheme which defines the format in which these data units are exchanged over the
communication medium. All the other languages mentioned above do not address this problem.
In the context of application layer protocols, in particular for Open Distributed Processing and
distributed systems management, certain forms of object-oriented specifications are being used
which are based on extensions of ASN.1. Also the formal specification language Z has been
proposed, which is based on set theory and predicate calculus, and was originally developed for
software specifications.
The development of testing methods based on FSM specifications has initially been driven by
problems arising from functional testing of sequential circuits. The appearance of communication
protocols has given to this theory a new boost. Currently, this model is also attracting much
attention in relation with testing of object-oriented software systems [Hoff93], [Turn92].
Moreover, recent results in binary decision diagram (BDD) technology have increased our ability
to deal with the large number of states [Brya86]. Traditional work in this field has relied on the
model of completely specified deterministic finite state machines. Recently, more complex FSM
models have also been studied.