Le type de
sécurité est une partie de la programmation informatique qui aide à prévenir la
création de bugs qui apparaissent quand un programme s'exécute. Si le type de
sécurité est laxiste, alors il y a une forte probabilité qu'il y aura quelques
bugs, ce qui peut causer un certain nombre d'erreurs. La façon la plus commune
de s'assurer que ces erreurs ne se produisent est d'utiliser un fort codage.
Alors que de nombreux langages de programmation ont intrinsèquement fonctions
pour assurer la fidélité de programmation et d'éviter les erreurs, le mauvais
codage peut rendre ces fonctions impuissants. Il y a deux façons dont un
langage de programmation peut vérifier ces erreurs - statiques ou dynamiques -
et à la fois peut être efficace.
Les erreurs sont
fréquentes dans les programmes et le codage et, avec la sécurité de type,
l'erreur se produit précisément des types de données différents qui ne sont pas
suffisamment réglementés. Les erreurs qui peuvent se produire gamme de la
valeur nominale de grave, mais la plupart ont tendance à être sérieux. Cela
peut arrêter le programme, ou le pauvre codage peut causer des problèmes plus
graves que peut faire le codage inutile et fragmenté.
Il existe de
nombreux moyens d'assurer la sécurité de type, mais l'un des moyens les plus
faciles et les plus courantes consiste à utiliser un codage de type solide.
Contrairement aux méthodes de codage plus doux, ce qui peut permettre le
langage de programmation pour définir mal codage maladroit, le codage de type
fort est très direct. Codage de type solide utilise également des règles et des
règlements pour assurer le codage n'est pas mal définis et de s'assurer qu'il y
a peu d'erreurs.
Une brèche dans
la sécurité de type peut entraîner des problèmes majeurs, tant de langages de
programmation ont adopté fonctionnalités pour tester et éliminer - ou
programmeurs alerte à - ces problèmes. Avant la programmation passe à
l'exécution, la langue va vérifier les erreurs courantes et généralement
annulerait le lancement de l'exécution si des erreurs sont détectées. Dans le
même temps, ces caractéristiques peuvent être inutiles si le programmeur crée
très pauvre codage. La langue ne sera pas en mesure de reconnaître les signes
communs de sécurité de type, de sorte que le programme fonctionne, même si il y
a une erreur.
Deux méthodes
existent pour attraper les problèmes potentiels de type de sécurité, et ceux-ci
ne s'appliquent qu'aux langages de programmation qui vérifient automatiquement
les erreurs. Les méthodes statiques cherchent simplement les signes communs
d'un problème lorsque le programme est en cours pour l'exécution. L'autre
méthode, dynamique, vérifie soigneusement le code et recherche du rôle de
chaque élément de codage dans l'émission de particules. Il cherche ensuite à
travers l'ensemble du programme pour voir si il y a une exception pour le
codage qui pourrait être une erreur, et il permet soit pour passer ou arrête le
lancement du programme.