Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
11. References
J. Goguen, J. Thatcher, E. Wagner: An initial algebra approach to the specification, correctness, and implementation of abstract data types, Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978.
L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel: Application of PROLOG to test sets generation from algebraic specifications, Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin (R.F.A), Springer-Verlag LNCS 186, pp.246–260, March 1985.
L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel: Test sets generation from algebraic specifications using logic programming, Journal of Systems and Software Vol 6, no4, pp.343–360, November 1986.
G. Bernot, M. C. Gaudel, B. Marre: Software testing based on formal specifications: a theory and a tool, To appear in Software Engineering Journal, U.K., 1991. (also: Internal Report LRI no581, Orsay, France, June 1990.)
G. Bernot: A formalism for test with oracle based on algebraic specifications, LIENS Report 89-4, LIENS/DMI, Ecole Normale Supérieure, Paris, France, May 1989.
L. Bougé: A proposition for a theory of testing: an abstract approach to the testing process, Theoretical Computer Science 37, North-Holland, 1985.
C. P. Gerrard, D. Coleman, R. Gallimore: Formal Specification and Design Time Testing, Software Science ltd, technical report, June 1985.
J. B. Goodenough, S. L. Gerhart: Towards a theory of test data selection, IEEE trans. soft. Eng. SE-1, 2, 1975. (Also: SIGPLAN Notices 10 (6), 1975.)
J. Gannon, P. McMullin, R. Hamlet: Data-Abstraction Implementation, Specification, and Testing, ACM transactions on Programming Languages and Systems, Vol 3, no 3, July 1981, pp.211–223.
M. C. Gaudel, B. Marre: Algebraic specifications and software testing: theory and application, Internal Report LRI 407, Orsay, France, February 1988, and extended abstract in Proc. workshop on Software Testing, Banff, IEEE-ACM, July 1988.
B. Marre: Sélection automatique de jeux de tests a partir de specifications algebriques, en utilisant la programmation logique, Ph. D. Thesis, LRI, Université de Paris XI, Orsay, France, January 1990.
G. Rigal: Generating Acceptance Tests from SADT/SPECIF, IGL technical report, August 1986.
O. Schoett: Data abstraction and the correctness of modular programming, Ph. D. Thesis, Univ. of Edinburgh, 1986.
G. T. Scullard: Test Case Selection using VDM, VDM'88, Dublin, 1988, LNCS no 328 pp 178–186.
E. J. Weyuker: The oracle assumption of program testing, Proc. 13th Hawaii Intl. Conf. Syst. Sciences 1, pp.44–49, 1980.
E. J. Weyuker: On testing non testable programs, The Computer Journal 25, 4, pp.465–470, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernot, G. (1991). Testing against formal specifications: A theoretical view. In: Abramsky, S., Maibaum, T.S.E. (eds) TAPSOFT '91. TAPSOFT 1991. Lecture Notes in Computer Science, vol 494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540539816_63
Download citation
DOI: https://doi.org/10.1007/3540539816_63
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53981-0
Online ISBN: 978-3-540-46499-0
eBook Packages: Springer Book Archive