Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

Cavalli, Ana; Prokopenko, Svetlana; Yevtushenko, Nina

doi:10.1007/978-0-387-35516-0_3

Cited by 3 publications

(11 citation statements)

References 19 publications

(35 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The algorithm for simulating a behavior of the system w.r.t. an external input sequence is based on the derivation of a partial reachability graph induced by the input sequence [5,10] that then is projected onto external alphabets. The composite reference FSM RM=OCi, i=l, ... , k, can be derived using the above procedure.…”

Section: Composition Of Fsmsmentioning

confidence: 99%

“…Our first step is to evaluate which output faults in the implementation of a component FSM can be detected by a test suite traversing each transition of the component that is involved in interaction with other component FSMs. To describe these faults we use an approach originally proposed in [8] for test minimization for an embedded component and developed in [10] for single output faults.…”

Section: Fault Domainmentioning

confidence: 99%

“…Given a component FSM C; that can be faulty, and an external input sequence [10]. I/0 pairs of the components different from C; are replaced with the empty word.…”

Section: Constructing the Set Of Detectable Output Faultsmentioning

confidence: 99%

“…Some methods return a test suite, which satisfies appropriate test purposes [1,2]; other return a complete test suite w.r.t. an appropriate fault domain [3][4][5][6][7][8][9][10]. Traditional test purpose approaches are based on the following idea: to traverse an appropriate set of transitions.…”

Section: Introductionmentioning

confidence: 99%

“…The fault coverage of the obtained test suite remains unknown. In the paper [10], the authors show that under the assumption that we can observe internal outputs of each component FSM a test suite . • traversing each possible transition of each component FSM detects any single output fault of each component FSM.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Fault Detection within a Component of a System of Communicating FSMs

Cavalli¹,

Prokopenko²,

Yevtushenko

2002

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

In this paper, we consider the problem of detecting faults within a component of a system of communicating FSMs. These faults are detected by a given set of external test cases, which satisfy appropriate test purposes. Given a component FSM and an external test case, we propose a procedure for deriving the set of all output faults of the component machine, which can be detected with this test case. Applications range from test suite minimization to derivation of diagnostic tests for a component FSM. In this paper, we use the above technique for augmenting a given test suite in order to detect all output faults within a component under test. The same approach can be used with respect to any other finite set of faults within the implementation of a component FSM.

show abstract

Section: Composition Of Fsmsmentioning

confidence: 99%

Section: Fault Domainmentioning

confidence: 99%

“…Given a component FSM C; that can be faulty, and an external input sequence [10]. I/0 pairs of the components different from C; are replaced with the empty word.…”

Section: Constructing the Set Of Detectable Output Faultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Fault Detection within a Component of a System of Communicating FSMs

Cavalli¹,

Prokopenko²,

Yevtushenko

2002

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

show abstract

Test suite minimization for testing in context

Anido

Cavalli²,

Lima

et al. 2003

Software Testing Verif & Rel

View full text Add to dashboard Cite

Testing a component embedded into a complex system, in which all other components are assumed fault‐free, is known as embedded testing. This paper proposes a method for minimizing a test suite to perform embedded testing. The minimized test suite maintains the fault coverage of the original test suite with respect to faults within the embedded component. The minimization uses the fact that the system is composed of a fault‐free context and a component under test, specified as communicating, possibly non‐deterministic finite state machines (FSMs). The method is illustrated using an example of telephone services on an intelligent network architecture. Other applications of the proposed approach for testing a system of communicating FSMs are also discussed. Copyright © 2003 John Wiley & Sons, Ltd.

show abstract

Interoperability Testing Based on a Fault Model for a System of Communicating FSMs

Trenkaev¹,

Kim²,

Seol³

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperability test suite, which is given by another existing method, to be a test suite that can detect "almost all" interaction faults based on the fault model. We start with an interoperability test suite derived by a known method and develop a technique for the fault coverage analysis and a technique for the extension of the test suite in order to achieve high fault coverage. We illustrate the proposed techniques with TCP protocol. The fault coverage analysis concludes that the test suite has 100% fault coverage with respect to the proposed fault domain and does not need to be extended. It is shown that our method is applicable to practical protocols and can be used to make interoperability test suites have high fault-detecting capability.

show abstract

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

Cited by 3 publications

References 19 publications

Fault Detection within a Component of a System of Communicating FSMs

Fault Detection within a Component of a System of Communicating FSMs

Test suite minimization for testing in context

Interoperability Testing Based on a Fault Model for a System of Communicating FSMs

Contact Info

Product

Resources

About