Abstract
In this paper, we propose a method to generate conformance test sequences for communication protocols modeled as FSM with timers. The test sequences generated by the proposed method can detect any single fault of timer commands or destination states in the transitions on protocol machines. For each single timer command fault, we give sufficient conditions that a given IUT is (or is not) equivalent to its specification. Based on these sufficient conditions, we give a method for generating test sequences. For each destination state fault, we give a test sequence generation method based on Wp-method. To show the usefulness of this method, we have developed a system for generating test sequences, and applied it to DHCP (Dynamic Host Configuration Protocol). As a result, we have generated the test sequences efficiently.
Chapter PDF
Similar content being viewed by others
References
B. S. Bosik and M. U. Uyar, “Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation”, Computer Networks and ISDN Systems, Vol.22, No.1, pp. 7–33 (1991).
L. P. Lima Jr and A. R. Cavalli, “A Pragmatic Approach to Generating Test Sequences for Embedded Systems”, In Proc. IFIP 10th International Workshop on Testing of Communicating Systems (IWTCS’97), pp. 288–307 (1997).
A. Petrenko, N. Yevtushenko and G. v. Bochmann, “Fault Models for Testing in Context”, In Proc. Joint International Conference on 9th Formal Description Techniques and 16th Protocol Specification, Testing, and Verification (FORTE/PSTV’96), pp. 163–178 (1996).
A. Petrenko and N. Yevtushenko, “Fault Detection in Embedded Components”, In Proc. IFIP 10th International Workshop on Testing of Communicating Systems (IWTCS’97), pp. 272–287 (1997).
R. Alur and D. L. Dill, “A Theory of Timed Automata”, Theoretical Computer Science, Vol. 126, No. 2, pp. 183–235 (1994).
R. Alur, “Timed Automata”, In Proc. 11th International Conference on Computer-Aided Verification (CAV’99), LNCS 1633, pp. 8–22 (1999).
S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou and A. Ghedamsi, “Test Selection Based on Finite State Models”, IEEE Trans. on Soft. Eng., Vol. 17, No. 6, pp. 591–603 (1991).
W. Y. L. Chan, S. T. Vuong and M. R. Ito, “An Improved Protocol Test Generation Procedure Based on UIOs”, In Proc. ACM SIGCOMM’89, pp. 283–294 (1989).
R. Droms, “Dynamic Host Configuration Protocol”, RFC 2131, Bucknell University (1997).
T. H. Cormen, C. E. Leiserson and R. L. Rivest, “Introduction to Algorithms”, The MIT Press, pp. 539–543 (1990).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Mori, T., Tokuda, K., Tada, H., Higuchi, M., Higashino, T. (2001). A Method to Generate Conformance Test Sequences for FSM with Timer System Call. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_19
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive