«

»

Des références et des documents sur les tests de Logiciels

Question :

Dans le cadre d’un MASTER en informatique de gestion, je fais ma thèse en “Tests de logiciels” : j’ai besoin de quelques références ou bien des documents, thèses, cours comme guide pour pouvoir faire mon mémoire

Notre réponse :

Les équipes de recherche du domaine :

Plusieurs équipes de recherche Inria travaillent sur ce sujet, et la page Sûreté du développement logiciel – Vérification vous permet d’en avoir la liste, à laquelle on peut rajouter ces 2 équipes : équipe Triskell dirigée par Jean-Marc Jézéquel et équipe Marelle dirigée par Yves Bertot

Sur les sites de ces équipes de recherche, les rapports d’activités scientifiques,(en anglais) font un état des recherches en cours et donnent les bibliographies et les thèses préparées dans l’équipe

Des documents pédagogiques

dont celui de Michel Riveill Sécurité
et J.B Stéphani, Sacha Krakowiak Tolérance aux fautes : principes et mécanismes.

Sur )i(nterstices on découvre en quoi le logiciel libre offre un nouveau paradigme quant au test des logiciels, une réflexion sur les erreurs informatiques (avec beaucoup de liens utiles), et sur un des bugs les plus célèbre, et sur le test des logiciels embarqués.

Des références d’ouvrages

Parmi les nombreuses références bibliographiques que l’on trouve
en interrogeant le catalogue de bibliothèque INRIA
nous pouvons vous recommander ces livres-ci :

(interroger avec les mots-clés : test logiciel – vérification logiciel – qualité logiciel – fiabilité – )

… et des articles librement accessibles

D’autres sources de documents intéressantes sont
les archives ouvertes Inria et l’archive ouverte des thèses françaises en ligne

Lien Permanent pour cet article : https://fuscia.info/des-references-et-des-documents-sur-les-tests-de-logiciels/