En réponse à une question précédente , un petit débat a commencé sur la terminologie correcte pour certaines constructions. Comme je n'ai pas trouvé de question (autre que ceci ou cela , ce qui n'est pas tout à fait la bonne chose) pour y répondre clairement, je crée cette nouvelle question. Les...
Ma question peut sembler très scientifique, mais je pense que c'est un problème courant et les développeurs et programmeurs chevronnés auront, espérons-le, quelques conseils pour éviter le problème que je mentionne dans le titre. Btw., Ce que je décris ci-dessous est un vrai problème que j'essaie...
J'ai lu beaucoup d'articles qui déclarent que le code ne peut pas être exempt de bogues, et ils parlent de ces théorèmes: Arrêter le problème Théorème d'incomplétude de Gödel Théorème de Rice En fait, le théorème de Rice ressemble à une implication du problème d'arrêt et le problème d'arrêt est en...
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 commence tout juste à apprendre Haskell, après être venu des mondes JavaScript / Ruby. J'ai rencontré https://github.com/HoTT et le livre The Homotopy Type Theory , que j'ai très hâte de lire. Cependant, j'apprendrai les concepts mathématiques et la théorie des types au fur et à mesure, il...
Je travaille dans une usine de fabrication qui a chargé l'informatique de créer un programme de planification en atelier (ce qui est très nécessaire). Sur la base de l'expérience d'autres utilisateurs, serait-il préférable de prendre moins de temps et d'élaborer un cadre de base utilisable, puis de...
J'essaie de penser à la meilleure façon de procéder comme suit: J'ai une liste de tâches stockées dans la base de données. Une tâche a une priorité qui lui est affectée. Vous pouvez modifier la priorité d'une tâche pour réorganiser l'ordre de leur exécution. Je pense à quelque chose de très...
De retour au collège, je me souviens d'un professeur enseignant à la classe une des lois de l'informatique. Il a dit quelque chose comme "Plus de code équivaut à plus de bugs" et lui a donné un nom (The Law Of Whatchamacallit) et l'a attribué à quelqu'un. Est-ce que quelqu'un sait d'où vient cette...
Compte tenu de la prédiction de branche et de l'effet des optimisations du compilateur, quel code a tendance à offrir des performances supérieures? Notez que bRareExceptionPresent représente une condition inhabituelle. Ce n'est pas le chemin normal de la logique. /* MOST COMMON path must branch...
J'ai regardé quelques lexers dans différentes langues de niveau supérieur ( Python , PHP , Javascript entre autres) et ils semblent tous utiliser des expressions régulières sous une forme ou une autre. Bien que je sois sûr que les regex sont probablement la meilleure façon de le faire, je me...
Sur la base de nombreuses sources, je ne crois pas que la définition simple qui vise à tester soit de trouver autant de bugs que possible - nous testons pour nous assurer que cela fonctionne ou non. Par exemple, les objectifs de test du formulaire ISTQB sont les suivants: Déterminer que (les...