kategori: Doğrulama, Onaylama ve Test

Polyspace Test, gömülü sistemlerdeki C ve C++ kodu için test geliştirmenizi ve yapısal kapsam çözümlemenizi sağlar.

Polyspace Test, gömülü C ve C++ kodunun dinamik test tarafını üstlenen üründür. Testleri Polyspace Test xUnit arayüzüyle programlı olarak ya da grafik test yazma düzenleyicisiyle etkileşimli olarak geliştirir ve çalıştırırsınız. Kapsam tarafında endüstri standardı ölçütleri üretir ve incelersiniz: karar kapsamı, koşul kapsamı ve değiştirilmiş koşul ile karar kapsamı, yani MC/DC. Ürün TÜV SÜD tarafından IEC 61508 ve ISO 26262 standartlarıyla kullanım için sertifikalandırılmıştır. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Testleri izlenebilir kılmak için arayüzdeki C ve C++ testlerini dış bir düzenleyicide ya da araçta yazılmış test gereksinimlerine bağlarsınız; IBM DOORS, IBM DOORS Next, Microsoft Word ve Microsoft Excel desteklenir. Elle yazdığınız test kümesini genişletmek için otomatik test üretimi kullanırsınız, böylece kod kapsamı ve sınır değer testi gereksinimlerini karşılarsınız. Testleri ana bilgisayarda ya da hedef donanımda çalıştırır; kod kapsamı ölçütlerini toplar, bellek ile çalışma zamanı başarımını profillersiniz. Sürekli tümleştirme tarafında Jenkins ve Bamboo ile çalışır. Son olarak statik analizle testi tek arayüzde yönetirsiniz: proje yapılandırması, yürütme ve gözden geçirme aynı yerde toplanır, dolayısıyla Polyspace Bug Finder ile Code Prover sonuçlarını test sonuçlarının yanında okursunuz.

Polyspace Test Temel Yetenekleri

Grafik Test Düzenleyicisi

Testleri grafik test yazma düzenleyicisiyle etkileşimli geliştirirsiniz. Parametreleri ve beklenen değerleri arayüzden tanımlarsınız.

Ayrıca aynı testleri xUnit arayüzüyle programlı olarak da yazarsınız.

Yapısal Kapsam

Karar kapsamı, koşul kapsamı ve MC/DC ölçütlerini üretip incelersiniz. Erişilebilen ile erişilemeyen kod ayrı ayrı raporlanır.

Dolayısıyla sertifikasyon kapsam hedeflerini sayısal olarak izlersiniz.

Gereksinim İzlenebilirliği

Arayüzdeki testleri dış araçlarda yazılmış test gereksinimlerine bağlarsınız. IBM DOORS, IBM DOORS Next, Microsoft Word ve Microsoft Excel desteklenir.

Böylece her testin hangi gereksinimi karşıladığını gösterirsiniz.

Otomatik Test Üretimi

Elle yazdığınız test kümesini otomatik üretilen testlerle genişletirsiniz. Kapsam ve sınır değer hedeflerini bu yolla karşılarsınız.

Yani eksik kalan dalları elle aramak zorunda kalmazsınız.

Hedef Donanımda Yürütme

Testleri ana bilgisayarda ya da hedef donanımda çalıştırırsınız. Kod kapsamı ölçütlerini toplarsınız.

Ayrıca donanım destek paketleriyle üretilen kodu cihaza dağıtırsınız.

Başarım Profillemesi

Bellek kullanımını ve çalışma zamanı başarımını profillersiniz. Sonuçları arayüzde satır bazında incelersiniz.

Örneğin darboğaz oluşturan fonksiyonu belirlersiniz.

Birleşik Arayüz

Statik analizle testi tek arayüzde yönetirsiniz. Proje yapılandırması, yürütme ve gözden geçirme aynı yerde toplanır.

Dolayısıyla Bug Finder ile Code Prover sonuçlarını test sonuçlarının yanında okursunuz.

Polyspace Test Nasıl Çalışır?

1. Test projesini kurun Öncelikle test edilecek kaynak dosyaları ve derleyici ayarlarını tanımlayın.
2. Testleri yazın Ardından grafik düzenleyici ya da xUnit arayüzüyle test senaryolarını oluşturun.
3. Kapsamı ölçün Testleri çalıştırıp karar, koşul ve MC/DC kapsamını değerlendirin.
4. Boşlukları kapatın Son olarak otomatik test üretimiyle eksik kapsamı tamamlayın.

Kullanım Alanları

Gömülü Sistemler

Birim testlerini hedef donanımda çalıştırır, ardından kapsam kanıtını üretirsiniz.

Test ve Ölçüm

Testi, kapsamı ve profillemeyi tek arayüzde toplar, böylece raporlamayı basitleştirirsiniz.

Otonom Sürüş

Güvenlik kritik yazılımda MC/DC hedeflerini karşılar, dolayısıyla ISO 26262 kanıtını toplarsınız.

Model Tabanlı Tasarım

Üretilen kodu birim testlerle sınar, ardından sonuçları modele geri bağlarsınız.

Kontrol Sistemleri

Denetim yazılımının sınır davranışını sınar, örneğin doyma noktalarını test edersiniz.

Sıkça Sorulan Sorular

Hangi kapsam ölçütleri destekleniyor?

Karar kapsamı, koşul kapsamı ve değiştirilmiş koşul ile karar kapsamı, yani MC/DC üretilir. Erişilebilen ve erişilemeyen kod ayrı raporlanır.

