Extended institutions for testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 514-528

  Doche, Marielle ^a   Wiels, Virginie ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b ONERA   (France)

Author keywords

Category theory; Formal specification; Functional test generation; Institutions

Indexed keywords

ALGEBRA; FORMAL SPECIFICATION; SOCIETIES AND INSTITUTIONS;

CATEGORY THEORY; FUNCTIONAL TEST; FUNCTIONAL TEST GENERATION; TEST CASE;

TESTING;

EID: 84974712819     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_36     Document Type: Conference Paper

References (23)

1. M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Data Type Specification, volume 1130 of LNCS, pages 81-101. Springer Verlag, 1996.
2. S. Barbey, D. Buchs, and C. Péraire. Test selection for object-oriented software based on formal Specifications. In Proceedings of PROCOMET’98, number Tech-nical Report EPFL-DI No 97/252, December 1997.
3. G. Bernot, M-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6, November 1991.
4. E. Brinksma. Formal methods for conformance testing: Theory can be practical. In CAV’99, number 1633 in LNCS, pages 44-46. Springer Verlag, July 1999.
5. J. Cazin, C. Seguin, W. Osnowycz, E. Ciapessoni, and E. Ratto. An experience in the Specification and test of an electrical flight control system using a temporal logic framework. In DASIA 96 Data Systems in Aerospace. ESA publications, May 1996.
6. E. Ciapessoni, E. Corsetti, M. Migliorati, and E. Ratto. Specifying industrial real-time systems in a logical framework. In ICLP 94-Post Conference Workshop on Logic Programming in Software Engineering, 1994.
7. A. Daurat, M. Doche, and D. Le Berre. Manipulations des principaux objets du formalisme Moka-TRIO par l’interface Java-Moka. ONERA-CERT / DTIM, 1999.
8. M. Doche. Techniques formelles pour l’évaluation de systèmes complexes. Test et modularité. PhD thesis, ENSAE, ONERA-CERT/DTIM, December 1999.
9. M. Doche, C. Seguin, and V. Wiels. A modular approach to specify and test an electrical flight control system. In FMICS-4, Fourth International Workshop on Formal Methods for Industrial Critical Systems, July 1999.
10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules specifications and constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1990.
11. J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for con-current system Specification. Formal Aspects of Computing, 4(3):239-272, 1992.
12. J.H. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper and Row, 1986.
13. M-C. Gaudel. Testing can be formal, too. In TAPSOFT’95, pages 82-96. Springer Verlag, 1995.
14. C. Ghezzi, D. Mandrioli, and A. Morzenti. A model parametric real-time logic. ACM Transactions on programming languages and systems, 14(4):521-573, Octo-ber 1992.
15. J. A. Goguen and R. Burstall. Institutions: Abstract model theory for Specification and programming. Journal of the ACM, 39(1):95-146, January 1992.
16. T. Jéron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification, CAV’99, volume 1633 of LNCS, pages 108-121. Springer-Verlag, July 1999.
17. D. Mandrioli, S. Morasca, and A. Morzenti. Functionnal test case generation for real-time systems. In Dependable computing for critical applications 3., volume 8 of Dependable computing and fault-tolerant systems, pages 29-61. Springer Verlag, 1992.
18. J. Meseguer. General logics. In H-D. Ebbinghaus and all, editors, Proceedings of Logic Colloquium. North-Holland, 1987.
19. P. Michel and V. Wiels. A framework for modular formal Specification and verification. In Proceedings of FME’97, number 1313 in LNCS. Springer-Verlag, 1997.
20. C. Seguin andW.Wiels. Using a logical and categorical approach for the validation of fault-tolerant systems. In FME96, Formal Methods Europe, March 1996.
21. V. Wiels. Modularité pour la conception et la validation formelles de systèmes. PhD thesis, ENSAE-ONERA/CERT/DERI, October 1997.
22. V. Wiels and S. Easterbrook. Management of evolving Specifications using category theory. In Proceedings of Automated Software Engineering’98, 1998.
23. M. Wirsing. Algebraic Specification. In Handbook of theoretical computer science, Formal Models and Semantics, volume B, pages 675-788. Elsevier and MIT Press, 1990.