Polyspace Client for Ada
Temel Özellikleri Nelerdir?
Kritik Çalışma Zamanı Hatalarının Olmadığını Kanıtlayın
Ada83 veya Ada95 ile yazılmış kodlardaki işlemleri çalışma zamanı doğruluğu açısından kontrol edin. Çalışma zamanı koşullarından bağımsız olarak hiçbir zaman çalışma zamanı hatası üretmeyecek ifadeleri belirleyin.
Bulguya ilişkin olay izleri, değişken değer aralıkları ve çağrı ağaçları desteğiyle çalışma zamanı zafiyetlerini analiz edin. Polyspace Client for Ada, diğer test yöntemleriyle tespit edilemeyen hataları yakalamak için formal metotlar kullanır.
Kod çalıştırılmadan, tüm olası girdiler için tüm kod yollarını analiz eder.
Masaüstünde Etkileşimli Analiz
Üç pencere açık durumdadır:
- Renk kodlu ifadelerin yer aldığı pencere
- Parametrelerin gösterildiği pencere
- Grafiksel öğelerin yer aldığı pencere
Projelerinizi organize edin ve yapılandırın; kaynak kod deposuna göndermeden önce kod değişikliklerini doğrulamak için yazılım projelerinin belirli alt kümeleri üzerinde statik kod analizi çalıştırın.
Polyspace Client for Ada ile raporlar oluşturun, analiz sonuçlarını inceleyin ve önceliklendirin. Debugger benzeri görünümler sayesinde, bir çalışma zamanı hatasına giden her ifadeyi adım adım takip ederek karmaşık hataların kök nedenini bulun.
Yazılım Tasarımını ve Kodun Anlaşılabilirliğini İyileştirin
Polyspace Client for Ada, analiz edilen yazılımda kullanılan tüm global değişkenlerin listesini sunar.
Yazılım boyunca kontrol ve veri akışını inceleyin; değişkenler ve operatörlerle ilişkili değer aralıklarını görüntüleyin.
Performans için Yazılımı Optimize Edin
Polyspace Client for Ada, ulaşılamayan kodları kaynak kod içinde gri renkte gösterir.
Sıfıra bölme gibi güvenli ve emniyetli olduğu kanıtlanmış işlemleri belirleyerek savunmacı (defensive) kodları kaldırın. Hiçbir yürütme yoluyla ulaşılamayan kod dallarını, mantık ve program yapısındaki hataları tespit ederek kaldırın; böylece daha küçük bellek ayak izi elde edin.
Global Değişken Kullanımını Analiz Edin
Olası bir veri yarışına giden yolu gösteren bir grafik görüntüleyin.
Görevler veya iş parçacıkları arasında paylaşılan değişkenler de dahil olmak üzere, global değişkenlerin okuma-yazma işlemlerinde hata ayıklamaya harcanan süreyi azaltın.
Eşzamanlı erişim grafiği ile veri yarışına yol açan kontrol ve veri akışını anlayın. Kod optimizasyonu için kullanılmayan global değişkenleri belirleyin.
Statik Uygulama Güvenlik Testi (SAST)
Bellek erişimi, tampon taşmaları veya sayısal taşmalar gibi potansiyel olarak zafiyet içeren Ada ifadelerini kapsamlı şekilde analiz ederek, uygulamanın kritik güvenlik açıklarından arındırılmış olduğunu kanıtlayın.
20 adet CWE (Common Weakness Enumeration) zafiyet kuralı desteği sunar. Polyspace Client for Ada analiz sonuçlarını kullanarak fuzz testlerini tamamlayın veya yerine geçirin ve yalnızca tespit edilen riskli işlemlere odaklanın.
Sağlamlık ve Fonksiyonel Testleri İyileştirin ve Tamamlayın
Polyspace Client for Ada’yı kullanarak, sıfıra bölme veya taşma gibi güvensiz olduğu kanıtlanan ifadeler üzerine testlerinizi odaklayarak sağlamlık testlerini geliştirin.
Fonksiyon parametreleri ve global değişkenler için hesaplanan değer aralıkları ile kontrol ve veri akışı analizlerinden yararlanarak sınır ve bölümlendirme testlerini oluşturun ve sürdürün.
Neden Kullanılmalıdır?
Kritik Yazılımlarda Güvenilirlik
Polyspace Client for Ada, özellikle havacılık, savunma, otomotiv, demiryolu ve tıbbi cihaz yazılımları gibi yüksek güvenilirlik gerektiren alanlarda tercih edilir. Run-time hatalarını önceden tanımlayarak kritik sistemlerde başarısızlık riskini minimize eder.
Test Önyargısını Kaldırır
Test senaryolarına bağlı kalmadan analiz yaptığı için test kapsamı dışı hataları da yakalar; bu da kaliteyi önemli ölçüde artırır.
Daha Az Kaynak, Daha Hızlı Geri Bildirim
Test ortamı kurma, kodu çalıştırma gerektirmediği için analizler hızlıdır ve daha az ek kaynakla kaliteli sonuç verir.
Kod Kalitesi ve Okunabilirlik
Geliştiricilere kodun zayıf noktalarını ve karmaşıklığını göstererek daha iyi tasarım ve sürdürülebilirlik sağlar.
Geliştirici Deneyimini İyileştirir
Hata sonuçları doğrudan kaynak kodunda gösterildiği için hataları düzeltmek ve anlamak daha kolay hale gelir.