Testleri nasıl yazarım?

Grafik test yazma düzenleyicisiyle etkileşimli olarak ya da Polyspace Test xUnit arayüzüyle programlı olarak yazarsınız.

Gereksinim araçlarıyla bağlantı var mı?

Evet. IBM DOORS, IBM DOORS Next, Microsoft Word ve Microsoft Excel’de yazılmış test gereksinimlerine bağlantı kurarsınız.

Hedef donanımda çalıştırabilir miyim?

Evet. Testleri hem ana bilgisayarda hem hedef donanımda çalıştırır, kapsam ölçütlerini toplar, bellek ile çalışma zamanı başarımını profillersiniz.

Sertifikasyon açısından durumu nedir?

Ürün TÜV SÜD tarafından IEC 61508 ve ISO 26262 standartlarıyla kullanım için sertifikalandırılmıştır.

Sürekli tümleştirme araçlarıyla çalışır mı?

Evet. Jenkins ve Bamboo gibi yaygın sürekli tümleştirme araçlarıyla çalışır.

Polyspace Code Prover Server, biçimsel kod doğrulamasını sürekli tümleştirme akışlarında otomatikleştirmenizi sağlar.

Polyspace Code Prover Server, biçimsel kod doğrulamasının sunucu sürümüdür. Soyut yorumlama yöntemiyle tüm çalıştırma yollarını ve tüm girdi kümesini kodu çalıştırmadan inceler; tam sayı taşması, sıfıra bölme ve dizi erişimi ihlalleri gibi kritik çalışma zamanı hatalarının yokluğunu test ya da araçlandırma gerektirmeden kanıtlar. Sonuçlar renk kodlu kaynak açıklamalarıyla gelir, yani kanıtlanmış güvenli davranışı kesin kusurdan ve iyileştirme gerektiren bölgelerden ayırırsınız. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Sunucu sürümünün asıl katkısı otomasyondur. Analiz yapılandırmasını derleme komutlarından otomatik türetir, dolayısıyla ekipler ile projeler arasında tutarlı analiz kurarsınız. Üçüncü taraf sürekli tümleştirme platformlarıyla çalışır: Jenkins, GitHub, GitLab ve Bamboo desteklenir. Dağıtım tarafında kurum içi sunucular, AWS ile Azure bulut ortamları ve Docker konteynerleri kullanılır. Analiz kapsamı masaüstü sürümüyle aynıdır: denetim ile veri akışını izleyerek erişilemeyen kodu saptar, gerçekleşmenin mimari tasarımla ya da ARXML belirtimiyle örtüşmesini doğrularsınız; global değişkenler ile eşzamanlı erişim örüntülerini çözümler, korumasız paylaşılan veriyi ortaya çıkarırsınız. Güvenlik tarafında bellek güvenliğini kanıtlar ve olası saldırı yollarını izler. Sertifikasyon tarafında IEC 61508, ISO 26262 ve DO-178C için kanıt üretilir; TÜV SÜD sertifikası mevcuttur. Sonuçları ekip olarak incelemek, bulguları önceliklendirmek ve uyumu izlemek için Polyspace Access kullanırsınız.

Polyspace Code Prover Server Temel Yetenekleri

Hataların Yokluğunun Kanıtı

Tam sayı taşması, sıfıra bölme ve dizi erişimi ihlallerini test ya da araçlandırma gerektirmeden ortadan kaldırırsınız. Analiz kodu çalıştırmaz.

Böylece hatayı geliştirmenin başında yakalarsınız.

Sürekli Tümleştirme

Analiz yapılandırmasını derleme komutlarından otomatik türetirsiniz. Jenkins, GitHub, GitLab ve Bamboo platformları desteklenir.

Dolayısıyla ekipler ile projeler arasında tutarlı analiz kurarsınız.

Renk Kodlu Sonuçlar

Soyut yorumlama tüm çalıştırma yollarını ve tüm girdi kümesini inceler. Renk kodlu kaynak açıklamaları sonucu özetler.

Yani güvenli davranışı kesin kusurdan ve iyileştirme gerektiren bölgelerden ayırırsınız.

Mimari Doğrulama

Denetim ile veri akışını izleyerek erişilemeyen kodu saptarsınız. Gerçekleşmenin mimari tasarımla ya da ARXML belirtimiyle örtüşmesini doğrularsınız.

Ayrıca korumasız paylaşılan veriyi ortaya çıkarırsınız.

Sertifikasyon Desteği

IEC 61508, ISO 26262 ve DO-178C için kanıt üretirsiniz. TÜV SÜD sertifikası mevcuttur.

Böylece sertifikasyon dosyasını otomatik analizlerle beslersiniz.

Polyspace Access ile İnceleme

Sonuçları ekip olarak inceler, bulguları önceliklendirir ve uyumu izlersiniz. Kalite verisi tek yerde toplanır.

Örneğin çalışma zamanı denetimlerinin durumunu panodan okursunuz.

Polyspace Code Prover Server Nasıl Çalışır?

1. Sunucuyu hazırlayın Öncelikle analizi kurum içinde, bulutta ya da Docker konteynerinde kurun.
2. Yapılandırmayı türetin Ardından analiz ayarlarını derleme komutlarından otomatik çıkarın.
3. Akışa bağlayın Analizi Jenkins, GitHub, GitLab ya da Bamboo işlerinize ekleyin.
4. Sonuçları inceleyin Son olarak bulguları Polyspace Access üzerinden ekiple değerlendirin.

Kullanım Alanları

