TBsafe® - DO-178B and DO-178C Kod Kapsam Güvencesi

 

Yüksek güvenilirlikte kod üretmek için kaynak kodun yeterince analiz edilmesi gerekir. Sertifika kuruluşlarına kodun doğruluğunu ispatlayabilmek için coverage derecesi oldukça yüksek olmalıdır. Bunları sağlamak için ekstra test imkanı sunan TBSafe kullanılmalıdır.

 

TBsafe geliştiricilere, test uzmanlarına ve yöneticilere DO-178B, Def Stan 00-55 ve IEC 61508 gibi standartlar üzerinden kodlarını test etme imkanı tanımaktadır. Aynı zamanda TBSafe’in farklı standartlar için de sertifika sahibi olabilmesi için çalışmalar devam etmektedir.

TBSafe Özellikleri

 

TBsafe Code Coverage

Bilgi Akış Analizi (Information Flow Analysis)

Bu modül hem güçlü bir döküman aracı hem de harika bir hata dedektörüdür. Hatalar tespit edilirken, kullanıcı, bağımlılıkların neler olduğunu bilmelidir. Ek olarak bu bağımlılıklar üzerindeki değişiklikler yanlış gerçekleştirilmiş değişiklikleri de ortaya çıkarabilir.

Doğru Şema Analizi

Dinamik coverage analizi ile birlikte kullanıldığında oldukça geniş bir alana çözüm sağlamaktadır. Hatta üretim kontrolleri için bir sistem olarak bile faydalanılabilir.

MC/DC Coverage

DO-178B Seviye A sertifikasyonu için gereklidir. Bu ekstra coverage, muhtemel hataların bulunması ve koşulların test edilmesi ile kodda yüksek güven seviyesi sağlar.

Güvenli Altkümeler

Yüksek güvenilirlikli uygulamalar için güvenli altkümeler

Yüksek entegrasyonlu uygulamalar için güvenli altkümeler tasarlanmıştır çünkü programlama dillerinin bazı standart özelliklerini kullanmak tehlikeli olabilir. Örneğin belirli hafıza ataması olan hedefte (target) dinamik hafıza ataması yapılırsa bu durum mevcut kullanılabilir hafızanın tükenmesine neden olabilir. LDRA Testbed’in sağladığı bir fayda da sistemi kontrol ederek kullanılmayan dil özelliklerini işaretlemesidir.

Dinamik Veri Akış Coverage’ı

Dinamik Veri Akış Coverage, kaynak dosyalar içinde ya da test altındaki sistemde bulunan değişkenlerin ve türlerinin belgelendirilmesini sağlar. Mevcut ve birleşmiş veri gruplarındaki her bir değişken için coverage bilgisini planlar.