Simulink Coverage nedir?
Simulink Coverage, testlerinizin tasarımın ne kadarını gerçekten çalıştırdığını ölçen bir araç kutusudur. Simülasyon sırasında toplanan kapsam verisi, gereksinime dayalı testlerin nerede eksik kaldığını gösterir. Böylece gözden kaçan gereksinimleri ve beklenmeyen davranışları erken fark edersiniz. Ayrıca kapsam ayrıntılarını doğrudan Simulink çalışma alanı üzerinde blok bazında görürsünüz. Ölçüt tanımlarını MathWorks dokümantasyonunda bulursunuz.
Analiz yalnızca modelle sınırlı değildir. Embedded Coder ile üretilen kodun yazılım döngüde ve işlemci döngüde koşumlarında kapsam ölçülür; ayrıca C ve C++ S-fonksiyonları ile model içindeki MATLAB fonksiyonları da kapsanır. Birden çok simülasyondan gelen ölçümleri birleştirir, birim testi sonuçlarını sistem seviyesindeki sonuçlarla bir arada değerlendirirsiniz. Savunma amaçlı kod desenleri gibi tam kapsanması mümkün olmayan öğeleri dışlama süzgeçleriyle ayırır, dikkati gerçekten test edilmesi gereken yere yöneltirsiniz. Son olarak ayrıntılı ve etkileşimli raporlar gereksinim izlenebilirliğini ve test durumu bağlantılarını birlikte gösterir.
Simulink Coverage Temel Yetenekleri
Model Kapsamı
Simülasyon sırasında hangi blokların ve hangi kararların çalıştığını ölçersiniz. Üstelik kapsam ayrıntılarını doğrudan Simulink çalışma alanı üzerinde görürsünüz.
Böylece gereksinime dayalı testlerin nerede eksik kaldığını hemen görürsünüz.
Kod Kapsamı
Embedded Coder ile üretilen kodun yazılım döngüde ve işlemci döngüde koşumlarında kapsamı ölçersiniz. Ayrıca C ve C++ S-fonksiyonları ile MATLAB fonksiyonları da kapsanır.
Dolayısıyla model ile kod tarafındaki eksikleri aynı ölçüyle karşılaştırırsınız.
Kapsam Ölçütleri
Karar, koşul, MC/DC, relational boundary, sinyal aralığı ve arama tablosu ölçütlerini seçersiniz. Çünkü her ölçüt farklı bir eksikliği açığa çıkarır.
Örneğin MC/DC ölçütü, sertifikasyon süreçlerinin sık istediği ayrıntı düzeyini sağlar.
Sonuçları Birleştirin
Birden çok simülasyondan gelen ölçümleri tek tabloda toplarsınız. Ayrıca birim testi sonuçlarını sistem seviyesindeki sonuçlarla birlikte değerlendirirsiniz.
Ayrıca sonuçları bağlı gereksinimlere göre süzerek inceleyebilirsiniz.
Eksik Kapsamı Gerekçelendirin
Savunma amaçlı kod desenleri gibi tam kapsanamayan öğeleri dışlama süzgeçleriyle ayırırsınız. Böylece dikkat gerçekten test edilmesi gereken yere yönelir.
Üstelik süzgeçler kayıt altında kalır, dolayısıyla inceleme sırasında gerekçeyi gösterirsiniz.
Ayrıntılı Raporlar
Etkileşimli raporlar birikmiş ölçümleri, gereksinim izlenebilirliğini ve test durumu bağlantılarını birlikte gösterir. Ayrıca rapordan modele geçiş yaparsınız.
Bu raporlar IEC Certification Kit ve DO Qualification Kit süreçlerinde kanıt olarak kullanılır.