Dans le cadre de ma formation, Pierre et moi avons eu à réaliser un vérificateur d’assertion à runtime. J’avais déjà parlé du JML en donnant les ressources montrant que le JML était un langage d’assertions à runtime, et donc permettait de rajouter des spécifications formelles à son code. Le but étant de rajouter encore de la sémantique au code, et de permettre au programme de s’arrêter (de préférence, proprement), s’il se rend compte que la liste d’instruction qu’il va (ou qu’il vient d’)exécuter n’est pas conforme à ce qui était prévu.
Continuer la lecture Vérificateur d'assertions à runtime : un exemple simple avec OCaml