Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer  Home/Search
Context Related
| udel.edu/~amer/PEL...om00feckouyar.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: udel.edu/~amer/PEL/estell...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As part of the UD's and CCNY's ongoing e ort to generate conformance tests for the Army network protocol MIL-STD 188-220, a signi cant obstacle has been addressed|when multiple timers are running simultaneously, a test sequence may become unrealizable if there are conicting conditions based on a protocol's timers. This problem, termed the conicting timers problem, is handled in the hitherto generated tests by manually expanding a protocol's extended FSM based on the set of conicting timers,... (Update)
Context of citations to this paper: More
...unless possible conflicts among the protocol s variables used in the actions and the conditions are avoided. # Conflicting timers problem [34]: Infeasible test sequences may result from a pro This work supported by the US ARO (DAAH04 94 G 0093) and prepared through...
...for such protocols. Our methodology is expected to contribute towards achieving this goal. The preliminary results are reported in [29]. In the test cases delivered to CECOM (see Section 5) conflicting conditions based on 188 220 s timers are resolved by manually...
Cited by: More
A Technique to Generate Feasible Tests for - Communications Systems With (Correct)
Towards Testing SDL Specifications: Models and Fault.. - Mariusz Fecko Umit (Correct)
Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001) (Correct)
Similar documents (at the sentence level):
38.7%: Test Generation In The Presence Of Conflicting Timers - Fecko, Uyar, Duale, Amer (2000) (Correct)
21.2%: Efficient Test Generation for Army Network Protocols.. - Fecko, Uyar, Duale, Amer (2000) (Correct)
13.4%: A Technique to Generate Feasible Tests for Communications.. - Mariusz Fecko Applied (Correct)
Active bibliography (related documents): More All
0.3: Testing Conformance of a Deterministic Implementation against .. - Hierons, Harman (2001) (Correct)
0.3: UIO Sequence Based Checking Sequences for Distributed Test.. - Hierons, Ural (Correct)
0.3: Testing Conformance of a Deterministic - Implementation Against.. (Correct)
Similar documents based on text: More All
1.3: A Success Story of Formal Description Techniques.. - Fecko, Uyar.. (2000) (Correct)
0.9: Experience in Developing and Testing Network Protocol .. - Uyar, Fecko, Duale.. (Correct)
0.9: Generating Executable Tests for Timed and Untimed EFSM Models - Duale, Fecko (Correct)
Related documents from co-citation: More All
11: Modeling VHDL specifications as consistent EFSMs (context) - Uyar, Duale - 1997
7: Test selection based on finite state models - Fujiwara, Bochmann et al. - 1991
7: Conformance testing in systems with semicontrollable interfaces - Fecko, Uyar et al. - 1998
BibTeX entry: (Update)
M. A. Fecko, M. U. Uyar, A. Y. Duale, and P. D. Amer. Test generation in the presence of conflicting timers. In Proc. IFIP Int'l Conf. Test. Communicat. Syst. (TestCom), Ottawa, Canada, 2000. (submitted for publication). http://citeseer.ist.psu.edu/article/fecko00test.html More
@misc{ fecko00test,
author = "M. Fecko and M. Uyar and A. Duale and P. Amer",
title = "Test generation in the presence of conflicting timers",
text = "M. A. Fecko, M. U. Uyar, A. Y. Duale, and P. D. Amer. Test generation in
the presence of conflicting timers. In Proc. IFIP Int'l Conf. Test. Communicat.
Syst. (TestCom), Ottawa, Canada, 2000. (submitted for publication).",
year = "2000",
url = "citeseer.ist.psu.edu/article/fecko00test.html" }
Citations (may not include all citations):1023 RTP: A transport protocol for real-time applications - Schulzrinne, Casner et al. - 1996
268 A theory of timed automata - Alur, Dill - 1994
78 An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1991
70 Real time streaming protocol (context) - Lanphier, Rao et al. - 1998
28 Formal methods for test sequence generation (context) - Ural - 1992
28 Test selection based on communicating nondeterministic nite .. (context) - Luo, Bochmann et al. - 1994
25 Conformance testing with labelled transitions systems: Imple.. (context) - Tretmans - 1996
15 Conformance testing in systems with semicontrollable interfa.. - Fecko, Uyar et al. - 2000
14 Testing timed automata - Springintveld, Vaandrager et al. - 1997
13 A practical and complete algorithm for testing real-time sys.. (context) - Cardell-Oliver, Glover - 1998
13 A success story of formal description techniques: Estelle sp.. - Fecko, Uyar et al. - 2000
11 An introduction to ET-LOTOS for the description of time-sens.. (context) - Leonard, Leduc - 1997
9 Generation of feasible test sequences for EFSM models (context) - Duale, Uyar - 2000
6 Generating test cases for a timed I/O automaton model - Higashino, Nakata et al. - 1999
3 the development of a standard for conformance testing based .. (context) - Hogrefe - 1992
3 Test selection based on nite state models (context) - Fujiwara, Bochmann et al. - 1991
3 Controllability and observability in distributed testing (context) - Cacciari, Raq - 1999
3 Resolving inconsistencies in EFSM-modeled speci cations (context) - Uyar, Duale - 1999
1 Modeling VHDL specications as consistent EFSMs (context) - Uyar, Duale - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.eecis.udel.edu/~amer/PEL/estelle/index.html): More
Estelle Specification Of Mil-Std-188-220a Datalink Layer - Amer, Burch, Jr., Dzik.. (1996) (Correct)
Minimum-Cost Solutions For Testing Protocols With Timers - Uyar, Fecko, Sethi, Amer (1997) (Correct)
Generation Of Realizable Conformance Tests Under Timing.. - Uyar, Fecko, Sethi, Amer (1998) (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