Abstract
This paper presents an approach for integration with prototy**. 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.
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, prototy** 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