Search

Your search keyword '"Fecko, Mariusz A."' showing total 9 results
Start Over Author "Fecko, Mariusz A." Topic conformance testing
9 results on '"Fecko, Mariusz A."'

4. Fault Modeling and Detection Capabilities for EFSM Models.

Author

Batth, Samrat S., Uyar, Ümit M., Yu Wang, and Fecko, Mariusz A.

Subjects
RESEARCH, TIME, FACTOR structure, THEORY of constraints, FAULT tolerance (Engineering), DEMODULATION, TELECOMMUNICATION systems, MECHANICAL models, SYSTEMS design
Abstract

Inherent timing variables and constraints in communication protocols require new extended finite-state machine (EFSM) models to formally represent their behavior, particularly for test generation purposes. However, infeasible paths due to the conflicts among the timing condition and action variables in the timed EFSM models with the activation and expiration of concurrent timers complicate the test generation process. In a test measurement laboratory, such timers, if not properly taken into account by formal methods at the test generation step, can generate false results by failing correct implementations or, worse, passing faulty implementations. This paper analyzes the fault detection capability of the timed EFSM models introduced in our earlier work in the presence of multiple timing faults. It is proven that, for a class of timing faults, test sequences generated from our models can detect multiple occurrences of pairwise combinations of such faults. A simplified version of the Session Initiation Protocol (SIP) registration process, which is widely used by Voice over IP (VoIP) telephones, has been used as a working example throughout this paper. [ABSTRACT FROM AUTHOR]

Published
2008
Full Text
View/download PDF

5. Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.

Author

Ümit Uyar, M., Batth, Samrat S., Yu Wang, and Fecko, Mariusz A.

Subjects
ALGORITHMS, GRAPHIC methods, COMMUNICATION, COMPUTER network protocols, TECHNICAL specifications, ENGINEERING, SYSTEMS design
Abstract

A set of graph augmentation algorithms is introduced to model a class of timing faults in timed-EFSM models. It is shown that the test sequences generated based on our models can detect 1-clock and n-clock timing faults and incorrect timer setting faults in an implementation under test (IUT). It is proven that the size of the augmented graph resulting from our augmentation algorithms is on the same order of magnitude as that of the original specification. [ABSTRACT FROM AUTHOR]

Published
2008
Full Text
View/download PDF

6. Test Case Minimization for Real-Time Systems Using Timed Bound Traces

Author

Berrada, Ismaïl, Castanet, Richard, Félix, Patrick, Salah, Aziz, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Uyar, M. Ümit, editor, Duale, Ali Y., editor, and Fecko, Mariusz A., editor

Published
2006
Full Text
View/download PDF

7. Application of Two Test Generation Tools to an Industrial Case Study

Author

Cavalli, Ana, Maag, Stéphane, Mallouli, Wissam, Marche, Mikael, Quemener, Yves-Marie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Uyar, M. Ümit, editor, Duale, Ali Y., editor, and Fecko, Mariusz A., editor

Published
2006
Full Text
View/download PDF

8. Controllable Combinatorial Coverage in Grammar-Based Testing

Author

Lämmel, Ralf, Schulte, Wolfram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Uyar, M. Ümit, editor, Duale, Ali Y., editor, and Fecko, Mariusz A., editor

Published
2006
Full Text
View/download PDF

9. Symbolic Execution Techniques for Test Purpose Definition

Author

Gaston, Christophe, Le Gall, Pascale, Rapin, Nicolas, Touil, Assia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Uyar, M. Ümit, editor, Duale, Ali Y., editor, and Fecko, Mariusz A., editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results