Gömülü Sistemler

Biçimsel doğrulamayı her birleştirmede çalıştırır, ardından kanıtı otomatik toplarsınız.

Kurumsal ve Bilgi Teknolojileri

Analizi kurum içi ya da bulut sunucularında ölçekler, böylece büyük kod tabanlarını doğrularsınız.

Otonom Sürüş

Güvenlik kritik yazılımda ISO 26262 kanıtını üretir, dolayısıyla denetime hazır kalırsınız.

Model Tabanlı Tasarım

Üretilen kodu otomatik akışta doğrular, ardından bulguları modele geri taşırsınız.

Test ve Ölçüm

Doğrulama sonuçlarını sürüm sürüm karşılaştırır, örneğin kalite eşiğini derleme kuralına bağlarsınız.

Sıkça Sorulan Sorular

Masaüstü sürümünden farkı nedir?

Polyspace Code Prover masaüstünde etkileşimli kullanılır. Server sürümü ise sürekli tümleştirme akışlarında otomatik doğrulama için eniyilenmiştir ve sonuçları Polyspace Access üzerinden paylaşır.

Hangi sürekli tümleştirme araçları destekleniyor?

Jenkins, GitHub, GitLab ve Bamboo desteklenir. Dağıtım tarafında kurum içi sunucular, AWS ile Azure bulut ortamları ve Docker konteynerleri kullanılır.

Analiz yapılandırmasını elle mi kurarım?

Hayır. Yapılandırmayı derleme komutlarınızdan otomatik türetirsiniz, dolayısıyla ekipler ile projeler arasında tutarlı analiz kurarsınız.

ARXML belirtimiyle karşılaştırma var mı?

Evet. Denetim ile veri akışını izleyerek gerçekleşmenin mimari tasarımla ya da ARXML belirtimiyle örtüşmesini doğrularsınız.

Sertifikasyon kanıtı üretebilir miyim?

Evet. IEC 61508, ISO 26262 ve DO-178C için kanıt üretilir. TÜV SÜD sertifikası da mevcuttur.

Polyspace Access zorunlu mu?

Sonuçları ekip olarak incelemek, bulguları önceliklendirmek ve uyumu izlemek için gereklidir. Analizin kendisi sunucuda bu ürünle çalışır.

Polyspace Code Prover, yazılımda çalışma zamanı hatalarının bulunmadığını kanıtlamanızı sağlar.

Polyspace Code Prover, biçimsel yöntemlere dayanan bir kod doğrulama aracıdır. Soyut yorumlama yöntemiyle tüm çalıştırma yollarını ve tüm girdi kümesini inceler; sonucu renk kodlu açıklamalarla verir, yani kanıtlanmış güvenli davranışı kesin kusurdan ayırır. Tam sayı taşması, sıfıra bölme ve dizi sınırı dışı erişim gibi kritik çalışma zamanı hatalarının yokluğunu test ya da araçlandırma gerektirmeden kanıtlar. Bu yaklaşım kusur arayan araçlardan farklıdır: bulunmayan bir hatanın gerçekten bulunmadığını gösterir. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Araç mimari anlayışı da destekler. Denetim ile veri akışını dosyalar arasında izler, verinin nasıl yayıldığını ve hangi fonksiyonun nereden çağrıldığını gösterir; erişilemeyen kodu saptar ve gerçekleşmenin mimari tasarımla örtüşüp örtüşmediğini doğrularsınız. Global değişkenleri ve eşzamanlı erişim örüntülerini çözümler, görevler ile iş parçacıkları arasında korumasız paylaşılan veriyi ortaya çıkarır, dolayısıyla eşzamanlılık risklerini geliştirmenin başında görürsünüz. Güvenlik tarafında bellek güvenliğini kanıtlar; tampon aşımı, geçersiz bellek erişimi ve sayısal taşmaları engeller. Model tabanlı tasarım kullanıyorsanız Embedded Coder ile dSPACE TargetLink tarafından üretilen kodu çözümler ve bulguları model ögelerine kadar izlersiniz. Desteklenen standartlar ISO 26262, DO-178C ile ED-12C, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 ve ISO/SAE 21434’tür.

Polyspace Code Prover Temel Yetenekleri

Hataların Yokluğunun Kanıtı

Tam sayı taşması, sıfıra bölme ve dizi sınırı dışı erişimi test ya da araçlandırma gerektirmeden ortadan kaldırırsınız. Analiz kodu çalıştırmaz.

Böylece bulunmayan bir hatanın gerçekten bulunmadığını gösterirsiniz.

Renk Kodlu Sonuçlar

Soyut yorumlama tüm çalıştırma yollarını ve tüm girdi kümesini inceler. Sonuçları renk kodlu açıklamalarla okursunuz.

Yani kanıtlanmış güvenli davranışı kesin kusurdan ayırırsınız.

Mimari Görünüm

Denetim ile veri akışını dosyalar arasında izler, verinin nasıl yayıldığını görürsünüz. Erişilemeyen kodu saptarsınız.

Dolayısıyla gerçekleşmenin mimari tasarımla örtüşüp örtüşmediğini doğrularsınız.

Sertifikasyon Desteği

ISO 26262, DO-178C, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 ve ISO/SAE 21434 standartları desteklenir. Analiz çıktılarını kanıt olarak kullanırsınız.

Ayrıca bellek güvenliğini biçimsel olarak kanıtlarsınız.

Polyspace Code Prover Nasıl Çalışır?

1. Projeyi kurun Öncelikle kaynak dosyaları, derleyici ayarlarını ve içerme yollarını tanımlayın.
2. Doğrulamayı çalıştırın Ardından biçimsel analizi başlatıp renk kodlu sonuçları alın.
3. Turuncuları inceleyin Kanıtlanamayan işlemleri tek tek değerlendirip gerekirse kodu iyileştirin.
4. Kanıtı üretin Son olarak raporları sertifikasyon dosyanıza ekleyin.

Kullanım Alanları

Gömülü Sistemler

Çalışma zamanı hatalarının yokluğunu kanıtlar, ardından savunma kodunu azaltırsınız.

Model Tabanlı Tasarım

Üretilen kodu model ögesine kadar izler, böylece düzeltmeyi modelde yaparsınız.

Otonom Sürüş

Güvenlik kritik yazılımda ISO 26262 kanıtını üretir, dolayısıyla denetime hazır kalırsınız.

Kontrol Sistemleri

Denetim yazılımındaki değer aralıklarını inceler, ardından taşma riskini önceden görürsünüz.

Test ve Ölçüm

Testleri kanıtlanamayan işlemlere yönlendirir, örneğin sınır testlerini analize dayandırırsınız.

Sıkça Sorulan Sorular

Bug Finder ile farkı nedir?

Bug Finder kusurları ve kodlama kuralı ihlallerini bulur, hızlı geri bildirim verir. Code Prover ise tüm çalıştırma yollarını inceleyerek çalışma zamanı hatalarının yokluğunu kanıtlar, dolayısıyla daha kesin ama daha yavaş bir analiz sunar.

Test yazmam gerekiyor mu?

Hayır. Analiz kodu çalıştırmadan yürür, test ya da araçlandırma gerektirmez. Girdi kümesinin tamamı biçimsel olarak incelenir.

Renkler ne anlama geliyor?

Yeşil kanıtlanmış güvenli işlemi, kırmızı kesin kusuru, turuncu kanıtlanamayan durumu, gri ise erişilemeyen kodu gösterir. Böylece hangi satıra bakacağınızı hızla belirlersiniz.

Üretilen kodu çözümleyebilir miyim?

Evet. Embedded Coder ile dSPACE TargetLink tarafından üretilen kod çözümlenir ve bulgular model ögelerine kadar izlenir.

Hangi standartlar destekleniyor?

ISO 26262, DO-178C ile ED-12C, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 ve ISO/SAE 21434 desteklenir.

Eşzamanlılık sorunlarını bulur mu?

Evet. Global değişkenleri ve eşzamanlı erişim örüntülerini çözümler, görevler ile iş parçacıkları arasında korumasız paylaşılan veriyi ortaya çıkarır.

Polyspace Client for Ada, kaynak kodda çalışma zamanı hatalarının bulunmadığını kanıtlamanızı sağlar.

Polyspace Client for Ada, Ada kodunun çalışma zamanı doğruluğunu biçimsel yöntemlerle inceleyen bir doğrulama aracıdır. Ada83 ile Ada95 kodundaki işlemleri denetler ve hangi ifadelerin çalışma koşullarından bağımsız olarak asla çalışma zamanı hatası üretmeyeceğini belirler. Yani sonuç bir olasılık listesi değil, kanıttır. Masaüstünde etkileşimli çalışırsınız: projeleri düzenler, kod alt kümeleri üzerinde analizi yapılandırır ve sonuçları depoya göndermeden önce incelersiniz. Rapor üretir, hata yollarında hata ayıklayıcıya benzer bir gezinmeyle ilerlersiniz. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Araç yazılım tasarımını anlamanıza da yardım eder. Denetim ile veri akışını inceler, değişken ve işleçlere bağlı değer aralıklarını görürsünüz. Bu bilgi başarım iyileştirmesinde işe yarar: güvenli olduğu kanıtlanan işlemlerin çevresindeki savunma kodunu kaldırır, erişilemeyen dallar ile mantık hatalarını saptayarak bellek ayak izini küçültürsünüz. Global değişken kullanımını çözümler, görevler ya da iş parçacıkları arasında paylaşılan değişkenlerdeki okuma ile yazma işlemlerinin ayıklanmasına harcanan süreyi azaltırsınız. Güvenlik tarafında bellek erişimi, tampon aşımı ve sayısal taşma açısından Ada ifadelerini tüketici biçimde doğrular, yirmi CWE zayıflık kuralını denetler. Son olarak testlerinizi güvensiz olduğu kanıtlanan ifadelere yönlendirir, sınır ile bölümleme testlerini analiz sonuçlarına dayandırırsınız. Sürekli tümleştirme akışlarında otomatik analiz için Polyspace Server for Ada kullanılır.

Polyspace Client for Ada Temel Yetenekleri

Hataların Yokluğunun Kanıtı

Ada83 ile Ada95 kodundaki işlemleri çalışma zamanı doğruluğu açısından denetlersiniz. Hangi ifadelerin koşullardan bağımsız olarak asla hata üretmeyeceğini belirlersiniz.

Yani sonuç bir olasılık listesi değil, kanıttır.

Masaüstünde Etkileşimli Analiz

Projeleri düzenler, kod alt kümeleri üzerinde analizi yapılandırırsınız. Sonuçları depoya göndermeden önce incelersiniz.

Ayrıca hata yollarında hata ayıklayıcıya benzer bir gezinmeyle ilerlersiniz.

Değer Aralıkları

Denetim ile veri akışını inceler, değişken ve işleçlere bağlı değer aralıklarını görürsünüz. Bu bilgi tasarımı anlamanızı kolaylaştırır.

Dolayısıyla kodun davranışını belge okumadan çıkarırsınız.

Global Değişken Analizi

Global değişken kullanımını çözümlersiniz. Görevler ya da iş parçacıkları arasında paylaşılan değişkenler ayrıca listelenir.

Böylece okuma ile yazma işlemlerinin ayıklanmasına harcanan süreyi azaltırsınız.

Erişilemeyen Kod

Erişilemeyen dalları ve mantık hatalarını saptarsınız. Güvenli olduğu kanıtlanan işlemlerin çevresindeki savunma kodunu kaldırırsınız.

Böylece bellek ayak izini küçültürsünüz.

Veri Yarışı Yolu

Olası veri yarışına götüren yolun grafiğini görüntülersiniz. Paylaşılan kaynak erişimlerini bu grafik üzerinden izlersiniz.

Örneğin hangi görev çiftinin çakıştığını belirlersiniz.

Çağrı Hiyerarşisi

Ada uygulamaları için eksiksiz çağrı hiyerarşisini hesaplarsınız. Böylece etki alanını değişiklik öncesinde görürsünüz.

Ayrıca testlerinizi güvensiz olduğu kanıtlanan ifadelere yönlendirirsiniz.

Polyspace Client for Ada Nasıl Çalışır?

1. Projeyi kurun Öncelikle Ada kaynak dosyalarını ve analiz kapsamını tanımlayın.
2. Analizi çalıştırın Ardından kod alt kümesi üzerinde doğrulamayı başlatın.
3. Sonuçları inceleyin Renk kodlu ifadeleri ve hata yollarını gezinerek değerlendirin.
4. Testleri yönlendirin Son olarak testlerinizi güvensiz olduğu kanıtlanan ifadelere odaklayın.

Kullanım Alanları

Gömülü Sistemler

Ada kodunda çalışma zamanı hatalarının yokluğunu kanıtlar, ardından savunma kodunu azaltırsınız.

Kontrol Sistemleri

Denetim yazılımındaki değer aralıklarını inceler, böylece taşma riskini önceden görürsünüz.

Test ve Ölçüm

Testleri güvensiz ifadelere yönlendirir, dolayısıyla sınır testlerini analize dayandırırsınız.

Model Tabanlı Tasarım

Mevcut Ada kod tabanını doğrular, ardından yeni bileşenleri model tabanlı akışa taşırsınız.

Sıkça Sorulan Sorular

Hangi Ada sürümleri destekleniyor?

Ada83 ve Ada95 desteklenir. Analiz bu sürümlerdeki işlemleri çalışma zamanı doğruluğu açısından denetler.

Kanıt ne anlama geliyor?

Araç hangi ifadelerin çalışma koşullarından bağımsız olarak asla çalışma zamanı hatası üretmeyeceğini belirler. Yani sonuç bir olasılık listesi değil, biçimsel kanıttır.

Polyspace Server for Ada ile farkı nedir?

Client sürümü masaüstünde etkileşimli çalışır ve dosya düzeyinde analiz yapar. Server sürümü ise sürekli tümleştirme akışlarına bağlanarak otomatik analiz yürütür.

Başarımı nasıl iyileştirir?

Güvenli olduğu kanıtlanan işlemlerin çevresindeki savunma kodunu kaldırırsınız. Ayrıca erişilemeyen dalları ve mantık hatalarını saptayarak bellek ayak izini küçültürsünüz.

Güvenlik denetimi var mı?

Evet. Bellek erişimi, tampon aşımı ve sayısal taşma açısından Ada ifadeleri tüketici biçimde doğrulanır. Yirmi CWE zayıflık kuralı denetlenir.

Test sürecime nasıl katkı sağlar?

Testlerinizi güvensiz olduğu kanıtlanan ifadelere yönlendirirsiniz. Sınır ile bölümleme testlerini analiz sonuçlarına dayandırırsınız, dolayısıyla test eforu doğru yere gider.

Polyspace Bug Finder Server, statik analizi sunucu bilgisayarlarda çalıştırarak yazılım kusurlarını saptamanızı sağlar.

Polyspace Bug Finder Server, Polyspace statik analizinin sunucu sürümüdür. Masaüstü sürümü geliştiricinin kendi makinesinde etkileşimli çalışırken bu ürün sürekli tümleştirme akışlarında otomatik analiz için eniyilenmiştir; sonuçları Polyspace Access üzerinden ekiple paylaşırsınız. Analizi kurum içindeki bir otomasyon sunucusunda ya da bulutta çalıştırırsınız, yani her birleştirme isteğinde kod otomatik olarak taranır. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Analizin kapsamı masaüstü sürümüyle aynıdır. Güvenlik açıkları, eşzamanlılık problemleri ve sayısal kusurlar gibi pek çok kategoride hata bulunur. Gömülü yazılım kodlama standartlarını denetlersiniz: MISRA C ile MISRA C++, AUTOSAR C++14, JSF++ ve kendi adlandırma kurallarınız bu kapsamdadır. Güvenlik tarafında açıkları saptar ve güvenli kodlama standartlarına uyumu sağlarsınız. Sertifikasyon tarafında IEC 61508, ISO 26262, ISO/SAE 21434 ve DO-178C standartları için en yüksek fonksiyonel güvenlik ile güvenlik seviyelerine kadar kanıt üretirsiniz. Ürün mevcut DevOps akışlarına ve araçlarına eklenti olarak bağlanır, dolayısıyla ayrı bir süreç kurmanız gerekmez. Sonuçların gözden geçirilmesi ve paylaşılması için Polyspace Access ayrıca lisanslanır.

