Comparative Analysis of Protocol Test Sequence Generation Methods for Conformance Testing

An optimization technique for Protocol conformance test sequence generation based on MUIOS using Hopfield Neural Networks

A Method for Executable Protocol Conformance Test Sequences Generation using Parametric Executable Analysis Tree

Automatic generation of executable test sequences is one of the key issues in conformance testing for protocols specified in extended finite state machines (EFSM). The traditional test generation methods based on the executable analysis tree, generally require the initial assignment of variables in the EFSM under testing. Unfortunately, how to select the initial value for input variables is a c...

Test Sequence Generation For Integration Testing Of Component Software

Ensuring high object interoperability is a goal of integration testing for objectoriented software. When messages are sent, objects that receive them should respond as intended. Ensuring this is especially difficult when software uses components that are developed by different vendors, in different languages, and the implementation sources are not all available. A finite state machines model of...

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols

This paper presents an incremental method for automatic executable test case and test sequence generation for a protocol modeled as communicating extended finite state machines (CEFSMs) with asynchronous communication. Instead of testing the protocol by computing the product of all CEFSMs, we test it by incrementally computing a partial product for each CEFSM C, taking into account only transit...

Finding Executable Paths In Protocol Conformance Testing

Communication protocol conformance testing aims at demonstrating the adherence of a protocol implementation to the protocol specification which is assumed to be correct. One of the most important issues in protocol testing is the generation of a small set of test sequences with large fault coverage. Since even the simplest protocol may require a very large number of test sequences to assure alm...