"Sans erreur" comme dans "parfait?" Comme dans "écrit par Dieu et les anges, pas les humains?" (nous parlons ici de logique de programme et peut-être d'erreurs de logique matérielle)
Je ne peux pas dire franchement qu'une seule ligne de code est sans erreur. C'est parce que nous, les humains, eh bien, nous ne pouvons prouver aucune hypothèse négative!
Le mieux que je puisse dire, c'est que la probabilité d'erreur est un nombre compris entre 0 et 1. J'atteins ce nombre par le biais de principes de développement et de test de logiciels bien ou mal définis et bien ou mal compris; par un décompte des lignes de logiciel source en question; en comprenant à quel point je me porte bien ou mal, pauvre candidat, applique ces principes pour produire ces lignes de code; et plus.
Et je ne peux exprimer cette compréhension que comme une probabilité. Le terme «sans erreur logique» signifie donc presque rien.
Si je voyais une annonce pour un ingénieur logiciel qui produisait du code "sans erreur", je l'appliquerais immédiatement ou je courrais tout de suite: l'entreprise n'a pas beaucoup réfléchi à la façon dont elle développe, teste et livre ses logiciels. . Ce sera donc soit une grande opportunité, soit un cauchemar sans fin.
De tout logiciel, cependant, je peux facilement - et je dois - dire que je m'attends à du code qui ne comporte pas d'erreurs qui tombent en dehors de ce truc de logique, sombre: du code qui compile et relie sans erreurs ni avertissements; c'est-à-dire "html valide" ou "css valide"; JavaScript (par exemple) qui ne génère aucun message d'erreur inexpliqué ou défaut de navigateur. Je peux mesurer cette partie directement et la marquer en noir et blanc sur un graphique.
Cette partie est simple comme bonjour. Tout le monde peut faire cela .
Hé, bonne chance dans votre recherche :-)