Yazılım Test ve Doğrulama

DO-178B (Level A’ya kadar) standardına uygun olarak bağımsız doğrulama ve geçerleme hizmeti veriyoruz. Güvenlik kritik sistemler için gerekli olan doğrulama faaliyetlerimiz, gereksinim tabanlı testlere 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ını veya tamamını uyguluyoruz:

  • Yazılım komut kapsaması
  • Karar kapsaması
  • Değiştirilmiş şart / karar kapsaması (MC/DC)
  • Nesne kodu kapsaması

Lentatek Yazilim Test

Aranacak kelimeyi girin ve "enter" tuşuna basın.
Çıkmak için "ESC" tuşuna basın.