Question :
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
- Depuis le site l’université numérique Unit on peut accéder à la vidéo de la conférence de Gérard Berry Le logiciel, objet de notre quotidien
- La page de Michel Riveill « Pointeurs pour l’enseignement » donne les liens vers plusieurs supports de cours sur la sureté des systèmes répartis
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é – )
- Tutorial : distributed-software engineering / Sol M. Shatz and Jia-Ping Wang. – Washington, D.C. : IEEE Computer Society Press, 1989. – ix-279 p. – isbn 0-8186-8856-4.
- Le test des logiciels / Spyros Xanthakis, Pascal Régnier, Constantin Karapoulios. – Paris : Hermès, DL 2000. – 329 p. (Etudes et logiciels informatiques). – isbn 2-7462-0083-X
- The foundations of program verification / Jacques Loeckx and Kurt Sieber. – 2nd ed. – New York : Wiley, cop. 1987.- 230 p. (Wiley-Teubner series in computer science) . – isbn 0-471-91282-4
- Component-based software quality : methods and techniques / Alejandra Cechich, Mario Piattini, Antonio Vallecillo (eds.). – Berlin ; New York : Springer, cop. 2003. X-402 p. (Lecture notes in computer science ; 2693, ISSN 0302-9743).-isbn 3-540-40503-8
- Black-Box Testing / Boris Beizer. – Chichester : J. Wiley, 1995. – XXV-294 p.- isbn 0-471-12094-4
- et le no spécial de la revue TSI : Test de logiciel (Technique et science informatiques RSTI Vol.21 N° 9/2002) dont cet article accessible en ligne Utilisation des contraintes pour la génération automatique de cas de test structurels / B. Botella, A. Gotlieb, C. Michel, M. Rueher, P. Taillibert
… 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
