Testing of Communicating Systems 1997
DOI: 10.1007/978-0-387-35198-8_15
|View full text |Cite
|
Sign up to set email alerts
|

A conformance testing for communication protocols modeled as a set of DFSMs with common inputs

Abstract: In this paper, we propose an effective conformance testing method for a subclass of protocols modeled as a set of DFSMs. The number of test cases in the proposed method is only proportional to the sum of those of states and transitions in a given set of DFSMs. In our method, we find a characterization set for each DFSM, which is used to test the DFSM alone in Wp-method, and the union of the characterization sets is used as a characterization set for the total system. For a set of DFSMs with common inputs, ther… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2002
2002
2002
2002

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 7 publications
0
2
0
Order By: Relevance
“…Unlike usual techniques to interoperability test sequences generation [2,10], our test generation tool implements an on the fly exploration technique, which is recognised to be efficient against complex specifications [4]. It directly extracts test paths by analysing the sub-specifications (model of entity A and model of en-tity B).…”
Section: -mentioning
confidence: 99%
“…Unlike usual techniques to interoperability test sequences generation [2,10], our test generation tool implements an on the fly exploration technique, which is recognised to be efficient against complex specifications [4]. It directly extracts test paths by analysing the sub-specifications (model of entity A and model of en-tity B).…”
Section: -mentioning
confidence: 99%
“…This makes testing concurrent DFSMs very difficult when the concurrent DFSMs have non-observable non-deterministic transitions. In [6,8,9], the difficulty for testing concurrent (or embedded) systems is also shown.…”
Section: Let's Considermentioning
confidence: 99%