DO-330, ISO-26262'ye göre takım kalifikasyon paketi
Şunlar için geçerlidir
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
Yazılım doğrulama araçlarının niteliği nedir?
Kendi doğrulama araçlarımızı veya ticari doğrulama araçlarını kalifiye etme imkanı sunuyoruz. Aracı çok sayıda test senaryosuna tabi tutuyor ve sonuçları ve analizlerini içeren ayrıntılı bir rapor sunuyoruz. Test senaryolarına ek olarak, müşterinin ihtiyaçlarına göre test senaryoları ekleme, özelleştirme veya çıkarma imkanı sunuyoruz. Test paketi ile birlikte yeterlilik belgeleri de sağlanmaktadır.
Müşterilerimizle yakın temas kuruyor ve kalifikasyon süreci boyunca onlara rehberlik ediyoruz. Test vakalarının yürütülmesindeki desteğimiz özellikle önemlidir.
Ne sunuyoruz
Kişiye özel test senaryolarının oluşturulması
Müşterinin ilgilendiği aracın işlevselliğini inceliyoruz ve ilgili test senaryolarını tasarlıyoruz.
Yeni özelleştirilmiş test senaryolarının kolayca dahil edilebileceği esnek bir araç sunuyoruz.
Yeterlilik belgeleri sağlıyoruz
İki ana belge içermektedir:
- Araç tarafından karşılanması gereken gereksinimleri tanımlayan Araç Operasyonel Gereksinimleri (TOR).
- Test durumlarının ayrıntılı bir açıklaması da dahil olmak üzere Araç Operasyonel Doğrulama ve Geçerleme Durumları ve Prosedürleri (TOVVCP)
Farklı standartlara ve programlama dillerine göre sertifikasyon
MISRA-C 2004, 2012 ve 2023, MISRA-C++ 2023,ICAO ADS-B ve ASTERIX gibi sertifikasyon standartlarına aşinayız.
C, C++ ve LUA tabanlı araçlarla çalıştık.
Destek ve danışmanlık hizmeti
Aracımızın uygulanması ve kullanımı ile ilgili destek sunuyoruz. Ayrıca, standarda uygunluğunu sağlamak için aracın doğru şekilde geliştirilmesi konusunda tavsiyelerde bulunuyoruz.
Geliştirme sırasında bakım
Müşterilerimize özel araçlarının geliştirilmesi sırasında eşlik ediyor, ihtiyaçlarına her zaman uyum sağlamak için yeterlilik paketinin ardışık sürümlerini sunuyoruz.
Bunu nasıl yapıyoruz
Teslim Edilecekler
Araç Kalifikasyon Planı (TQP)
Araç yeterlilik planı
Araç Operasyonel Gereksinimleri (TOR)
Operasyonel gereksinimlerin belirlenmesi
Araç Operasyonel Doğrulama ve Geçerleme Durumları ve Prosedürleri (TOVVCP)
- Test senaryolarının belirlenmesi
- Test senaryolarını içeren konfigürasyon dosyaları: yeni test senaryoları eklemeye izin verir.
Yeterlilik paketi
Test senaryolarını yürüten ve sonuçların çeşitli ayrıntılı raporlarını oluşturan Python komut dosyası tabanlı araç.
- Python kodu
- Yapılandırma dosyaları
Araç Yapılandırma Dizini
Alet tanımlama ve yapılandırma
Araç Başarı Özeti
Yeterlilik planı ile gerçekleşen yeterlilik arasındaki farklar
Ticari statik kaynak kodu analiz araçları
Çeşitli ticari araçları aşağıdaki standartlara göre değerlendirmiş bulunmaktayız:
Satışta! | PC-lint Plus, CppCheck Premium, Understand
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Ağ trafiği izleme araçları
Çeşitli tescilli araçları aşağıdaki standartlara göre kalifiye ettik:
Mevcut! | Wireshark LUA eklentisi
ADS-B mesajlarının izlenmesi. ICAO'nun DF-0 ila DF-24 arası downlink mesaj formatlarını destekliyoruz.
Mevcut! | Wireshark
ASTERIX mesajlarının izlenmesi. ICAO'nun 001 ila 247 numaralı ASTERIX mesajlarını destekliyoruz.
Mevcut projeler
SnmpB aracı, grafik arayüzlü bir SNMP MIB tarayıcısıdır.
