AYESAŞ - BAĞIMSIZ DOĞRULAMA VE GEÇERLEME

BAĞIMSIZ DOĞRULAMA VE GEÇERLEME

AYESAŞ, başta Rockwell Collins, ASELSAN ve L3 Avionic Systems firmaları olmak üzere yazılım firmalarına RTCA DO-178B (Level A’ya kadar) standardına uygun olarak bağımsız doğrulama ve geçerleme hizmeti vermektedir. Güvenlik kritik sistemler için gerekli olan “Doğrulama” faaliyetleri Gereksinim Tabanlı Test’lere ek olarak yazılım gözden geçirme ve analiz faaliyetlerini de içermektedir. Özellikle “Yapısal Kapsama Analizi” test edilmekte olan yazılımın karşılaşabileceği muhtemel tüm durumlarda çalışmasını ve davranışlarının test edilmesini garanti altına almaktadır.

İstenilen güvenlik kritiklik seviyesine göre aşağıdaki analizlerin bazıları veya tamamı uygulanmaktadır;
• Yazılım komut kapsaması
• Karar kapsaması
• Değiştirilmiş şart / karar kapsaması (MC/DC)
• Nesne kodu kapsaması

Komuta kontrol ve aviyonik yazılım doğrulama ve geçerleme faaliyetleri için AYESAŞ, TRUVA ve GMS test araçları geliştirmiş ve kullanmaktadır.

ÇÖZÜMLER