Abstract
In this paper, we present two new results on the properties of the coverage measure for embedded testing as proposed in [10], and an application of the measure to a practical protocol. First, we identify and prove the sufficient and necessary condition for loops to exist between the test context and the test tree being constructed. This allows us to avoid producing infinite test trees during test tree construction. Then we prove that the calculation of the coverage measure is NP-complete, which indicates that there unlikely exist efficient algorithms to compute the coverage in general. Finally, in order to demonstrate the concept and practicality of the coverage measure, we developed a tool set and applied it to a practical protocol extracted from the Universal Personal Computing system.
Chapter PDF
References
E.M. Gold. Complexity of automaton identification from given data. Information and Control, 37: 302–320, 1978.
IEEE Computer Society. IEEE Internet Computing. July 1998.
Luiz Paula Lima Jr. and Ana R. Cavalli. A pragmatic approach to generating test sequence for embedded systems. In IFIP 10th Int. Workshop on Testing of Communicating Systems, Cheju Island, Korea, September 1997.
Y. Li and V. Leung. Supporting personal mobility for nomadic computing over Internet. ACM Mobile Computing and Communications Review, 1 (1): 22–31, April 1997.
A.F. Petrenko and N. Yevtushenko. Fault detection in embedded components. In IFIP 10th Int. Workshop on Testing of Communicating Systems, Cheju Island, Korea, September 1997.
A.F. Petrenko, N. Yevtushenko, G.v. Bochmann, and R. Dssouli. Testing in context: framework and test derivation. Computer Communications, 19: 1236–1249, 1996.
D. Rayner. OSI conformance testing. Computer Networks and ISDN Systems, 14 (1), 1987.
J. Zhu and S.T. Chanson. Toward evaluating fault coverage of protocol test sequences. In Proc. IFIP 14th Int. Symp. on Protocol Specification, Testing, and Verification, Vancouver, Canada, June 1994.
J. Zhu, M. Toro, V. Leung, and S. Vuong. Supporting universal personal computing on the Internet with Java and CORBA. Con-currency: Practice and Experience, 10 (1), 1998.
J. Zhu, S.T. Vuong, and S.T. Chanson. Evaluation of test coverage for embedded system testing. In Proc. IWTCS’98, Tomsk, Russia, September 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Zhu, J., Vuong, S.T. (1999). Coverage Analysis for Embedded Testing and an Application. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive