Existe-t-il des théories ou des livres sur la façon de déboguer «en général»? [fermé]

12

J'ai lu et étudié beaucoup d'informatique et d'ingénierie et j'ai rarement ou jamais vu un livre sur le débogage ou une théorie sur le débogage (bien que j'aie sûrement développé certaines théories de débogage de ma propre initiative).

Existe-t-il des théories et / ou des livres de débogage? Pourquoi pourquoi pas? Je peux lire comment déboguer en utilisant gdb et certaines des informations les plus utiles sur le développement que j'ai obtenues en lisant comment utiliser gdb.

Niklas
la source
1
Que voulez-vous dire debugging theory? Quels sujets devrait-il couvrir?
superM
5
Deux articles que vous trouverez (probablement) intéressants: Une théorie des plans et interprétations de débogage et du débogage de programme algorithmique
yannis
Oui, cela s'appelle la résolution de problèmes: en.wikipedia.org/wiki/Problem_solving
AndreasScheinert
1
@SoboLAN Je pensais que le demandeur voulait la théorie réelle derrière le débogage, et 82/88 n'est pas si vieux, les concepts de base sont les mêmes ... Mais oui, pas sur quoi porte la question.
yannis
1
De nombreux concepts en génie logiciel sont aujourd'hui assez anciens, mais ils s'appliquent toujours très bien à la situation actuelle. N'oublions pas, la roue a été développée il y a des millions d'années, et pourtant aucun d'entre nous n'a de problème à conduire sur 2 ou 4 d'entre eux tous les jours de notre vie lol
user60812

Réponses:

6

J'ai lu le Debug IT de programmeurs pragmatiques. Comme presque tous les livres de programmeurs pragmatiques, c'est assez pratique mais pas si profond, mais c'était sympa de m'aider à enseigner aux nouveaux développeurs comment définir leur "état d'esprit de débogage". Il n'y a pas de magie noire, mais plus de bon sens et presque tout semble vraiment intuitif pour les programmeurs expérimentés.

VP.
la source
6

Il y a le débogage: les 9 règles indispensables pour trouver même les problèmes logiciels et matériels les plus insaisissables . Je ne me souviens pas que ce soit terriblement profond ou du tout académique, mais il a certainement des idées et des histoires intéressantes.

Il est également très utile de voir le débogage du point de vue matériel - en général, le matériel de débogage est plus difficile que le logiciel de débogage. Chaque chapitre du livre est motivé par une «histoire de guerre» issue de l'expérience de l'auteur; le reste du chapitre passe en revue la technique qu'il a trouvée utile dans ce cas particulier. Les histoires sont un bon mélange de développement matériel et logiciel.

J'ai certainement trouvé l'approche de commencer chaque chapitre avec une histoire réelle très instructive.

Tikhon Jelvis
la source
1
+1 J'ai un exemplaire de ce livre et je dois dire qu'il est vraiment bien écrit. Il est générique dans la mesure où vous pouvez déboguer n'importe quoi en utilisant les règles suggérées par l'auteur: défauts logiciels, problèmes matériels, problèmes avec les toilettes, n'importe quoi vraiment :)
Jason Evans
1
C'est un livre génial. L'une des meilleures informations que j'en ai tirées était l'idée non seulement de résoudre un problème, mais de le retirer pour confirmer que le problème se produit toujours sans lui. Après avoir essayé dix choses pour résoudre un problème, à la fin, si vous omettez cette étape, vous ne saurez peut-être pas laquelle était la vraie solution.
Kyralessa
1

Le Saff Squeeze est une technique décrite par Kent Beck qui utilise des tests et une refactorisation pour le débogage:

Hit 'em High, Hit' em Low :

Test de régression et compression Saff

Kent Beck, Three Rivers Institute

Résumé: Pour isoler efficacement un défaut, commencez par un test au niveau du système et progressivement en ligne et élaguez jusqu'à ce que vous ayez le plus petit test possible qui démontre le défaut.

Jörg W Mittag
la source