Abstract
Multiple timing faults, although detectable individually, can hide each other’s faulty behavior making the faulty system indistinguishable from a non-faulty one. A set of graph augmentations are introduced for single timing faults. The fault detection capability of the augmentations is analyzed in the presence of multiple timing faults and shown that multiple occurrences of a class of timing faults can be detected.
Chapter PDF
Similar content being viewed by others
References
Alilovic-Curgus, J., Vuong, S.T.: A metric-based theory of test selection and coverage. In: Proc. IFIP Protocol Specif. Test. Verif. (PSTV), Liege, Belgium (1993)
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
Batth, S.S.: Fault Models for Timed EFSMs. MS thesis, The City College of CUNY, New York (2004)
Chan, W.Y.L., Vuong, S.T.: The UIOv—method for protocol test sequence generation. In: Proc. IFIP Int’l Wksp Protocol Test Syst. (IWPTS), Berlin, Germany (1989)
En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: Testing real-time systems. IEEE Trans. Softw. Eng. 28(11), 1023–1038 (2002)
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test cases generation based on state characterisation technique. In: Proc. IEEE Real-Time Syst. Symp. (RTSS), Madrid, Spain, pp. 220–229 (1998)
Fecko, M.A., Uyar, M.U., Duale, A.Y., Amer, P.D.: A technique to generate feasible tests for communications systems with multiple timers. IEEE/ACM Trans. Netw. 11(5), 796–809 (2003)
Luo, G., van Bochmann, G., Petrenko, A.F.: Test selection based on communicating nondeterministic finite state machines using a generalized Wp-method. IEEE Trans. Softw. Eng. 20(2), 149–162 (1994)
Petrenko, A.F., van Bochmann, G., Yao, M.Y.: On fault coverage of tests for finite state specifications. Comput. Netw. ISDN Syst. 29(1), 81–106 (1996)
Rezaki, A., Ural, H.: Construction of checking sequences based on characterization sets. Comput. Commun. 18(12), 911–920 (1995)
Sidhu, D.P., Leung, T.K.: Fault coverage of protocol test methods. In: Proc. IEEE INFOCOM, New Orleans, LA, pp. 80–85 (1988)
Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoret. Comput. Sci. 254(1-2), 225–257 (2001)
Ural, H., Zhu, K.: Optimal length test sequence generation using distinguishing sequences. IEEE/ACM Trans. Netw. 1(3), 358–371 (1993)
Y. Wang. Timing Faults in EFSM Models with Multiple Concurrent Timers. PhD thesis, Graduate Center of CUNY, New York (in progress)
Zhu, J., Chanson, S.T.: Toward evaluating fault coverage of protocol test sequences. In: Proc. IFIP Protocol Specif. Test. Verif. (PSTV), Vancouver, Canada, pp. 137–151 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Uyar, M.Ü., Wang, Y., Batth, S.S., Wise, A., Fecko, M.A. (2005). Timing Fault Models for Systems with Multiple Timers. In: Khendek, F., Dssouli, R. (eds) Testing of Communicating Systems. TestCom 2005. Lecture Notes in Computer Science, vol 3502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11430230_14
Download citation
DOI: https://doi.org/10.1007/11430230_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26054-7
Online ISBN: 978-3-540-32076-0
eBook Packages: Computer ScienceComputer Science (R0)