Issue No.02 - February (2008 vol.57)
M. Umit Uyar , IEEE
Samrat S. Batth , IEEE
Mariusz A. Fecko , IEEE
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2007.70772
A set of graph augmentation algorithms are 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 in the same order of magnitude as of the original specification.
Conformance Testing, Timers, Fault Modeling, Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM.
M. Umit Uyar, Samrat S. Batth, Yu Wang, Mariusz A. Fecko, "Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols", IEEE Transactions on Computers, vol.57, no. 2, pp. 274-288, February 2008, doi:10.1109/TC.2007.70772