B model animation for external verification

Proceedings - 2nd International Conference on Formal Engineering Methods, ICFEM 1998

Volumn 1998-December, Issue , 1998, Pages 36-45

  Waeselynck, Hélène ^a   Behnia, Salimeh ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; CODES (SYMBOLS); CONCRETES; FORMAL METHODS;

CONCRETE MODEL; DEVELOPMENT PROCESS; FORMAL DEVELOPMENT; INFORMAL REQUIREMENTS; MODEL BASED APPROACH; SOFTWARE DEVELOPMENT PROCESS; UNIFORM TESTING; VERIFICATION TECHNIQUES;

SOFTWARE DESIGN;

EID: 84949000208     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.1998.730568     Document Type: Conference Paper

References (16)

1. J.R. Abrial, The B-Book - Assigning programs to meanings, Cambridge University Press, 1996.
2. S. Alnet, "Test de programme à partir de spécifications B: les problèmes", Studentship Report, LRI - University of Paris Sud (France), September 1996.
3. P. Behm, P. Desforges, F. Mejia, "Application de la méthode B dans l'industrie ferroviaire", in Application des techniques formelles au logiciel, ARAGO 20, OFTA, ISBN 2-906028-06-1, 1997, pp. 59-87.
4. B. Beizer, Software Testing Techniques, 2nd Edition, Van Nostrand Reinhold, New York, 1990.
5. P.T. Breuer, J.P. Bowen, "Towards correct executable semantics for Z", in Proc. of the Z User Workshop, 1994, pp. 185-209.
6. th Z User Meeting, Cambridge (UK), June 1994, pp 51-68.
7. J. Dick, A. Faivre, "Automating the generation and sequencing of test cases from model-based specifications", in Proc. of the Int. Formal Methods Europe Symposium, 1993, pp. 268-284.
8. N.E. Fuchs, "Specifications are (preferably) executable", Software Engineering Journal, Vol. 7, n°5, September 1992, pp. 323-334.
9. M. Fumey, "Animation de spécifications formelles B en programmation logique avec contraintes ensemblistes", Studentship Report, LIB - University of Franche-Comté (France), September 1997.
10. M.C. Gaudel, "Advantages and limits of formal approaches for ultra-high dependability", in Proc. of the Int. Workshop on Software Specification and Design, October 1991.
11. K. Lano, H. Haughton, Specification in B: An introduction using the B Toolkit, Imperial College Press, 1996.
12. J.C. Laprie (Ed.), Dependability: basic concepts and terminology, Springer Verlag, Vienna (Austria), 1992.
13. S.C. Ntafos, "A Comparison of Some Structural Testing Strategies", IEEE Transactions on Software Engineering, Vol. 14, n°6, June 1988, pp. 868-874.
14. H. Waeselynck, J.L. Boulanger, "The role of testing in the B formal development process", in Proc. of the 6th Int. Symposium on Software Reliability Engineering, 1995, pp. 58-67.
15. H. Waeselynck, S. Behnia, "Towards a Framework for Testing B Models", LAAS Report No. 97225, June 1997.
16. E.J. Weyuker, "On testing non-testable programs", The Computer Journal, Vol. 25, n°4, 1982, pp. 465-470.