Abstract
This paper presents an approach for integration with prototyping. Starting with a hierarchical and modular specification of the system to be designed, implemented modules are progressively integrated in place of the corresponding specified modules. Performing an execution on such a system, where the integration is partial, requires mixing evaluation in the specified modules with evaluation in the programming language used in the implemented modules. This is therefore a context for integration testing without having to realise stub or driver modules.
This paper defines a framework where this kind of mixed evaluation is possible and studies the problems raised by the mixing of evaluation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
5. References
Bernot G., Bidoit M., Choppy C.: Algebraic semantics of exception handling; Proc. ESOP 86, Mar 1986, LNCS 213, Springer-Verlag, pp 173–186.
Bidoit M., Choppy C., Voisin F.: The ASSPEGIQUE specification environment, Motivations and design; Proc. of the 3rd Workshop on Theory and Applications of Abstract data types, Bremen, Nov 1984, Recent Trends in Data Type Specification (H.-J. Kreowski ed.), Informatik-Fachberichte 116, Springer-Verlag, Berlin-Heidelberg, 1985, pp 54–72.
Bidoit M.: Algebraic specification of exception handling by means of declarations and equations; Proc. 11th ICALP, Lecture Notes on Computer Science 172, Springer-Verlag, Berlin, pp 95–108, 1984.
Bidoit M., Capy F., Choppy C., Choquet N., Gresse C., Kaplan S., Schlienger F., Voisin F.: ASSPRO: un environment de programmation interactif et intégré; Techniques et Sciences Informatiques, vol 6, no 1, Janvier 1987.
Bidoit M., Gaudel M.C., Mauboussin A.: How to make algebraic specifications more understandable ? An experiment with the PLUSS specification language; L.R.I. Report no 343, April 1987 (also submitted for publication).
Capy F.: Un environement de spécification algébrique; Thèse de 3ème cycle, Université d'Orsay, 1987.
Choppy C.: Techniques et aspects du prototypage; Génie Logiciel no 3, pp 4–12, Janvier 1986.
Choppy C., Gaudel M.C.: Impact des spécifications formelles sur le développement de logiciel; Recueil des conférences de la Convention Informatique, Tome A, Paris, 1986, pp 335–339.
Gaudel M.C.: Towards structured algebraic specifications; Proc. ESPRIT Technical Week, Bruxelles 1985, Springer-Verlag.
Gaudel M.C., Soria M., Froidevaux C.: Types de données et algorithmes: Analyse d'algorithmes, définition des types de données; INRIA, Collection Didactique, 1986.
Guttag J.V., Horning J.J., Wing J.W.: The Larch family of specification languages; IEEE Software, September 1985.
Kaplan S.: Conditional rewrite rules; Theoretical Computer Science, no 33, December 1984.
Kaplan S.: A compiler for conditional rewriting systems; 2nd Conf. on Rewriting techniques and applications, Bordeaux, May 1987.
Knuth D.E., Bendix P.B.: Simple word problems in universal algebras; in Computational problems in abstract algebra, ed. Leech J., Pergamon Press, 1969, pp 263–297.
Wirsing M., Pepper P, Partsch H., Dosch W., Broy M.: On hierarchies of abstract data types; TU Munchen, Technical Report TUM-I8007, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C. (1987). Formal specifications, prototyping and integration tests. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022110
Download citation
DOI: https://doi.org/10.1007/BFb0022110
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive