Abstract
Specification based testing facilities are gradually becoming software production aids. The paper shortly considers the current state of the art, original ISPRAS/RedVerst experience, and outlines the ways for further research and testing tool development. Both conceptual and technical problems of novel specification based testing technologies introduction are considered.
The work was partially supported by RFBR grant No. 99-01-00207 and Microsoft Research grant No. 2000-35.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abstract Syntax Notation One (ASN.1) standard. Specifiation of Basic Notation. ITU-T Rec. X.680 (1997)— ISO/IEC 8824-1:1998.
S. Antoy, D. Hamlet. Automatically Checking an Implementation against Its Formal Specification. IEEE trans. On Soft.Eng, No. 1, Vol. 26, Jan. 2000, pp. 55–69.
D. Bjorner, C. B. Jones (editors). Formal Specification and Software Development. — Prentice-Hall Int., 1982.
I. B. Burdonov, A. V. Demakov, A. A. Jarov, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko, S. V. Zelenov. J@va: extension of Java for real-life specification and testing.— In this volume.— P.303–309.
I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin, A. V. Maximov. Testing Programs Modeled by Nondeterministic Finite State Machine.— (see [27] white papers).
I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin.Using Finite State Machines in Program Testing. “Programmirovanije”, 2000, No. 2 (in Russian). Programming and Computer Software, Vol. 26, No. 2, 2000, pp. 61–73 (English version).
I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of World Congress on Formal Methods, Toulouse, France, LNCS, No. 1708, 1999, pp. 608–621.
I. Burdonov, A. Kossatchev, A. Petrenko, S. Cheng, H. Wong. Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996.
R.-K. Doong, P. Frankl. Case Studies on Testing Object-Oriented Programs, Proc. Symp. Testing, Analysis, and Verification (TAV4), 1991, pp. 165–177.
R. Kramer. iContract— The Java Design by Contract Tool. Fourth Conference on OO technology and systems (COOTS), 1998.
S.-K. Kim and D. Carrington. A Formal Mapping between UML Models and Object-Z Specifications (http://svrc.it.uq.edu.au/Bibliography/bib-entry. html?index=851).
L. Murray, D. Carrington, I. MacColl, J. McDonald, P. Strooper. Formal Derivation of Finite State Machines for Class Testing. In: Lecture Notes in Computer Science, 1493, pp. 42–59
K. Lerner, P. Strooper. Refinement and State Machine Abstraction.— SVRC, School of IT, The University of Queensland, Technical report No. 00-01. Feb. 2000 (http://svrc.it.uq.edu.au/).
A. K. Petrenko, I. B. Bourdonov, A. S. Kossatchev, V. V. Kuliamin. Experiences in using testing tools and technology in real-life applications.— Proceedings of SETT’01, India, Pune, 2001.
A. Petrenko, A. Vorobiev. Industrial Experience in Using Formal Methods for Software Development in Nortel Networks.— Proc. Of the TCS2000 Conf., Washington., DC, June, 2000.
D. K. Peters, D. L. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Trans. on Software Engineering, Vol. 24, No. 3, March 1998, pp. 161–173.
N. Plat, P. G. Larsen. An Overviewof the ISO/VDM-SL Standard. SIGPLAN Notices, Vol. 27, No. 8, August 1992.
J. Ryser, M. Glinz. SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test.— http://ftp://ftp.i..unizh.ch/pub/techreports/TR-2000/i.-2000.03.pdf
The RAISE Language Group. The RAISE Specification Language. Prentice Hall Europe, 1992.
Michael Barnett and Wolfram Schulte. The ABCs of Specification: AsmL, Behavior, and Components (Draft of paper submitted to Informatica.) http://research.microsoft.com/foundations/comps.ps
Yuri Gurevich. Private communication.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petrenko, A.K. (2001). Specification Based Testing: Towards Practice. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_29
Download citation
DOI: https://doi.org/10.1007/3-540-45575-2_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43075-9
Online ISBN: 978-3-540-45575-2
eBook Packages: Springer Book Archive