Quel est le type de sécurité?

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 ya 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 une forte codage. Alors que de nombreux langages de programmation ont intrinsèquement fonctions pour assurer la fidélité de programmation et d'éviter les erreurs, la mauvaise 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 les pauvres 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 directe. 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 ya 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 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 ya une exception pour le codage qui pourrait être une erreur, et il permet soit passer ou arrête le lancement du programme.