2013•Journal of Anhui UniversityRequires access

Research on test case generation using formal activity diagram of protocol conformance testing

Xiang Yu

Abstract

In the beginning of protocol conformance testing an efficient test case was to be designed and generated,and automated test case generation could multiply efficiency greatly.First,a formal activity diagram and extended finite state machine were introduced,and then the algorithms of transformation from formal activity diagram to extended finite state machine and test cases generated automatically from extended finite state machine were represented in detail.Last the algorithms were analyzed and an instance was presented.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

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

Key concepts: Conformance testing, Computer science, State diagram, Extended finite-state machine, Finite-state machine, Protocol (science), Abstract state machines, Test (biology)