Tip güvenliği, bir program çalışırken ortaya çıkan hataların oluşmasını önlemeye yardımcı olan bilgisayar programlamanın bir parçasıdır. Eğer tür güvenliği gevşek ise, o zaman çeşitli hatalara neden olabilecek bazı hataların ortaya çıkma olasılığı yüksektir. Bu hataların gerçekleşmemesini sağlamanın en yaygın yolu, güçlü kodlamanın kullanılmasıdır. Birçok programlama dili doğal olarak programlama doğruluğunu sağlama ve hataları önleme işlevlerine sahipken, zayıf kodlama bu işlevleri güçsüz hale getirebilir. Bir programlama dilinin bu hataları kontrol etmesinin iki yolu vardır - statik veya dinamik - ve her ikisi de etkili olabilir.
Programlarda ve kodlamada hatalar yaygındır ve tür güvenliğiyle birlikte, hata özellikle düzgün şekilde düzenlenmemiş farklı veri türlerinden kaynaklanır. Ortaya çıkabilecek hatalar nominalden ciddiye kadar değişmekle birlikte çoğu ciddi olma eğilimindedir. Bu, programı durdurabilir veya zayıf kodlama, kodlamayı yararsız ve parçalanmış hale getirebilecek daha kötü sorunlara neden olabilir.
Tip güvenliğini sağlamanın birçok yolu vardır, ancak daha kolay ve daha yaygın yollardan biri güçlü tip kodlaması kullanmaktır. Programlama dilinin garip kodlamayı yanlış tanımlamasına olanak tanıyan daha yumuşak kodlama yöntemlerinden farklı olarak, güçlü tip kodlama çok doğrudandır. Güçlü tip kodlama, kodlamanın yanlış tanımlanmadığından emin olmak ve birkaç hata olmasını sağlamak için kurallar ve düzenlemeler kullanır.
Tip güvenliğinin ihlali büyük sorunlara neden olabilir, bu yüzden birçok programlama dili, bu sorunları test etmek ve ortadan kaldırmak - veya programcıları uyarmak - için özellikler kullanmıştır. Programlama çalışma zamanına geçmeden önce, dil genel hataları kontrol eder ve hatalar tespit edilirse genellikle çalışma zamanı başlatmayı iptal eder. Aynı zamanda, eğer programcı çok zayıf kodlamalar yaratırsa, bu özellikler faydasız olabilir. Dil, genel güvenlik işaretlerini tanıyamayacak, bu nedenle bir hata olsa bile program çalışacaktır.
Potansiyel tip güvenlik sorunlarını yakalamak için iki yöntem vardır ve bunlar sadece hataları otomatik olarak kontrol eden programlama dilleri için geçerlidir. Statik yöntemler, program çalışma zamanına devam ederken, bir problemin ortak işaretlerini arar. Dinamik olan diğer yöntem kodu tamamen kontrol eder ve her kodlama elemanının parçacık programındaki rolünü arar. Ardından, kodlamada hata olabilecek özel bir istisna olup olmadığını görmek için tüm programı araştırır ve programın başlatılmasını geçmesine veya durdurmasına izin verir.
