Abstract
This paper presents a summary of some issues that appear to be relevant to testing theory and its applications. These issues are linked to formal methods used for test derivation, to the semantic models chosen to represent these specifications, and to the appropriate techniques needed for selecting a reasonable test effort. A discussion is presented in a polemical fashion trying to illustrate the problems related to the translation of one model into another, to non deterministic and partially specified systems, to the size of the specifications and test suites and the ways to reduce them.
Chapter PDF
References
G. Luo, A. Petrenko and G.v. Bochmann, Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines, Publication n. 864, Université de Montreal, Février 1993.
E. Brinksma, et al, A Formal Approach to Conformance Testing, IWPTS’91, Leidschendam Netherlands, October 1991.
Jan Tretmans and Louis Verhaard, A Queue Model Relating Synchronous and Asynchronous Communication, PSTV XII, 1992, Orlando, USA.
K. Drira, The Refusal Graph: a Tradeoff between Verification and Test, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.331–345.
M. Phalippou, Executable Testers, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.331–345.
Moore E. F., Gedanken-experiments on Sequential Machines, in Automata Studies, Annals of Mathematics studies, No 34, pp. 129–153, Princeton University Press, Princeton, USA.
F.C. Hennie, Fault-detecting experiments for sequential circuits, in Proceedings 5th Ann. Symp. on Switching Circuit Theory and Logical Design, November, 1964.
Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, 1978.
Ed Brinksma, A theory for the Derivation of Tests, in S. Aggarwal (eds) Protocol Specification, Testing and Verification, V III ( North-Holland, Amsterdam, 1988 )
A. Petrenko, G. v. Bochmann and R. Dssouli, Conformance relations and test derivation, IWPTS’93, Pau, France, September 1993.
A. Cavalli, S. Kim and P. Maigron, Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications, Proceedings of the 5th International Workshop on Protocol Test Systems, Montreal, September 1992.
Specification Environment for Communication Software, Project RACE R1046 (SPECS), 1988.
CCITT Blue Book Volume X–Fascile X.1 Functional Specification and Description Language (SDL) Recommendation Z.100 and Annexes A, B, C and E IXth Plenary Assembly, Melbourne, 14–25 November 1988.
A. Cavalli, S.U. Kim and P. Maigron, Improving Conformance Testing for LOTOS, FORTE’93, Boston, USA.
G. Luo, G. v Bochmann, A. Das and C. Wu, Failure-equivalent transformation Of transition systems to avoid internal actions, Information Processing Letters 44, pp 333–343, 1992, North Holland.
S. Fujiwara and G. v. Bochmann, Testing Non-deterministic State Machines with Fault Coverage, IWPTS’91, Leidschendam, Netherlands, October 1991.
ISO SC 21 P.54/ITU TS SG 10 Q.8, Formal Methods in Conformance Testing, Working document - approved Geneva output, October 1993.
K. Sabnani and A. Dahbura, A Protocol Test Generation Procedure, Computer Networks and ISDN Systems, Vol. 15, No. 4, pp. 285–297, 1988.
A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, New York, 1962.
H. Garavel, The Open CAESAR Reference Manual, Laboratoire de Génie Informatique, Institut IMAG, Grenoble, May 1992.
R. Castanet and O. Kone, Deriving Coordinated Testers for Interoperability, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.331–345.
M. Phalippou, Relations d’implantation et hypotheses de test sur des automates a entrees et sorties, These de l’Universite de Bordeaux I, to be published in 1994.
M.C. Gaudel, Test Selection Based on ADT Specifications, Proceedings of the 5th International Workshop on Protocol Test Systems, Montreal, September 1992.
E. Weyuker, B. Jeng, Analysing Partition Testing Strategies, IEEE Transactions on Software Engineering, vol. 17, n. 7, July 1991.
M. Yannakakis and D. Lee, Testing Finite State Machines, Proceedings of 23rd Annual ACM Symposium on Theory of Computing, STOC 91, 1991.
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
Cavalli, A., Phalippou, M. (1995). Some Issues on Testing Theory and its Applications. 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_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive