Astrée
Statik kaynak kodu analiz aracı:
Çalışma zamanı ve eşzamanlılık hata tespiti
Astrée'yi seçmek için beş neden
Astrée, çalışma zamanı hatalarını tespit etmediğinde, uygulamanın gerçekten çalışma zamanı hatalarına sahip olmamasını sağlayan, resmi yöntemlere dayanan üst düzey bir araçtır.
Bugüne kadar piyasada bu garantiyi sağlayabilecek, resmi yöntemlere dayalı sadece iki araç bulunmaktadır.
1. Çalışıyor
C dilinde yazılmış uygulamalar için çalışır.
2. Tespit etmek
- OSEK işletim sistemi ve ARINC 653 profilindeki eşzamanlılık hataları.
- Sıfıra bölme hataları.
- Aralık dışı dizi erişim hataları.
- Yanlış işaretçi manipülasyonları.
- Tamsayı ve kayan nokta değişkenlerinin taşması.
- Kayan nokta hesaplamalarında yuvarlama hataları.
- Başlatılmamış değişkenlere erişimler.
- Birkaç süreç tarafından paylaşılan değişkenlere sorunlu eşzamanlı erişim.
- Değişken kilidi tutarsızlık hataları.
3. İzin verir
- Çalışma zamanında ek özellikleri test etmek için kullanıcı tanımlı onayların tanılanmasına izin verir.
- Kodun hangi bölümlerinin hiçbir koşulda çalıştırılamayacağının test edilmesini sağlar(ölü kod tespiti).
4. Kontrol
Kaynak kodunu aşağıdaki yazılım kodlama standartlarına göre kontrol edin:
- MISRA C (2004 ve 2012, Değişiklik 1 dahil)
- C99 Dili (ISO/IEC 9899:1999 Ek J)
- CWE (CCR doğrulukları Exact, CWE-more-abstract ve CWE-more-specific)
- SEI CERT C
- ISO/IEC TS 17961:2012
5. Ek olarak...
- Regresyon testini kolaylaştırmak için toplu yürütmeye izin veren bir IDE ve komut satırı arayüzüne sahiptir.
- Jenkins, SCADE, TargetLink (dSPACE), SymtaVision ve RT-Druid ile entegrasyonları vardır.
- DO-178, ISO 26262, EN-50128 ve FDA için Sertifikasyon Paketine sahiptir.
