Caracteristiques Affectant la Fiabilite: Verification de Type
La verification de type signifie qu ’un language est capable de detecter les erreurs relative au types des donnees ou bien au moment de la compilation ou au moment de l ’execution.
Quand un language, comme le C, ne detecte pas ces erreurs, le programme peut-etre execute, mais les resultats ne sont pas significatifs.
Par example, l ’etendue des tableaux n ’est pas verifiee en C, et lorsque les indices depassent les limites, le programme ne s ’arrete pas bien que les valeurs attente n ’aient pas de sens.