Resultats de la cerca
Es mostren 3 resultats
procediment
Electrònica i informàtica
Conjunt explícit de regles, expressat en alguns tipus de llenguatge (de programació o natural) i que permet de resoldre un problema.
Si hi ha garantia que la solució s’obtindrà en un nombre finit de passos hom parla d' algorisme
correctesa
Electrònica i informàtica
Absència d’errors o de defectes, especialment dels que poden tenir conseqüències negatives en l’execució de programes o de procediments.
Normalment es distingeix entre correctesa parcial , que és l’acord entre el procediment especificat i allò executat, i la correctesa total , que afegeix a l’anterior una prova o garantia d’acabament de l’execució en un temps finit
depuració
Electrònica i informàtica
Procés de detecció, aïllament i eliminació dels errors presents en un programa, o de les fallades d’un sistema informàtic.
Els errors sintàctics, aquells que s’originen en escriure una instrucció que no s’adequa a la sintaxi del llenguatge de programació emprat, si bé són detectats pels processos de traducció, no poden pas ésser resolts, i sovint ni tan sols localitzats exactament Cal, doncs, que un programador expert usi el seu coneixement per a situar-los i resoldre'ls Més complicat és el cas dels errors semàntics, aquells que manipulen conjuntament dades de tipus incompatible amb el tipus de manipulació que hom pretén realitzar Si el llenguatge utilitzat és fortament tipat, els errors semàntics seran detectats…