Questions marquées «theory»

Les questions théoriques traitent de sujets qui n'ont généralement pas d'utilisations pratiques immédiates. Soyez prudent lorsque vous utilisez cette balise: votre question peut être plus appropriée pour le site Computer Science Stack Exchange.

À quelle fréquence les CPU font-ils des erreurs de calcul?

Dans les notes de Dijkstra sur la programmation structurée, il parle beaucoup de la faisabilité des programmes informatiques en tant qu'entités abstraites. En corollaire, il remarque que les tests ne suffisent pas. Par exemple, il souligne le fait qu'il serait impossible de tester une fonction de multiplication f (x, y) …

22 theory cpu

Le côlon dans les blocs python est-il techniquement nécessaire?

C'est vraiment juste une question théorique d'un débutant en python qui veut en savoir plus. J'oublie toujours les deux points après les instructions initiales de bloc en python. Voilà ce que je veux dire: for <variable> in <sequence>: if <blah blah>: Ma pensée est qu'une des raisons que j'oublie toujours, …

19 python syntax theory

Quel est un exemple d'un problème commercial impossible à calculer?

J'ai un collègue qui refuse d'accepter la réalité que les machines Turing (et les machines Von Neuman par extension) ne peuvent pas résoudre leur propre problème d'arrêt en déclarant: Vous pouvez tout faire avec suffisamment de temps et d'argent. Il n'aime pas non plus les problèmes théoriques faisant valoir que: …

17 computer-science theory business-logic

Pourquoi Cem Kaner considère-t-il qu'un test ne révélant pas un bug est une perte de temps?

Qu'en est-il de confirmer la fonctionnalité dans des tests positifs, de prouver qu'elle fonctionne - dois-je dire que c'est une perte de temps? Quel genre de concept se cache derrière cette citation? Les tests infructueux, c'est-à-dire les tests qui ne détectent pas d'erreurs, sont une perte de temps. Web Engineering: …

15 testing theory

Actualisation de l'algorithme. Pourquoi heapsort est un algorithme d'insort?

Je ne vois pas pourquoi le tri sélectif est considéré comme un algorithme de tri sur place . Je veux dire qu'une structure de données supplémentaire remplie avec les éléments du tableau à trier, c'est-à-dire un tas, est utilisée pour aider à l'extraction de la valeur min et au processus …

15 algorithms computer-science theory sorting

Comment récupérer d'une panne de machine à états finis?

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 de résoudre de manière …

13 programming-practices theory finite-state-machine

Programmes théoriquement sans bogue

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 …

12 bug theory

Existe-t-il des théories formelles / mathématiques des tests de logiciels?

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 …

12 testing math theory formal-methods information-theory

Dois-je créer une application complète ou une application simple, puis ajouter lentement des fonctionnalités?

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 s'appuyer sur cela …

11 design theory methodology

Quel code est le meilleur pour l'optimisation des prédictions de branche

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 around IF clause */ bool …

10 optimization theory

Liste prioritaire des tâches stockées dans une base de données

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 …

10 database-design data-structures theory

Plus de code = plus de bugs

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 …

10 bug computer-science theory

La vérification et la validation font-elles partie du processus de test?

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 …

9 testing theory verification

Analyse lexicale sans expressions régulières

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 …

9 theory regular-expressions lexer

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.