Conformance testing in systems with semicontrollable interfaces

Annales des Telecommunications/Annals of Telecommunications

Volumn 55, Issue 1, 2000, Pages 70-83

  Fecko, Mariusz A ^a   Uyar, M Ümit ^b   Amer, Paul D ^a   Sethi, Adarshpal S ^a  

^a UNIVERSITY OF DELAWARE   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE TESTING; FORMAL DESCRIPTION METHOD;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTROLLABILITY; FINITE AUTOMATA; FORMAL LANGUAGES; GRAPH THEORY;

NETWORK PROTOCOLS;

EID: 0033888411     PISSN: 00034347     EISSN: 19589395     Source Type: Journal    
DOI: None     Document Type: Article

References (37)

1. AHO (A.V.), DAHBURA (A.T.), LEE (D.), UYAR (M.U.). An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Commun. 39, no 11, pp. 1604-1615, (November 1991).
2. BUDKOWSKI (S.), CAVALLI (A.), NAJM (E.). Eds. Proc IFIP Joint Int'l Conf. FORTE/PSTV (Paris, France, Nov. 1998), Boston, MA : Kluwer Academic Publishers.
3. BUDKOWSKI (S.), DEMBINSKI (P.). An introduction to Estelle : A specification language for distributed systems. Comput. Networks ISDN Syst. 14, no 1, pp. 3-24. (1991)
4. CAVALLI (A.R.), FAVREAU (J.P.), PHALLIPPOU (M.). Standardization of formal methods in conformance testing of communication protocols. Comput. Networks ISDN Syst. 29, no 1, pp. 3-24. (1996)
5. CORMEN (T.H.), LEISERSON (C.E.), RIVEST (E.L.). Introduction to Algorithms. McGraw-Hill, New York, NY. (1992)
6. *** DoD. Military Standard - Interoperability standard for Digital Message Device Subsystems (MIL-STD 188-2208). (January 1998)
7. FECKO (M.A.), AMER (P.D.), SETHI (A.S.), UYAR (M.U.), DZIK (T.), MENELL (R.), AND MCMAHON (M.). Formal design and testing of MIL-STD 188-2220B based on Estelle. In Proc. IEEE Milit. Commun. Conf. (MILCOM) (Monterey, CA, November 1997)
8. FECKO (M. A.), UYAR (M. U.), AMER (P. D.), SETHI (A. S.). Using semicontrollable interfaces in testing Army communications protocols : application to MIL-STD 188-220B. In Proc. IEEE Milit. Commun. Conf. (Milcom) (Atlantic City, NJ, Oct. 1999).
9. FECKO (M. A.), UYAR (M. U.), SETHI (A. S.), AMER (P. D.). Embedded testing in systems with semicontrollable interfaces. Tech. Rep. TR-98-18, CIS Dept., Univ. of Delaware, Newark, DE, (1998).
10. FECKO (M. A.), UYAR (M. U.), SETHI (A. S.), AMER (P. D.). Issues in conformance testing : Multiple semicontrollable interfaces. In Budkowski et al. [2], pp. 111-126.
11. HOPCROFT (J. E.), ULLMAN (J. D.). Introduction to automata theory, languages and computation. Addison-Wesley, 1979.
12. ISO, Information technology - OSI. Iso International standard 9646: Conformance Testing Methodology and Framework. Geneva, Switzerland, 1991.
13. *** ISO/IEC. International Standard ISO/IEC 8802-2, ANSI/IEEE Std. 802.2, ed., (Dec. 1994).
14. *** Framework: Formal methods in conformance testing, JTC1/SC21/WG1/Project 54. 1. (Feb. 1995).
15. KIM (M.), KANG (S.), HONG, (K.). Eds. Proc. IFIP Int'l Workshop Test. Communicat. Syst. (IWTCS) (Cheju Island, Korea, Sept. 1997), Boston, MA : Kluwer Academic Publishers.
16. LEE (D. Y.), LEE (J. Y.). A well-defined Estelle specification for the automatic test generation. IEEE Trans. Comput. 40, no 4 (Apr. 1991).
17. LENSTRA (J. K.) RINNOOY KAN (A. H. G.). On general routing problems. Networks 6, pp. 273-280 (1976).
18. LIMA JR., (L. P.), CAVALLI (A. R.). A pragmatic approach to generating test sequence for embedded systems. In Kim et al. [15].
19. LINN (R. J.). Conformance testing for OSI protocols. Comput. Networks ISDN Syst. 18, no3, pp. 203-219 (1990).
20. LINN (R. J.), UYAR (M. U.). Conformance testing methodologies and architectures for OSI protocols. IEEE Comput. Soc. Press, Los Alamitos, CA, 1994.
21. MILLER (R. E.), PAUL (S.). Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences. IEEE/ACM Trans. Network. 2, no 5, pp. 457-470 (Oct. 1994).
22. PETRENKO (A.) YEVTUSHENKO (N.). Eds. Proc. IFIP Int'l Workshop Test. Communicat. Syst. (IWTCS) (Tomsk, Russia, Sept. 1998). Boston, MA : Kluwer Academic Publishers.
23. PETRENKO (A. F.), YEVTUSHENKO (N). Fault detection in embedded components. In Kim et al. [15].
24. PETRENKO (A. F.), YEVTUSHENKO (N.), VON BOCHMANN (G.). Fault models for testing in context. In Proc.IFIP Joint Int'l Conf. FORTE/PSTV, (Kaiserslautern, Germany, Oct. 1996).
25. PETRENKO (A. F.), YEVTUSHENKO (N.), VON BOCHMANN (G.), DSSOULI (R). Testing in context : Framework and test derivation. Comput. Commun. 19, no 14, pp. 1236-1249 (1996).
26. PHALIPPOU (M.). The limited power of testing. In Proc. IFIP Int'l Workshop Protocol Test Syst. (IWPTS), Amsterdam : North-Holland, (1992).
27. RAFIQ (O.), CASTANET (R.). From conformance testing to interoperability testing. In Proc. IFIP Int'l Workshop Protocol Test Syst. (IWPTS), pp. 371-385 Washington, DC, (1990).
28. RAYNER (D.). OSI conformance testing. Comput. Networks ISDN Syst. 14, no 1, pp. 79-98 (1987).
29. SABNANI (K. K.), DAHBURA (A. T.). A protocol test generation procedure. Comput. Networks ISDN Syst. 15, pp. 285-297 (1988).
30. SABNANI (K. K.) UYAR (M. U.) LAPONE (A. M.). An algorithmic procedure for checking safety properties of communication protocols. IEEE Trans. Commun. 37, no 9, pp. 940-948 (Sept. 1989).
31. TIMOHOVICH (E.). An approach to protocol entity model development for embedded testing. Automatic Control Comput. Sci. 27, no 3, pp. 34-41 (1993).
32. TRETMANS (J.). Conformance testing with labelled transitions systems : Implementation relations and test generation. Comput. Networks ISDN Syst. 29, no 1, pp. 49-79 (1996).
33. URAL (H.). Formal methods for test sequence generation. Comput. Commun. 15, no 5, pp. 311-325 (June 1992).
34. WU (W.-J), CHEN (W.-H.), TANG, (C. Y). Synchronizable test sequence for multi-party protocol conformance testing. Comput. Commun. 21, pp. 1177-1183 (1998).
35. YEVTUSHENKO (N.), CAVALLI (A. R.), LIMA JR, (L. P.). Test suite minimization for testing in context. In Petrenko and Yevtushenko [22], pp. 127-145.
36. ZENG (H. X), CHANSON (S. T.), SMITH (B. R.). On ferry clip approaches in protocol testing. Comput. Networks ISDN Syst. 17 no 2 (1989) pp 77-88.
37. ZHU (J.,) VUONG (S. T.), CHANSON (S. T.). Evaluation of test coverage for embedded system testing. In Petrenko and Yevtushenko [22], pp. 111-126.