Exactitude
Dans le théorique de l'informatique, l'exactitude d'un algorithme est affirmée quand on lui dit que l'algorithme est correct en ce qui concerne des spécifications . L'exactitude fonctionnelle du se rapporte au comportement d'entrée-sortie de l'algorithme (c., parce que chaque entrée elle produit le rendement correct). Voir également la vérification de programme .
Une distinction est faite entre l'exactitude de total de , qui exige en plus que l'algorithme se termine, et l'exactitude partielle , qui de exige simplement ce si une réponse est retourné il sera correct. Puisqu'il n'y a aucune solution générale au problème d'arrêt , une affirmation totale d'exactitude peut se trouver beaucoup plus profond.
Par exemple, si nous recherchons successivement par les nombres entiers 1 de , 2, 3,… pour voir si nous pouvons trouver un exemple d'un certain &mdash de phénomène ; dire un &mdash impair du nombre parfait ; il est tout à fait facile d'écrire un programme partiellement correct (factorisation de nombre entier de d'utilisation pour vérifier n comme parfait ou pas). Mais dire ce programme est totalement correct serait d'affirmer quelque chose actuellement non connue dans la théorie des nombres .
Une preuve devrait être une preuve mathématique, supposant que l'algorithme et des spécifications sont donnés formellement. En particulier on ne s'attend pas à ce que soit une affirmation d'exactitude pour un programme donné mettant en application l'algorithme sur une machine donnée. Cela impliquerait des considérations telles que des limitations sur la mémoire.
Un résultat profond dans la théorie , la correspondance de preuve de de Cari-Howard de , déclare qu'une preuve de l'exactitude fonctionnelle dans la logique constructive correspond à un certain programme dans le calcul du lambda. Convertissant une preuve de cette façon s'appelle l'extraction de programme de .
Dans le auditant , l'exactitude est l'une des affirmations de relevé de compte financier de qui doit être assurée. Par exemple, un auditeur doit s'assurer qu'une transaction est correctement enregistrée dans les livres. Pour assurer enregistrer un achat, lui ou elle doit examiner la signalisation aux comptes à payer et le compte d'achat, la quantité brute, quantité d'escompte reçue du fournisseur.
Voir également
Données inexactement de composition iktionary
Logique de Hoare de
Vérification formelle
Conception de par le contrat
.
| Random links: | Six pieds dessous | Shirley Strickland | Frank Nelson Doubleday | Johann Vogel | W. Yvon Dumont | Corrección |