On TESTGEN, an environment for protocol test sequence generation, and its application to the FDDI MAC protocol
department or school: Science, Faculty of
department or school: Computer Science, Department of
data provider: DSpace
degree campus: UBCV
creator: Lu, Ying
issued: 2010-11-22T19:44:53Z
issued: 1991
related degree: Master of Science - MSc
degree grantor: University of British Columbia
description: Test suite generation and selection form important aspects of conformance testing. The test suite generation process is usually tedious and time-consuming. The selection of appropriate test cases with certain fault coverage requires intensive analysis of the protocol. It is difficult to manually generate test suites without errors. The test suite generation process must therefore be automated. This thesis addresses the issues of design and development of the front end of an automatic test suite generation and selection environment named TESTGEN. TESTGEN generates TTCN test suites from the formal specification of protocols. TESTGEN adopts a new test suite generation method based on a combination of the extended transition system (ETS) and ASN.l representation of protocols. The new test generation method integrates the testing of both control part and data part of protocols. The test suites generated by TESTGEN are expected to provide better fault coverage than other existing test generation methods. An Estelle-like intermediate language called Estelle.Y is defined for the ETS-based formal description of protocols in TESTGEN. In order to test the data part, the control part of protocols and the protocol timers more thoroughly, we introduce ASN.l and explicit timer constructs into Estelle.Y. In addition, we design a protocol data structure (PDS) as the internal representations of protocols based on the ETS/ASN.l formalism. A parser is then designed and developed to translate the Estelle.Y/ASN.l specification of protocols into the PDS. We test the parser and verify the correctness of the generated PDS by applying a set of consistency checking functions to PDS. The correctness of PDS can also be verified by printing out the protocol information represented in PDS using a set of printing functions. In order to verify the viability of the TESTGEN environment, as well as to gain experience of conformance testing of high speed network protocols, we specify a specific protoco…
aggregated CHO: https://circle.library.ubc.ca/rest/handle/2429/30081
note: TESTGEN, An Environment for Protocol Test Sequence Generation, and Its Application to the FDDI MAC Protocol By YING LU B.Sc. Tsinghua University, China, 1985 M.Sc. Peking Union Medical College, China, 1988 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF T H E REQUIREMENTS FOR T H E DEGREE OF MASTER OF SCIENCE in T H E FACULTY OF GRADUATE STUDIES (DEPARTMENT OF COMPUTER SCIENCE) We accept this thesis as conforming to the required standard T H E UNIVERSITY OF BRITISH COLUMBIA August 1991 ©Ying Lu, 1991 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department The University of British Columbia Vancouver, Canada DE-6 (2/88) Abstract Test suite generation and selection form important aspects of conformance testing. The test suite generation process is usually tedious and time-consuming. The selection of appropriate test cases with certain fault coverage requires intensive analysis of the protocol. It is difficult to manually generate test suites without errors. The test suite generation process must therefore be automated. This thesis addresses the issues of design and development of the front end of an automatic test suite generation and selection environment named TESTGEN. TESTGEN generates TTCN test suites from the formal specification of protocols. TESTGEN adopts a new test suite generation method based on a combination of the extended transition system (ETS) and ASN.l representation of protocols. The new test generation method integrates the testing of both control part and data part of protocols. The test suite…
has type: Thesis/Dissertation
is shown at: 10.14288/1.0051975
language: eng
degree discipline: Computer Science
provider: Vancouver : University of British Columbia Library
publisher: University of British Columbia
rights: For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
scholar level: Graduate
type: Text
identifier URI: http://hdl.handle.net/2429/30081