Formal methods for protocol testing: a detailed study

Sidhu, Deepinder P.; Leung, T.-K.

doi:10.1109/32.16602

Cited by 324 publications

(175 citation statements)

References 9 publications

Supporting

Mentioning

168

Contrasting

Unclassified

Order By: Relevance

“…These ideas can also be used to improve the fault coverage of tests produced by a number of VIO-based methods [SiLe89], [YPB93] which yield a single test sequence. The adjustments concern covering all of the transitions (even from redundant reachable states) and extending the VIO-sequences (or any other state identifiers) in such a way that reachable states are distinguished from unreachable states.…”

Section: Resultsmentioning

confidence: 99%

“…In particular, the classical model of completely specified, strongly connected, detenninistic and minimal FSMs has been regarded in the testing literature (see, e.g. [SiLe89], [LeYa94], [Ural92]) as the most tractable model for test derivation. A complex protocol is rarely given as a single pure FSM with the properties requested by these methods.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Handling redundant and additional states in protocol testing

Petrenko

Higashino²,

Kaji³

1996

Protocol Test Systems VIII

View full text Add to dashboard Cite

This paper addresses the problem of conformance testing of protocols modeled by FSMs with redundant states. Redundant states appear in an FSM which may be nonminimal or nonconnected. The existing test derivation methods usually are not directly applicable to these machines. In this paper, we show that they can be adjusted to cover this class of FSMs and that the traditional assumption on the minimality of machines is not necessary. Another problem with redundant states is that they can cause the appearance of additional states in protocol implementations whose guaranteed detection requires tests of an exponential length. This paper proposes techniques for deriving tests for FSMs with redundant or additional states such that a high fault coverage is achieved while maintaining an acceptable test suite length. The effectiveness of the proposed methods has been evaluated in an experimental way using a benchmark protocol.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Handling redundant and additional states in protocol testing

Petrenko

Higashino²,

Kaji³

1996

Protocol Test Systems VIII

View full text Add to dashboard Cite

show abstract

“…Often test derivation methods developed earlier for these models are applied after the transformation. A survey over these methods is given in [4]. [5] describes how LTSs can be transformed into FSMs in order to exploit the FSM-based test derivation methods.…”

Section: Introductionmentioning

confidence: 99%

On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications

Pleßer

1995

Protocol Test Systems

View full text Add to dashboard Cite

A major problem in the field of automatic test derivation from LOTOS and other formal description techniques is that resulting complete tests become too large to be useful in practice. This paper describes how a new automatic test derivation method exploits parallelism in the specification to overcome this problem. The method uses a fault model in order to define possible faults that the test has to investigate. Thus the method avoids the well-known state space explosion problem, and it, therefore, generates short test sequences with high fault coverage. The length of the test sequence grows only linear with the number of subbehaviours in a parallel expression.

show abstract

“…In [6,15], a simulation method was proposed to estimate the fault coverage of a given test sequence. Based on a classification of faults, it randomly generates faulty machines to see if they can be defeated by the test sequence.…”

Section: Introductionmentioning

confidence: 99%

Towards Evaluating Fault Coverage of Protocol Test Sequences

Zhu

Chanson

1995

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

In this paper, we investigate the quality of a given protocol test sequence in detecting faulty implementations of a specification. The proposed method differs from the conventional simulation method in that it is not necessary to consider various forms of fault combinations and is guaranteed to identify any faulty machines. Preprocessing and backjumping techniques are used to reduce the computational complexity of the method. We have constructed a tool based on the model and used it in assessing several test sequence generation techniques. Our experience shows that the method is both effective and efficient for even real life protocols.

show abstract

Formal methods for protocol testing: a detailed study

Cited by 324 publications

References 9 publications

Handling redundant and additional states in protocol testing

Handling redundant and additional states in protocol testing

On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications

Towards Evaluating Fault Coverage of Protocol Test Sequences

Contact Info

Product

Resources

About