ScholarLens Back to search
1996•Unpublished venueOpen access

A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences

T. Ramalingom, Anindya Das, K. Thulasiraman

Open full text 20 citations

Abstract

Automatic test case generation from protocol standards is a means of selecting high quality test cases efficiently. Recently, International Organization for Standards (ISO) has established a working group for studying the application of Formal Methods in Conformance Testing (FMCT) [5]. One of the primary aims of this group is to enable computer-aided test case generation from protocol standards specified in Formal Description Techniques (FDT) such as Estelle [2], SDL [3], and LOTOS [4]. In this paper, we present a new method for automatically generating test cases for both control flow and data flow aspects of a protocol which is represented as an Extended Finite State Machine (EFSM) as defined in [21].

Open-access reader

About this research paper

What this paper is about

Automatic test case generation from protocol standards is a means of selecting high quality test cases efficiently. Recently, International Organization for Standards (ISO) has established a working group for studying the application of Formal Methods in Conformance Testing (FMCT) [5]. One of the primary aims of this group is to enable computer-aided test case generation from protocol standards specified in Formal Description Techniques (FDT) such as Estelle [2], SDL [3], and LOTOS [4]. In this paper, we present a new method for automatically generating test cases for both control flow and data flow aspects of a protocol which is represented as an Extended Finite State Machine (EFSM) as defined in [21].

Why it matters

OpenAlex reports 20 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Automatic test case generation from protocol standards is a means of selecting high quality test cases efficiently. Recently, International Organization for Standards (ISO) has established a working group for studying the application of Formal Methods in Conformance Testing (FMCT) [5]. One of the primary aims of this group is to enable computer-aided test case generation from protocol standards specified in Formal Description Techniques (FDT) such as Estelle [2], SDL [3], and LOTOS [4]. In this paper, we present a new method for automatically generating test cases for both control flow and data flow aspects of a protocol which is represented as an Extended Finite State Machine (EFSM) as defined in [21].

Key concepts: Extended finite-state machine, Computer science, Conformance testing, Protocol (science), Finite-state machine, Test case, Test (biology), Context (archaeology)

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences — Research Paper | ScholarLens