Polyspace Bug Finder Server Temel Yetenekleri

Fonksiyonel Güvenlik Kanıtı

IEC 61508, ISO 26262, ISO/SAE 21434 ve DO-178C standartları için kanıt üretirsiniz. En yüksek fonksiyonel güvenlik ile güvenlik seviyelerine kadar destek sunulur.

Böylece sertifikasyon dosyasını otomatik analizlerle beslersiniz.

Güvenlik Analizi

Açıkları saptar ve güvenli kodlama standartlarına uyumu sağlarsınız. Analiz her birleştirme isteğinde otomatik çalışır.

Dolayısıyla açık kod tabanına yerleşmeden yakalanır.

DevOps Tümleştirmesi

Mevcut DevOps akışlarına ve araçlarına eklenti olarak bağlanırsınız. Analizi kurum içindeki bir otomasyon sunucusunda ya da bulutta çalıştırırsınız.

Yani ayrı bir süreç kurmanız gerekmez.

Polyspace Bug Finder Server Nasıl Çalışır?

1. Sunucuyu hazırlayın Öncelikle otomasyon sunucusunu kurum içinde ya da bulutta kurun.
2. Akışa bağlayın Ardından analizi sürekli tümleştirme işlerinize eklenti olarak tanımlayın.
3. Kural setini belirleyin Denetlenecek kodlama standardını ve kusur denetleyicilerini seçin.
4. Sonuçları paylaşın Son olarak bulguları Polyspace Access üzerinden ekibe açın.

Kullanım Alanları

Gömülü Sistemler

Analizi her birleştirmede otomatik çalıştırır, ardından kusuru ana dala girmeden yakalarsınız.

Kurumsal ve Bilgi Teknolojileri

Statik analizi kurum içi ya da bulut sunucularında ölçekler, böylece büyük kod tabanlarını tararsınız.

Otonom Sürüş

Güvenlik kritik yazılımda ISO 26262 kanıtını üretir, dolayısıyla denetime hazır kalırsınız.

Model Tabanlı Tasarım

Üretilen kodu otomatik akışta çözümler, ardından bulguları modele geri taşırsınız.

Test ve Ölçüm

Analiz sonuçlarını sürüm sürüm karşılaştırır, örneğin kalite eşiğini derleme kuralına bağlarsınız.

Sıkça Sorulan Sorular

Masaüstü sürümünden farkı nedir?

Polyspace Bug Finder masaüstü arayüzünde etkileşimli kullanılır. Polyspace Bug Finder Server ise sürekli tümleştirme akışlarında otomatik analiz için eniyilenmiştir ve sonuçlar Polyspace Access üzerinden paylaşılır.

Nerede çalıştırılır?

Kurum içindeki bir otomasyon sunucusunda ya da bulutta çalıştırırsınız. Böylece her birleştirme isteğinde kod otomatik olarak taranır.

Hangi kodlama standartları denetleniyor?

MISRA C ile MISRA C++, AUTOSAR C++14, JSF++ ve kendi adlandırma kurallarınız denetlenir.

Sertifikasyon kanıtı üretebilir miyim?

Evet. IEC 61508, ISO 26262, ISO/SAE 21434 ve DO-178C standartları için en yüksek fonksiyonel güvenlik ile güvenlik seviyelerine kadar kanıt üretirsiniz.

Polyspace Access zorunlu mu?

Sonuçların gözden geçirilmesi ve ekiple paylaşılması için gereklidir. Analizin kendisi sunucuda bu ürünle çalışır, ancak bulguları arayüzden incelemek için Access ayrıca lisanslanır.

Mevcut DevOps araçlarımıza bağlanır mı?

Evet. Ürün mevcut DevOps akışlarına ve araçlarına eklenti olarak bağlanır, dolayısıyla ayrı bir süreç kurmanız gerekmez.

Polyspace Bug Finder, statik analizle yazılım hatalarını ve kodlama kuralı ihlallerini saptamanızı sağlar.

Polyspace Bug Finder, C ve C++ kodunu çalıştırmadan çözümleyen bir statik analiz aracıdır. Soyut yorumlama yöntemiyle üç yüz elliden fazla kusur türünü saptar: tampon aşımı, sıfıra bölme, eşzamanlılık problemleri ve güvenlik açıkları bu kapsamdadır. Kodlama standartları tarafında MISRA C:2023, MISRA C++:2023, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir; kendi kodlama standardınızı da tanımlayabilirsiniz. Güvenlik analizinde açıkları saptar ve zayıflığa götüren olay zincirini izler. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Araç yalnızca kusur listesi üretmekle kalmaz. Çevrimsel karmaşıklık gibi kod ölçütlerini hesaplar, yani bakım kolaylığını sayısal olarak izlersiniz. Fonksiyonel güvenlik tarafında IEC 61508, ISO 26262, EN 50128, DO-178C ve ISO/SAE 21434 sertifikasyon akışlarını destekler; sertifikasyon kanıtını bu analizlerden çıkarırsınız. Model tabanlı tasarım kullanıyorsanız üretilen kodu çözümler ve her bulguyu kaynağındaki Simulink bloğuna ya da Stateflow grafiğine kadar izler, dolayısıyla düzeltme modelde yapılır. Polyspace Test ile birlikte statik analiz ve dinamik test tek arayüzde birleşir. Sunucu tarafında otomatik çalıştırma ve sonuç paylaşımı için Polyspace Bug Finder Server ile Polyspace Access ürünleri bulunur.

Polyspace Bug Finder Temel Yetenekleri

Kusur Tespiti

Soyut yorumlama yöntemiyle üç yüz elliden fazla kusur türünü saptarsınız. Tampon aşımı, sıfıra bölme, eşzamanlılık problemleri ve güvenlik açıkları kapsanır.

Böylece hatayı çalıştırmadan bulursunuz.

Kodlama Standartları

MISRA C:2023, MISRA C++:2023, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir. Kendi kodlama standardınızı da tanımlayabilirsiniz.

Dolayısıyla kurum içi kuralları da aynı akışta denetlersiniz.

Güvenlik Analizi

Açıkları saptar ve zayıflığa götüren olay zincirini izlersiniz. Güvenli kodlama rehberliğini bulguların yanında görürsünüz.

Ayrıca ISO/SAE 21434 akışları desteklenir.

Kod Ölçütleri

Çevrimsel karmaşıklık gibi bakım kolaylığı ölçütlerini hesaplarsınız. Proje, dosya ve fonksiyon düzeyinde ayrıntılı ölçüm alırsınız.

Yani teknik borcu sayısal olarak izlersiniz.

Simulink İzlenebilirliği

Üretilen kodu çözümler, her bulguyu kaynağındaki Simulink bloğuna ya da Stateflow grafiğine kadar izlersiniz. Düzeltmeyi modelde yaparsınız.

Böylece kod ile model arasındaki bağ kopmaz.

Proje Panosu

Proje genelinde kusur sayıları, kodlama kuralı ihlalleri ve ölçütleri tek ekranda görürsünüz. Eğilimleri sürüm sürüm karşılaştırırsınız.

Örneğin birleştirme öncesi kalite eşiğini denetlersiniz.

Birleşik Test Arayüzü

Polyspace Test ile birlikte statik analiz ve dinamik test tek arayüzde birleşir. Sonuçları aynı yerden incelersiniz.

Ayrıca Polyspace platform uygulaması gezinmeyi tek noktada toplar.

Polyspace Bug Finder Nasıl Çalışır?

1. Projeyi kurun Öncelikle kaynak dosyaları, derleyici ayarlarını ve içerme yollarını tanımlayın.
2. Kural setini seçin Ardından denetlenecek kodlama standardını ve kusur denetleyicilerini belirleyin.
3. Analizi çalıştırın Bulguları önem sırasına göre inceleyip olay izlerini takip edin.
4. Kanıtı üretin Son olarak raporları sertifikasyon dosyanıza ekleyin.

Kullanım Alanları

Gömülü Sistemler

Kaynak kodu çalıştırmadan çözümler, ardından kusuru derleme öncesinde düzeltirsiniz.

Model Tabanlı Tasarım

Üretilen kodu bloğuna kadar izler, böylece düzeltmeyi modelde yaparsınız.

Otonom Sürüş

Güvenlik kritik yazılımda açıkları saptar, dolayısıyla ISO 26262 kanıtını üretirsiniz.

Kontrol Sistemleri

Denetim yazılımının kodlama standardına uyumunu denetler, ardından raporlarsınız.

Test ve Ölçüm

Statik analizi dinamik testle birleştirir, örneğin kapsam ile kusur verisini yan yana okursunuz.

Sıkça Sorulan Sorular

Kaç kusur türü saptanıyor?

Üç yüz elliden fazla C ve C++ kusur türü saptanır. Tampon aşımı, sıfıra bölme, eşzamanlılık problemleri ve güvenlik açıkları bu kapsamdadır.

Hangi standartlar denetleniyor?

MISRA C:2023, MISRA C++:2023, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir. Kendi kodlama standardınızı da tanımlayabilirsiniz.

Polyspace Code Prover ile farkı nedir?

Bug Finder kusurları ve kural ihlallerini bulur, hızlı geri bildirim verir. Code Prover ise çalışma zamanı hatalarının yokluğunu biçimsel olarak kanıtlar, dolayısıyla daha kesin ama daha yavaş bir analiz sunar.

Üretilen kodu çözümleyebilir miyim?

Evet. Üretilen kod çözümlenir ve her bulgu kaynağındaki Simulink bloğuna ya da Stateflow grafiğine kadar izlenir. Böylece düzeltmeyi modelde yaparsınız.

Sertifikasyon akışları destekleniyor mu?

Evet. IEC 61508, ISO 26262, EN 50128, DO-178C ve ISO/SAE 21434 akışları desteklenir. Sertifikasyon kanıtını bu analizlerden çıkarırsınız.

Sunucuda çalıştırmak istersem?

Sürekli tümleştirme akışlarında otomatik analiz için Polyspace Bug Finder Server kullanılır. Sonuçları ise Polyspace Access üzerinden paylaşırsınız.

Polyspace as You Code, kodlama standardı ihlallerini ve yazılım açıklarını doğrudan IDE içinde saptamanızı sağlar.

Polyspace as You Code, statik analizi geliştirme anına taşıyan bir eklentidir. C ve C++ kaynak dosyalarını doğrudan geliştirme ortamınızın içinde, dosyayı kaydettiğinizde ya da istek üzerine çözümler. Desteklenen ortamlar Visual Studio 2019 ile 2022, Visual Studio Code, Eclipse, STM32 Cube ve Wind River Workbench’tir; komut satırı arayüzü sayesinde başka ortamlara da bağlanırsınız. Böylece bulguyu haftalar sonra bir derleme raporunda değil, kodu yazarken görürsünüz. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Analiz iki başlığı kapsar. Birincisi yazılım açıkları: üç yüzden fazla açık türü denetlenir, güvenlik sorunları, bellek hataları, sayısal kusurlar ve eşzamanlılık problemleri güncel C ile C++ sürümleri için taranır. İkincisi kodlama standartları: MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir. Her bulgu ayrıntılı bağlam taşır; kusurun açıklaması, ilgili veri tipleri, beklenen ile gerçekleşen değerler, kusura götüren olay izi ve ilgili kod satırları listelenir. Yani nedeni tahmin etmek yerine izi takip edersiniz. Polyspace Access bağlantısı kurulduğunda sonuçlar yerel kopya ya da sürekli tümleştirme işlerinden alınan temel çizgiyle karşılaştırılır, dolayısıyla yalnızca yeni eklenen kusurlara odaklanırsınız. Özel denetleyici yazarak yerleşik bulgu kümesini genişletir, ekip ya da şirket genelinde tutarlı kural setleri uygularsınız.

Polyspace as You Code Temel Yetenekleri

IDE İçinde Analiz

C ve C++ kaynak dosyalarını doğrudan geliştirme ortamınızda çözümlersiniz. Analiz dosyayı kaydettiğinizde ya da istek üzerine çalışır.

Böylece bulguyu kodu yazarken görürsünüz.

Açık Tespiti

Üç yüzden fazla açık türü denetlenir. Güvenlik sorunları, bellek hataları, sayısal kusurlar ve eşzamanlılık problemleri kapsanır.

Ayrıca güncel C ile C++ sürümleri desteklenir.

Kodlama Standartları

MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir. Kural kümesini projeye göre seçersiniz.

Dolayısıyla uyum denetimini geliştirme anına çekersiniz.

Kök Neden Bağlamı

Her bulgu kusurun açıklamasını, ilgili veri tiplerini, beklenen ile gerçekleşen değerleri ve kusura götüren olay izini taşır. İlgili kod satırları da listelenir.

Yani nedeni tahmin etmek yerine izi takip edersiniz.

Yeni Kusur Takibi

Polyspace Access bağlantısı kurulduğunda sonuçlar temel çizgiyle karşılaştırılır. Temel çizgi yerel kopyadan ya da sürekli tümleştirme işlerinden gelir.

Böylece yalnızca yeni eklenen kusurlara odaklanırsınız.

Özelleştirme

Özel denetleyici yazarak yerleşik bulgu kümesini genişletirsiniz. Ekip ya da şirket genelinde tutarlı kural setleri uygularsınız.

Örneğin kendi adlandırma kurallarınızı denetime katarsınız.

Polyspace as You Code Nasıl Çalışır?

1. Eklentiyi kurun Öncelikle kullandığınız geliştirme ortamına Polyspace as You Code eklentisini yükleyin.
2. Kural setini seçin Ardından projeye uygun kodlama standardını ve denetleyicileri belirleyin.
3. Kod yazarken çözümleyin Kaydetme anında çalışan analizin bulgularını satır satır inceleyin.
4. Temel çizgiyle karşılaştırın Son olarak Polyspace Access bağlantısıyla yalnızca yeni kusurlara odaklanın.

Kullanım Alanları

Gömülü Sistemler

Statik analizi geliştirme anına taşır, ardından kusuru birleştirme öncesinde düzeltirsiniz.

Model Tabanlı Tasarım

Elle yazılan kodu üretilen kodla aynı standartlara tabi tutar, böylece bütün proje tutarlı kalır.

Otonom Sürüş

Güvenlik kritik yazılımda açıkları erken saptar, dolayısıyla doğrulama yükünü azaltırsınız.

Kontrol Sistemleri

Denetim yazılımının kodlama standardına uyumunu geliştirme ortamında denetlersiniz.

Test ve Ölçüm

Bulguları sürekli tümleştirme sonuçlarıyla karşılaştırır, ardından yeni kusurları izlersiniz.

Sıkça Sorulan Sorular

Hangi geliştirme ortamları destekleniyor?

Visual Studio 2019 ile 2022, Visual Studio Code, Eclipse, STM32 Cube ve Wind River Workbench desteklenir. Komut satırı arayüzü sayesinde başka ortamlara da bağlanırsınız.

Analiz ne zaman çalışır?

Dosyayı kaydettiğinizde ya da istek üzerine çalışır. Böylece bulguyu haftalar sonra bir derleme raporunda değil, kodu yazarken görürsünüz.

Hangi kodlama standartları denetleniyor?

MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ ve CWE kuralları denetlenir.

Polyspace Bug Finder ile farkı nedir?

Polyspace as You Code geliştirici makinesinde, tek dosya düzeyinde ve IDE içinde çalışır. Polyspace Bug Finder ise masaüstü arayüzünde proje bütününü çözümler ve daha ayrıntılı inceleme sunar.

Yalnızca yeni kusurları görebilir miyim?

Evet. Polyspace Access bağlantısı kurulduğunda sonuçlar yerel kopya ya da sürekli tümleştirme işlerinden alınan temel çizgiyle karşılaştırılır.

Kendi kurallarımı ekleyebilir miyim?

Evet. Özel denetleyici yazarak yerleşik bulgu kümesini genişletir, ekip ya da şirket genelinde tutarlı kural setleri uygularsınız.