The derivation of test cases from SDL specifications

Authors:
Zhu Yun Gu;Kong Eng Cheng
Affiliations:
Royal Melbourne Institute of Technology, Melbourne Vic 3001,Australia;Royal Melbourne Institute of Technology, Melbourne Vic 3001,Australia
Venue:
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Year:
1992

Citing 10
Cited 1

Software system testing and quality assurance

Software system testing and quality assurance
A functional approach to program testing and analysis

IEEE Transactions on Software Engineering
Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing

IEEE Transactions on Software Engineering
The Path Prefix Software Testing Strategy

IEEE Transactions on Software Engineering
Data structures

Data structures
Automated Software Test Data Generation

IEEE Transactions on Software Engineering
Software Verification and Validation: Realistic Project Approaches

Software Verification and Validation: Realistic Project Approaches
Discrete Mathematical Structures for Computer Science

Discrete Mathematical Structures for Computer Science
A Comparison of Some Structural Testing Strategies

IEEE Transactions on Software Engineering
Reachability analysis of protocols with FIFO channels

SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols

A case for test-code generation in model-driven systems

Proceedings of the 2nd international conference on Generative programming and component engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the derivation of test cases for communications protocols based on a formal specification technique. It presents a methodology for generating test cases from the CCITT (International Consultative Committee for Telephones and Telegraphs) Specification and Description Language (SDL). An algorithm is given for constructing a finite global tree called the global developed tree. The algorithm is based on some reasonable restrictions for terminating the growth of global nodes, which could be infinite. The paper discusses how to convert the test processes into finite test suites. Three components are given : testing methodology for SDL, SDL to the global tree translation and the termination of the global tree.