Abstract
Since the generating test cases from the specification is a difficult work, formal methods of generating test cases are being discussed in the Formal Methods in Conformance Testing(FMCT) groups. One of the real problems in generating test cases automatically is that the problem size is too big to be applied to the actual protocol. In this paper, we suggest a framework for applying test purposes in various stages of formal specification represesentation, which eventually reduces the problem size of a protocol. For this framework, we have presented three stages: extraction, formalization, and application. A GID-based method is applied to this framework.
This research was financially supported by ETRI PEC(Protocol Engineering Center) of KOREA
Chapter PDF
Similar content being viewed by others
Reference
ISO “Open Systems Interconnection - Conformance Testing Methodology and Framework”, IS 9646.
Tomas Robeles, “Specification and derivation of OSI conformance test suite”, IWPTS ‘82
S.J.Ashford,“Automatic Test Case Generation Using Prolog”, Jan. 12, 1993. NPL technical report.
Formal Methods in Conformance Testing, Nov 1992.
Sarikaya, “A Test design methodology for protocol testing”, IEEE tr. on. SE-13 No. 5 May 1987.
S.T.Chanson, Sijian Zhang and Qin Li, “ A Test case management system”, IWPTS ‘82.
PTT-NL, “ CMIP Test Suite Structure and Test Purpose”,June ‘83.
G.J.Tretmans, “A formal approach to Conformance testing”, Ph.d. thesis, 1993.
Hassan Ural, “Test sequence selection based on static data flow analysis”, Computer Communications 10 (5) 1987.
Ed Brinksma, “A Framwork for Test selection”, PSTV IX(1991).
D.Y.Lee and J.Y.Lee, “A well-defined Estelle specification for the automatic test generation” IEEE tr.on Computers, April 1991.
K.Sabnani and A.Dahabura, “A new technique for generating protocol tests”, in proc 9th Data comm. Symp, pp 173–187, Sep 1985.
G.Gonenc, “A method for the design of fault detection experiments,” IEEE tr on Computer, vol C-19, pp 551–558, June 1970.
J.H.Park and J.Y.Lee, “A Test Sequence Generation method with Minimum Restrictions”, JWCC ‘83.
OSI formal specification case study: the Inres protocol and service.
POSTECH technical report: “Postech Estelle to Cfg Translator”, 1993.
R.E.Miller and Sanjoy Paul., “On the generation of Minimal-Length Conformance Tests for Communication Protocols”, IEEE/ACM tr. on Networking, vol 1, No I, Feb. 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Park, J.H., Lee, J.Y., Jung, I.Y., Hong, J.P. (1995). A Conformance Testing Framework for Applying Test Purposes. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive