Polyspace Test
- Giriş
- MATLAB&Simulink
- Ürünler
- Polyspace Test
Polyspace Test Nedir?
Polyspace Test, gömülü sistemlerde geliştirilen C ve C++ kodları için test geliştirme, yönetme ve yürütme amacıyla kullanılan güçlü bir çözümdür. Gömülü sistem geliştirme süreçlerinde birinci sınıf test altyapısı sunarak, hem birim hem de entegrasyon testlerinin organizasyonunu kolaylaştırır.
Bu ürün sayesinde yazılım ekipleri, yazılımlarını daha güvenilir, sürdürülebilir ve standartlara uygun hale getirebilirler. Ayrıca Polyspace Test, diğer Polyspace ürünleriyle entegre olarak çalışabilir ve yazılımın tüm yaşam döngüsü boyunca kalite denetimi sağlar.
Polyspace Test Nasıl Çalışır?
Polyspace Test, gömülü yazılım test süreçlerini desteklemek için bir dizi kapsamlı özelliğe sahiptir:
Test Geliştirme ve Yürütme
- Testler, Polyspace xUnit API veya grafiksel test editörü kullanılarak oluşturulabilir. Bu iki yöntem, farklı ekiplerin tercihlerine göre esneklik sağlar.
- Geliştiriciler, stubs ve mocks yapılarıyla kodun belirli bölümlerini izole ederek gerçek test ortamında yalnızca test edilmek istenen bileşenleri çalıştırabilirler.
Farklı Platformlarda Çalıştırma
- Testler hem ana bilgisayarda (host) hem de gerçek gömülü donanım üzerinde (target) çalıştırılabilir. Bu, yazılımın gerçek çalıştırma ortamında nasıl davranacağını görmek açısından kritik önemdedir.
Otomasyon ve İzlenebilirlik
- Polyspace Test, test yürütme süreçlerini otomatikleştirebilir ve testleri yazılım gereksinimleriyle izlenebilir şekilde ilişkilendirebilir (traceability). Bu, karmaşık projelerde gereksinimlerin doğru şekilde test edildiğini göstermek için önemli bir özelliktir.
Polyspace’in Temel Özellikleri
Unit ve Entegrasyon Testlerini Geliştirin ve Yürütün
Kod Kapsamını Ölçün ve Çalışma Zamanını Analiz Edin
Polyspace Test, endüstri standartlarında kabul gören decision, condition ve MC/DC gibi metrikler için kod kapsamı analizleri sunar.
Testler sırasında yapılan çalışma zamanı ve bellek kullanımı profillemesi sayesinde, performans iyileştirmesi gerektiren kod bölümlerini net bir şekilde tespit edebilirsiniz.
Testleri Yazılım Gereksinimleriyle İlişkilendirin
Polyspace Test arayüzü üzerinden C ve C++ testlerini doğrudan yazılım gereksinimleriyle ilişkilendirebilirsiniz.
IBM DOORS, IBM DOORS Next, Microsoft Word ve Microsoft Excel gibi harici araçlarda tanımlanan gereksinimler ile testler arasında izlenebilirlik sağlayarak doğrulama ve denetim süreçlerini kolaylaştırabilirsiniz.
Testleri Hem Host Ortamında Hem de Hedef Donanımda Çalıştırın
Polyspace Test ile testlerinizi yalnızca geliştirme bilgisayarında değil, gerçek hedef donanım üzerinde de çalıştırabilirsiniz.
Test yürütme sırasında kod kapsamı metriklerini toplayabilir, bellek kullanımı ve çalışma zamanı performansını hem host hem hedef donanım ortamında analiz edebilirsiniz.
Kapsam ve Sınır Değeri Hedefleri İçin Otomatik Test Üretin
Elle oluşturulan test senaryolarını tamamlamak için Polyspace Test, eksik kod kapsamını kapatmaya ve sınır değer testlerini gerçekleştirmeye yönelik testleri otomatik olarak üretir. Bu sayede test kapsamı artırılırken, manuel test yazma yükü önemli ölçüde azaltılır.
Sertifikasyon Süreçleri İçin Destek
Polyspace Test, güvenlik kritik sektörlerde gerekli olan sertifikasyon süreçlerini desteklemek için ihtiyaç duyulan çıktıları üretir.
Ürün, IEC 61508 ve ISO 26262 standartları kapsamında TÜV SÜD tarafından sertifikalandırılmıştır.
Ayrıca DO-178C gibi havacılık standartlarına yönelik süreçlerde kullanılabilecek rapor ve doğrulama çıktıları sunar.
DevOps Süreçlerine Entegre Edin ve Otomatikleştirin
Polyspace Test, modern yazılım geliştirme yaklaşımlarını destekleyecek şekilde mevcut DevOps ve CI/CD süreçlerine kolayca entegre edilebilir.
Jenkins ve Bamboo gibi yaygın sürekli entegrasyon araçlarıyla çalışarak test süreçlerinin otomatik ve tekrarlanabilir hâle gelmesini sağlar.
Statik Analiz ve Dinamik Testleri Tek Merkezden Yönetin
Polyspace Test; Polyspace Bug Finder, Polyspace Code Prover ve dinamik test yeteneklerini ortak bir kullanıcı arayüzü üzerinden yapılandırma, çalıştırma ve sonuçları görüntüleme imkânı sunar.
Bu sayede tüm yazılım doğrulama faaliyetleri tek bir platformdan yönetilebilir.
Dinamik Testleri Statik Analiz ile Destekleyin
Polyspace Code Prover ile ulaşılamaz olduğu matematiksel olarak kanıtlanan kodlar için eksik kapsam gerekçelendirilebilir.
Statik analiz sonuçları, testlerin güvenilirliğini artırmak ve potansiyel hataları ile çalışma zamanı sorunlarını erken aşamada tespit etmek için dinamik testleri tamamlayıcı şekilde kullanılır.