Abstract
In a testing environment, where an IUT communicates with multiple entities, a tester may have differing degrees of controllability on the interactions between these entities and the IUT: directly controllable, semicontrollable, or uncontrollable. In this paper, a graph conversion algorithm is introduced that offers the testability of both the directly and semicontrollable inputs, while avoiding race conditions. Although, for the most general case, the graph conversion results in an exponentially large number of nodes, practical considerations make the converted graph size feasible. Currently, this methodology is being applied to generate tests for MIL-STD 188–220B, which increases the number of testable state transitions from approximately 200 to over 700.
Dr. Uyar performed this research while a Visiting Associate Professor at University of Delaware.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
References
-220B (1998). Military Standard - Interoperability Standard for Digital Message Device Subsystems (MIL-STD 188–220B).
Aho, A. V., Dahbura, A. T., Lee, D., and Uyar, M. U. (1991). An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. on Communications, 39 (11): 1604–1615.
Brinksma, E. (1988). A theory for the derivation of tests. In Proc. IFIP Protocol Specification, Testing, and Verification, VIII. North-Holland, Amsterdam.
Cavalli, A. R., Favreau, J. P., and Phallippou, M. (1996). Standardization of formal methods in conformance testing of communication protocols. Computer Networks and ISDN Systems, 29 (1): 3–14.
Chan, W. Y. and Vuong, S. T. (1989). An improved protocol test generation procedure based on UIOs. In Proc. ACM SIGCOMM.
Davis, M. D., Sigal, R., and Weyuker, E. J. (1998). Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Academic Press.
Fecko, M. A., Amer, P. D., Sethi, A. S., Uyar, M. U., Dzik, T., Menell, R., and McMahon, M. (1997). Formal design and testing of MIL-STD 188–220A based on Estelle. In Proc. MILCOM’97,Monterey, California.
Fecko, M. A., Uyar, M. U., Sethi, A. S., and Amer, P. D. (1998). Embedded testing in systems with semicontrollable interfaces. Technical Report TR-98–18, CIS Dept., University of Delaware, Newark, DE.
Fujiwara, S. and v Bochmann, G. (1992). Testing non-deterministic finite state machines. In Proc. IFIP 4th IWPTS. North-Holland, Amsterdam.
Hoperoft, J. E. and Ullman, J. D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley.
IS9646 (1991). ISO International Standard 9646: Conformance Testing Methodology and Framework. ISO, Information Technology - OSI, Geneva, Switzerland.
IS08802–2 (1994). International Standard ISO/IEC 8802–2, ANSI/IEEE Std. 802.2. ISO/IEC, 2nd edition.
Lenstra, J. K. and Kan, A. H. G. R. (1976). On general routing problems. Networks, 6: 273–280.
Linn, R. J. and Uyar, M. U. (1994). Conformance Testing Methodologies and Architectures for OSI Protocols. IEEE Comp. Soc. Press, Los Alamitos, CA.
Miller, R. E. and Paul, S. (1994). Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences. IEEE/ACM Trans. on Networking, 2 (5): 457–470.
Phalippou, M. (1992). The limited power of testing. In Proc. IFIP 5th IWPTS. North-Holland, Amsterdam.
Rafiq, O. and Castanet, R. (1990). From conformance testing to interoperability testing. In Proc. IFIP 3rd IWPTS, pages 371–385, Washington, DC.
Rayner, D. (1987). OSI conformance testing. Computer Networks and ISDN Systems, 14 (1): 79–98.
Sabnani, K. K. and Dahbura, A. T. (1988). A protocol test generation procedure. Computer Networks and ISDN Systems, 15: 285–297.
Sarikaya, B., von Bochmann, G., and Cerny, E. (1987). A test design methodology for protocol testing. IEEE Trans. Software Engineering, 13 (5): 518–531.
Timohovich, E. (1993). An approach to protocol entity model develop- ment for embedded testing. Automatic Control and Computer Sciences, 27 (3): 34–41.
Tretmans, J. (1996). Conformance testing with labelled transitions systems: Implementation relations and test generation. Computer Networks and ISDN Systems, 29 (1): 49–79.
Ural, H. (1992). Formal methods for test sequence generation. Computer Communications, 15 (5): 311–325.
Uyar, M. U., Fecko, M. A., Sethi, A. S., and Amer, P. D. (1998). Minimum-cost solutions for testing protocols with timers. In Proc. IEEE Int’l Performance, Computing, and Communications Conf., pages 346–354, Phoenix, AZ.
Zeng, H. X., Chanson, S. T., and Smith, B. R. (1989). On ferry clip approaches in protocol testing. Computer Networks and ISDN Systems, 17 (2): 77–88.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Fecko, M.A., Uyar, M.Ü., Sethi, A.S., Amer, P.D. (1998). Issues in Conformance Testing: Multiple Semicontrollable Interfaces. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive