M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer  Home/Search
Context Related
| udel.edu/~fecko/PAPERSP...milcom98.pdf udel.edu/~fecko/papers_p...milcom98.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: udel.edu/~fecko...ngpublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today's protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. An example of a protocol where this constraint occurs is MIL-STD 188-220B. A test sequence that does not consider timing constraints will likely be unrealizable in a test... (Update)
Context of citations to this paper: More
...specification. The presented methodology makes it possible to increase the number of testable transitions to over 700. Combined with our previous work on testing protocols with timing constraints [18, 19], the methodology allows to generate tests free of interruptions due...
Cited by: More
Optimum Test Sequence Generation from Estelle Specifications - Fecko, Uyar, Amer, Sethi (Correct)
Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
Similar documents (at the sentence level): More
63.0%: Generation Of Realizable Conformance Tests Under Timing.. - Uyar, Fecko, Sethi, Amer (1998) (Correct)
50.6%: Generation of Realizable Conformance Tests under Timing.. - Uyar, Fecko, Sethi, Amer (1998) (Correct)
41.0%: Testing Protocols Modeled as FSMs with Timing Parameters - Uyar, Fecko, Sethi, Amer (1999) (Correct)
Active bibliography (related documents): More All
0.4: An Optimization Technique for Protocol Conformance Test.. - Aho, Dahbura, Lee, Uyar (1991) (Correct)
0.4: Principles And Methods Of Testing Finite State Machines - A.. - Lee, Yannakakis (1996) (Correct)
0.3: Issues in Conformance Testing: Multiple Semicontrollable .. - Fecko, Uyar, Sethi, D.. (1998) (Correct)
Similar documents based on text: More All
0.7: Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
Related documents from co-citation: More All
6: An optimization technique for protocol conformance test generation based on UIO .. - Aho, Dahbura et al. - 1991
5: An improved protocol test generation procedure based on UIOs (context) - Chan, Vuong et al. - 1989
5: Issues in conformance testing: Multiple semicontrollable interfaces - FECKO, UYAR et al.
BibTeX entry: (Update)
U. Uyar, M. Fecko, A. Sethi, and P. Amer. Generation of realizable conformance tests under timing constraints. In Proc MILCOM '98, Boston, Oct 1998. http://citeseer.ist.psu.edu/article/uyar98generation.html More
@misc{ uyar98generation,
author = "U. Uyar and M. Fecko and A. Sethi and P. Amer",
title = "Generation of realizable conformance tests under timing constraints",
text = "U. Uyar, M. Fecko, A. Sethi, and P. Amer. Generation of realizable conformance
tests under timing constraints. In Proc MILCOM '98, Boston, Oct 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/uyar98generation.html" }
Citations (may not include all citations):144 Switching and Finite Automata Theory (context) - Kohavi - 1978
78 An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1991
69 Principles and methods of testing finite state machines---a .. - Lee, Yannakakis - 1996
48 A protocol test generation procedure (context) - Sabnani, Dahbura - 1988
29 A test design methodology for protocol testing (context) - Sarikaya, Bochmann et al. - 1987
27 On general routing problems (context) - Lenstra, Kan - 1976
25 An improved protocol test generation procedure based on UIOs (context) - Chan, Vuong - 1989
24 A test sequence selection method for protocol testing (context) - Ural, Yang - 1991
20 Optimal test sequence generation for protocols: the Chinese .. (context) - Uyar, Dahbura - 1986
18 Structural analysis of protocol specifications and generatio.. (context) - Miller, Paul - 1994
17 Minimumcost solutions for testing protocols with timers - Uyar, Fecko et al. - 1998
16 the generation of minimal-length conformance tests for commu.. (context) - Miller, Paul - 1993
15 Conformance testing for OSI protocols (context) - Linn - 1990
15 Formal design and testing of MILSTD 188-220A based on Estell.. - Fecko, Amer et al. - 1997
15 FSM-based formal methods in protocol conformance testing: fr.. (context) - Bosik, Uyar - 1991
14 Protocol modeling for conformance testing: Case study for th.. (context) - Uyar, Sherif - 1990
14 Checking Experiments in Sequential Machines (context) - Bhattacharyya - 1989
14 Protocol conformance testing using multiple UIO sequences (context) - Shen, Lombardi et al. - 1992
11 Approaches utilizing segment overlap to minimize test sequen.. (context) - Chen, Choi et al. - 1990
11 Protocol conformance test generation using multiple UIO sequ.. (context) - Yang, Ural - 1990
6 Minimal length test sequences for protocol conformance (context) - Chen, Choi et al. - 1989
6 Using Estelle to evolve MIL-STD - Amer, Fecko et al. - 1998
6 An improved method for test sequence generation (context) - Ural, Lu - 1990
5 Test generation for protocols with timing constraints (context) - Uyar, Fecko et al. - 1997
3 Switch---ISDN Basic Rate Interface Specification (context) - AT, Generic - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.udel.edu/~fecko/mf-testing-publications.html): More
A Success Story of Formal Description Techniques.. - Fecko, Uyar.. (2000) (Correct)
Conformance Testing in Systems with Semicontrollable.. - Fecko, Uyar, Amer, Sethi (1998) (Correct)
Using Semicontrollable Interfaces In Testing Army.. - Fecko, Uyar, Amer, Sethi (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC