Teknoloji

AdaCore tarafından askeri kullanımlar için siber güvenlik özellikleri ile gerçek zamanlı yazılım tasarımı ve geliştirme araçları tanıtıldı.

Yazılım araçları, Ada için test arayüzü üreticisi ve sertifikasyon gereksinimlerinin test ve doğrulaması için Ada ve C analizi ve raporlamasını içerir.

NEW YORK – AdaCore, New York’ta, Ada programlama dilinde yazılım geliştiricilerin güvenli ve güvenli yazılım oluşturmasına ve dahili güvenlik ve kalite prosedürlerine uymasına yardımcı olacak GNAT Dynamic Analysis Suite yazılım tasarımı ve geliştirme araçlarını tanıtıyor.

Özellikler arasında Ada için GNATtest otomatik test arayüzü üreticisi, Ada ve C program kapsamını analiz eden ve raporlayan GNATcoverage aracı, endüstriyel yazılım güvenliği standartları için sertifikasyon gereksinimlerini karşılayan sağlam analiz, test ve doğrulama kanıtı ve fuzzing gibi yeni çıkan siber güvenlik teknolojilerine erken erişim yer alıyor.

Fuzz testi, siber güvenlik için giderek daha önemli hale geliyor. Hava değerliliği güvenliği için DO-356 uygunluğunda zaten gereklidir ve yazılım tedarik zincirini güvence altına almak için zorunlu hale gelmektedir. Bu bahar, AdaCore, Linux yerli platformlar için bir fuzzing aracının beta sürümünü yayınlayacak. GNAT Dynamic Analysis Suite, GNAT Pro Enterprise ve GNAT Pro Assurance aboneliklerine bir eklenti olarak mevcuttur ve Ada dil standardının tüm sürümleriyle birlikte, ayrıca resmen analiz edilebilir SPARK Ada alt kümesiyle birlikte kullanılabilir. Yapısal kod kapsamı gibi bazı yetenekleri, C’yi de destekler.

SondakikaWorld CEO | Co Founder | Web Developer | Graphic Designer

Tepkiniz nedir?

İlgili Yazılar

1 of 10.897

Cevap bırakın

E-posta hesabınız yayımlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir