ORCIDGitHubLinkedIn
RSS Özgeçmiş EN

MISRA C

Türkçe karşılığı: MISRA CAlan: Yazılım Kalitesi

Kritik C yazılımında dil kullanımını sınırlandıran, sapma ve doğrulama sürecini disipline eden MISRA yönerge ailesi.

Teknik Bağlam

MISRA C bir statik analiz aracı değildir. Kritik yazılımda C dilinin daha öngörülebilir kullanılmasını amaçlayan bir yönerge ailesidir. Otomatik analizörler belirli kuralları denetleyebilir; ancak MISRA uyumu yalnız araç çıktısına indirgenemez. Uygulanan yönergeler, enforcement yöntemi, deviation kayıtları ve dış yazılım bileşenlerinin durumu birlikte tanımlanmalıdır.

2015 tarihli çalışmalar için MISRA C:2012 dönemsel referanstır. Güncel MISRA C sürümü ve ekleri daha sonra yayımlanmıştır; eski bir çalışmanın kapsamı yeni sürüme geriye dönük taşınmamalıdır.

İlgili Makale

Kaynak

  • https://www.misra.org.uk/app/uploads/2021/06/MISRA-Compliance-2020.pdf

Son güncelleme:

İlgili kavramlar

Yazılım Kalitesi

İlgili teknik yayınlar

Başlık veya özetinde bu kavrama doğrudan karşılık gelen yayınlar.

MISRA C ve Statik Kod Analizi

MISRA C, C dilindeki riskli ve belirsiz kullanımları kurallarla sınırlar; statik analiz uyumsuzlukları sistematik biçimde bulur, ancak tek başına güvenlik veya doğruluk kanıtı değildir.

Aviyonik Sistemler ve İnsansız Hava Araçları

Uçuş fiziği, IMU/GNSS, sensör füzyonu, uçuş kontrolü, yer kontrolü, aviyonik veri yolları, gerçek zamanlı yazılım, hata toleransı, MISRA C, DO-178C ve doğrulama süreçlerini sistem mühendisliği çerçevesinde ele alan akademik ders notu.