Abstract
This paper presents a test management system named TMS which is capable of providing necessary management and organization of conformance testing according to the definition of conformance assessment process in the OSI Conformance Testing Methodology and Framework [1]. TMS is also able to dynamically sequence the TTCN test cases during test execution. The test sequencing is based on the ordering relation among test cases, which can solely derived from the TTCN test suite. An operational semantics of TTCN is defined here using the Labeled Transition System (LTS) to model the derivation of this relation. Design of the TMS also provided. Moreover, the TMS is an integrated part of our Protocol Conformance Testing System (PCTS). This paper also demonstrates how certain features of TMS, when combined with the characteristics of PCTS, can promote the overall system performance.
Chapter PDF
Similar content being viewed by others
References
ISO/IEC IS 9646 1–7 1991(E), OSI-Conformance Testing Methodology and Framework.
ISO/IEC 8882 1–3, ISO/IEC 8882:1992(E), X.25 DTE Conformance Testing.
Yamin Wang and Jianping Wu, An approach to TTCN-based test execution, IWPTS VII, p299–306, IFIP 1994.
Ruibing Hao, Jianping Wu and Samual T. Chanson, Design and implementation of an automatic test suite generator, Chinese Journal of Advanced Software Research, vol. 1, No. 2, p152–165 1994.
Samual T. Chanson and Qin Li, On Static and Dynamic Test Case Selections in Protocol Conformance Testing, IWPTS I V, 1991.
Samuel T Chanson, Sijian Zhang and Qin Li, A Test Case Management System, IWPTS, 1992.
La Briere, Testing in Practice OSI Test Center, IFIP Trans. C vol:C-11, p19–29, 1993.
Walter and B. Plattner, An operational semantics for concurrent TTCN, IWPTS V, p131143. IFIP, NorthHolland, 1992.
Finn Kristoffersen and Thomas Walter, TTCN test case correctness validation, IWPTS VII, p 37–53, IFIP 1994.
G. J. Tretmans, A Formal Approach to Conformance Testing, PhD Thesis, 1992.
R. Milner, A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Spring-Verlag, 1980.
Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Brinksma, et al, A Formal Approach Computer Networks and ISDN Systems, IFIP Transactions. North Holland, 1992.
CCITT. Specification and Description Language (SDL), CCITT Recommendation Z.100, CCITT/ITU, 1992.
ISO/IEC, OSI-Specification of Abstract Syntax Notation 1 (ASN.1), IS 8824, ISO/IEC, 1987.
K. Inan and P. Varaiya, Finitely recursive process models for Discrete Event Systems, IEEE Trans. on Automations. Vol. 33, No. 7, July 1988.
de Meer and V.Heymer,etc, An approach to a Conformance Testing Methodology and the COAST Test System, IFIP, 1991.
Alcatel TITN Inc., XRTLE User Guide, 1992.
UBC/IDACOM, OSI PT Environment, 1990.
H. Ural and Z. Wang, Synchronizable test sequence generation using UIO sequences, Computer Communications, Vol: 16, p653–63, 1993.
M. E. Koblentz, Issues in testing fast packet services over the broadband (ISDN), IFIP Transaction C vol:c-11, p3–18, 1993.
A. D. Varvitsiotis and G. I. Stassinopoulos, Extending ASN.I into a full-fledged constraint language in the context of OSI protocol Conformance Testing, Computer Networks and ISDN Systems, p1243–63, 1993.
E.Brinksma, et al, A Formal Approach to Conformance Testing, IWPTS IV, Netherlands, Oct. 1991.
Hogrefe, Status Report on the FMCT Project, IWPTS VII, p.165–180, IFIP, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Tian, J., Wu, J. (1996). Test Management and TTCN based Test Sequencing. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_27
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_27
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive