ORCIDGitHubLinkedIn
RSS Özgeçmiş EN

MISRA C

Türkçe karşılığı: MISRA CAlan: Software Quality

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

Son güncelleme:

İ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

Gömülü ve kritik C yazılımında MISRA C, Cppcheck, Splint, Astrée ve TI Code Composer Studio üzerinden statik analizin garanti sınırlarını; lexical taramadan abstract interpretation'a uzanan analiz katmanlarıyla inceliyorum.