Algorithmique - cours et exercices corrigés MOBI

Algorithmique - cours et exercices corrigés Jacques Julliand nous offre ici un ouvrage pr cieux qui traite de mani re tr s p dagogique diff rents aspects des m thodes rigoureuses de construction de programmes Pierre BerliouxDans le monde de l industrie et des services, la validation et la v rification des logiciels sont aujourd hui des enjeux s curitaires et conomiques majeursLa s curit des passagers des v hicules de transport d pend par exemple de la s ret des logiciels qui en contr lent les fonctions motrices, tout comme la survie conomique des fabricants de produits diffus s des centaines de milliers d exemplaires serait remise en cause si le logiciel embarqu se r v lait erron et devait tre remplacL utilisation d environnements de d veloppement de logiciels int grant des outils d aide la v rification et la validation JAVA JML, C SPEC , C ACSL, Atelier B, Scade, Esterel, etc va se g n raliser et, dans cette perspective, les futurs utilisateurs devront ma triser ces outils autant que les techniques sous jacentes la base des techniques de v rification, la logique de Hoare est au coeur de cet ouvrageOn trouvera ici comment utiliser cette m thode pour v rifier et concevoir des logiciels s rsL auteur montre galement comment mod liser des syst mes informatiques dans le paradigme logico ensembliste, puis comment les v rifier et les tester en recourant aux outils de la m thode BDivis en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de v rification par application des r gles de la logique de HoareLes concepts de la m thode de v rification sont introduits en montrant les similitudes et les diff rences avec la m thode de test fonctionnel bo te noire On y trouvera notamment des l ments de strat gie utilisant ces concepts pour v rifier et pour concevoir des logiciels La seconde partie est consacr e des questions pratiques li es la mise en oeuvre de la m thode avec des outils Atelier B et LEIRIOS Test Generator assistant la v rification et la g n ration de tests Elle inclut le langage d entr e de ces outils la mod lisation des logiciels en BL ensemble est illustr de nombreux exercices corrig sJacques Julliand est enseignant chercheur l universit de Franche Comt Laboratoire d informatique Elabor s pour les tudiants de Licence et de Master d informatique sous l intitul Preuve et valuation de programmes et Sp cification, v rification et test , les cours qui sont l origine de ce manuel ont t galement diffus s distance

Leave a Reply

Your email address will not be published. Required fields are marked *