Polyspace Code Prover’ın Temel Özellikleri
Polyspace Code Prover’ın öne çıkan özellikleri şunlardır:
Çalışma Zamanı Hatalarını Doğrulama
Polyspace, taşma, sıfıra bölme, dizin sınırı dışı erişim, bellek ile ilgili kritik hatalar gibi sorunların kodun hiçbir yürütme senaryosunda olmayacağını matematiksel olarak kanıtlayabilir.
Değişken Aralık Analizi
Araç değişkenlerin ve fonksiyon dönüş değerlerinin aldığı aralıkları göstererek programın çalışma zamanı davranışı hakkında detaylı bilgi sunar.
Hata ve Kod Bilgisi Renk Kodlama
Her bir satır veya ifade için güvenli, tehlikeli, ulaşılmayan gibi durumlar renklerle gösterilir. Bu sayede geliştiriciler kritik hataları hızlıca görebilirler.
Küresel ve Paylaşılan Değişken Analizi
Global değişken kullanımında potansiyel sorunlar, yarış durumları veya bellek paylaşımlarıyla ilgili analizler yapılabilir.
Endüstri Standardı Sertifikasyon Desteği
Polyspace analizleri, IEC 61508, ISO 26262 ve DO-178 gibi güvenlik ve havacılık standartlarına uygunluk sağlayacak şekilde sertifikasyon destekleri sunar.
Simulink ve Stateflow Entegrasyonu
Simulink ve Stateflow modellerinden otomatik olarak kod üreten projelerde sonuçların modelle ilişkilendirilmesi mümkündür. Bu, model tabanlı tasarım yaklaşımıyla çalışan mühendisler için büyük kolaylık sağlar.
Raporlama ve Dashboard
Analiz sonuçları dashboard’a yayımlanabilir; böylece yazılım kalite metrikleri takip edilebilir ve ekip içi izleme yapılabilir.