En comparant génie logiciel et génie civil, j'ai été surpris d'observer une façon de penser différente: tout ingénieur civil sait que si vous voulez construire une petite hutte dans le jardin, vous pouvez simplement obtenir les matériaux et aller la construire, alors que si vous voulez construire...
Si vous avez été formé à l'utilisation des méthodes formelles (FM) pour la programmation: Dans quelle mesure l'avez-vous trouvé? En quoi consistait votre formation FM (par exemple un cours, un livre)? Quels outils FM utilisez-vous? Quels avantages en termes de vitesse / qualité cela vous a-t-il...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 2 ans . Les méthodes formelles peuvent être...
Googler "théorie des tests de logiciels" ne semble donner que des théories au sens doux du terme; Je n'ai pas pu trouver quoi que ce soit qui puisse être qualifié de théorie au sens mathématique, théorique de l'information ou dans un autre domaine scientifique. Ce que je recherche, c'est quelque...
Je suis actuellement en train de refactoriser une partie d'une grande base de code sans aucun test unitaire. J'ai essayé de refactoriser le code de manière brute, c'est-à-dire en essayant de deviner ce que fait le code et quels changements ne changeraient pas sa signification, mais sans succès: il...