Derivation of Test Cases for LAP-B from a LOTOS Specification

A semi-formal method for deriving test cases from specifications in LOTOS is described. The method is applied to the LAP-B standard, for which a complete LOTOS specification was developed. Execution trees are derived from the specification by using an interpreter, and test cases are obtained by inspection. The results of our experiment compare favorably with the ones obtained in an earlier work that used a state table description of LAP-B.

[1]  Biswajit. Kanungo.  Specification and design of an OSI standard test suite for X.25 DTEs. , 1987 .

[2]  Giuseppe Scollo,et al.  On the Use of LOTOS for the Formal Description of a Transport Protocol , 1988, FORTE.

[3]  Clazien D. Wezeman.  The CO-OP Method for Compositional Derivation of Conformance Testers , 1989, PSTV.

[4]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[5]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

[6]  Peter Van Eijk.  Software Tools for the Specification Language LOTOS , 1988 .

[7]  G. Hoover,et al.  X.25 Conformance testing-A tutorial , 1986, IEEE Communications Magazine.

[8]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[9]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[10]  Rom Langerak.  A Testing Theory for LOTOS using Deadlock Detection , 1989, PSTV.

[11]  J J Lussier,et al.  University of Ottawa. , 1961, Canadian Medical Association journal.

[12]  Marten van Sinderen,et al.  Architecture and Specification Style in Formal Descriptions of Distributed Systems , 1988 .

[13]  Djaffar. Gueraichi.  Derivation of test cases for LAP-B from a formal specification in LOTOS. , 1989 .

[14]  John R. Aschenbrenner,et al.  Open Systems Interconnection , 1986, IBM Syst. J..

[15]  Marten van Sinderen,et al.  On the architectural design of the formal specification of the session standards in LOTOS , 1987 .

[16]  Kenneth J. Turner,et al.  Constraint-Oriented Style in LOTOS , 1988 .

[17]  R. Lathe.  Phd by thesis , 1988, Nature.