DO-178 Projeleri Seviye A,B,C Doğrulama ve Geçerleme Hizmetleri
Proven ekipleri, Emniyet Kritik yazılımların testlerinde DO-178 Temelli sertifikasyon ihtiyaçlarını karşılamak üzere, proje başlangıcından projenin tamamlanmasına kadar her aşamada Doğrulama ve Geçerleme desteği vermektedir. Bu kapsamda destek verilen aşamalar ve faaliyetler aşağıda özetlenmektedir:
- Planlama
-Yazılım Doğrulama Planı’nın hazırlanması ve diğer planlarla uyumluluğunun gözden geçirilmesi
-SOI-1 Destek - Gereksinim ve Tasarım Gözden Geçirme
- Üst Seviye (High level) Gereksinimlerin Gözden Geçirilmesi
- Yazılım Mimarisi ve ve Alt Seviye(Low level) Gereksinimlerin Gözden Geçirilmesi
- SOI-2 Destek
- Testler ve Analizler
- Gereksinim Tabanlı Testler
- Donanım/Yazılım Entegrasyon Testleri
- Hedef donanım üzerinde çalışan yazılıma ilişkin hataların bulunması
- Üst seviye gereksinimlerde tanımlanan fonksiyonalitenin karşılandığının test edilmesi
- Yazılım Entegrasyon Testleri
- Gereksinimler arasındaki ilişkilere ve gereksinimlerin tasarım ile karşılanmasına odaklanılması
- Yazılım birimlerinin birbirleri ile doğru şekilde iletişim kurduğu, gereksinimleri ve tasarımı karşıladığının test edilmesi
- Alt Seviye Testler
- Yazılımın alt seviye gereksinimleri karşıladığının test edilmesi
- Performans Testleri
- En kötü senaryo zaman analizi (WCET)
- İzlenebilirlik Analizi
- Gereksinim Kapsama Analizi
- Yapısal Kapsama Analizi
- SOI-3 Destek
- Araç Kalifikasyonu
- DO-178 kuralları gereği kalifikasyona ihtiyaç duyulan doğrulama araçları için kalifikasyonun gerçekleştirilmesi ve kalifikasyon paketinin hazırlanması
- Araç Kalifikasyon Planı
- Araç Operasyonel Gereksinimleri ve Test
- Araç Başarım Özeti
- Yazılımın tamamlanması ve Sertifikasyon
- Yazılım Başarım Özeti hazırlanmasına destek olunması
- SOI-4 Destek