Research: TESTGEN: An environment for protocol test suite generation and selection

Authors:
S. T. Vuong;H Janssen;Y Lu;C Mathieson;B Do
Affiliations:
Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada;Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada;Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada;Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada;Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada
Venue:
Computer Communications
Year:
1994

Citing 11
Cited 1

A Test Design Methodology for Protocol Testing

IEEE Transactions on Software Engineering
A protocol test generation procedure

Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
The Design and Implementation of an ASN.1-C Compiler

IEEE Transactions on Software Engineering
An overview of ASN.1

Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Formal verification of parallel programs

Communications of the ACM
On Test Coverage Metrics for Communication Protocols

Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Automated Test Case Selection Based on Test Coverage Metrics

Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
A Method for the Design of Fault Detection Experiments

IEEE Transactions on Computers
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering

Research: TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example

Computer Communications

Quantified Score

Hi-index	0.24

Visualization

Abstract

TESTGEN, a protocol TEST Generation and Selection ENvironment for conformance testing developed at the University of British Columbia, is presented and discussed in the paper. This environment is menu driven and unique in that it is effective, general, flexible and portable. It is based on an intermediate extended transition system formalism, and directly supports ASN.1 and Estelle. Other FDTs can be supported by developing appropriate front-end parsers. The test generation method adopted in the environment integrates both the control flow testing and the data flow testing with parameter variation. In particular, test generation and selection are integrated and guided by user-defined test suite generation constraints and parameter variation constraints. The environment will serve as a useful test-bed for experimenting with test generation and selection, as well as being a productive system for generating useful test suites for real-life protocols such as the OSI transport and session layer protocols. An ISO transport protocol example is used in the paper to illustrate the features of the environment.