Skip to main content

kategori: Kod Doğrulama

Polyspace Access ürün sayfası başlık görseli

Polyspace Access

Polyspace Access, statik ve dinamik analiz sonuçlarını incelemenizi ve yazılım kalite ölçütlerini izlemenizi sağlar.

Polyspace Access, Polyspace ürünlerinin ürettiği statik ve dinamik analiz sonuçlarını merkezileştiren web tabanlı bir platformdur. Proje panolarında yazılım kalitesini izlersiniz; kusur takibi, kodlama kuralı ihlalleri, çalışma zamanı denetimleri, test sonuçları ve kod kapsamı ölçütleri tek ekranda toplanır ve ayrıntıya inebilirsiniz. İnceleme tarafında ekipler sonuçları kaynak kod bağlamıyla birlikte tarayıcıda gözden geçirir, sahiplik atar, durum değişikliklerini izler ve iş yönetimi için ortak yorumlar ekler. Ayrıntıları MathWorks ürün sayfasında bulursunuz.

Geçmiş ve temel çizgi karşılaştırması ürünün ayırt edici yanıdır: güncel sonuçları önceki koşumlarla ve belirlenmiş temel çizgilerle karşılaştırarak gerilemeleri saptar, ilerlemeyi izler ve geliştirme sürümleri boyunca kalite iyileşmesini ölçersiniz. Yazılım fabrikası tümleşmesi tarafında Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada ve Polyspace Test sonuçlarını tek depoda birleştirir, sürekli tümleştirme ile sürekli dağıtım hatlarında kalite kapıları kurarsınız. Erişim yönetimi LDAP ve tek oturum açma üzerinden kurumsal kimlik sistemlerine bağlanır, dolayısıyla analiz sonuçlarına erişimi rol tabanlı güvence altına alırsınız. Kurulum kurum içinde ya da bulutta yapılır; sanal makine şablonları, Docker konteynerleri ve Kubernetes desteklenir, üçüncü taraf izleme araçlarıyla tümleşme de mümkündür.

Polyspace Access Temel Yetenekleri

Proje Panoları

Yazılım kalitesini web tabanlı panolardan izlersiniz. Kusur takibi, kodlama kuralı ihlalleri, çalışma zamanı denetimleri, test sonuçları ve kod kapsamı ölçütleri tek ekranda toplanır.

Böylece ayrıntıya inerek kaynağı bulursunuz.

Ortak İnceleme

Sonuçları kaynak kod bağlamıyla birlikte tarayıcıda gözden geçirirsiniz. Sahiplik atar, durum değişikliklerini izler ve ortak yorumlar eklersiniz.

Dolayısıyla bulgu yönetimi ekip içinde şeffaf ilerler.

Sürüm Karşılaştırması

Güncel sonuçları önceki koşumlarla ve temel çizgilerle karşılaştırırsınız. Gerilemeleri saptar, ilerlemeyi izlersiniz.

Örneğin MISRA uyum sonuçlarını sürümler arasında karşılaştırırsınız.

Rol Tabanlı Erişim

LDAP ve tek oturum açma üzerinden kurumsal kimlik sistemlerine bağlanırsınız. Analiz sonuçlarına erişimi kullanıcı izinlerine göre güvence altına alırsınız.

Yani hassas projeleri yetkisiz erişimden korursunuz.

İzleme Araçlarıyla Tümleşme

Üçüncü taraf izleme araçlarıyla tümleşme kurarsınız. Kalite göstergelerini mevcut panolarınıza taşırsınız.

Ardından yazılım kalitesini diğer ölçütlerle birlikte izlersiniz.

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

  1. Sunucuyu kurun Öncelikle platformu kurum içinde, bulutta ya da Kubernetes üzerinde çalıştırın.
  2. Analizleri bağlayın Ardından Polyspace sunucu ürünlerinin sonuçlarını tek depoda toplayın.
  3. Erişimi tanımlayın LDAP ya da tek oturum açma ile rol tabanlı yetkileri belirleyin.
  4. Kalite kapısı kurun Son olarak sürekli tümleştirme hattına kalite eşikleri ekleyin.

Kullanım Alanları

Kurumsal ve Bilgi Teknolojileri

Analiz sonuçlarını merkezileştirir, ardından erişimi rol bazında yönetirsiniz.

Gömülü Sistemler

Kod kalitesini sürüm sürüm izler, böylece gerilemeleri erken yakalarsınız.

Test ve Ölçüm

Test sonuçlarını ve kapsam ölçütlerini panoda birleştirir, dolayısıyla raporlamayı basitleştirirsiniz.

Otonom Sürüş

Güvenlik kritik projelerde uyum durumunu izler, ardından denetime hazır kalırsınız.

Model Tabanlı Tasarım

Üretilen kodun analiz sonuçlarını ekiple paylaşır, örneğin düzeltmeyi modele yönlendirirsiniz.

Sıkça Sorulan Sorular

Hangi ürünlerin sonuçları toplanıyor?

Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada ve Polyspace Test sonuçları tek depoda birleşir.

Hangi ölçütler izleniyor?

Kusur takibi, kodlama kuralı ihlalleri, çalışma zamanı denetimleri, test sonuçları ve kod kapsamı ölçütleri izlenir.

Gerilemeleri nasıl saptarım?

Güncel sonuçları önceki koşumlarla ve belirlenmiş temel çizgilerle karşılaştırarak gerilemeleri saptar, ilerlemeyi izlersiniz.

Erişim güvenliği nasıl sağlanıyor?

LDAP ve tek oturum açma üzerinden kurumsal kimlik sistemlerine bağlanır, erişimi kullanıcı izinlerine göre güvence altına alırsınız.

Nereye kurulabilir?

Kurum içinde ya da bulutta kurulur; sanal makine şablonları, Docker konteynerleri ve Kubernetes desteklenir.

Sürekli tümleştirme hattına bağlanır mı?

Evet. Sonuçları tek depoda birleştirir ve sürekli tümleştirme ile sürekli dağıtım hatlarında kalite kapıları kurarsınız.

okumaya devam et

Polyspace Test ürün sayfası başlık görseli

Polyspace 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.

okumaya devam et

Polyspace Code Prover Server ürün sayfası başlık görseli

Polyspace Code Prover Server

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.

okumaya devam et

Polyspace Code Prover ürün sayfası başlık görseli

Polyspace Code Prover

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.

okumaya devam et

Polyspace Client for Ada ürün sayfası başlık görseli

Polyspace Client for Ada

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.

okumaya devam et

Polyspace Bug Finder Server ürün sayfası başlık görseli

Polyspace Bug Finder Server

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.

okumaya devam et

Polyspace Bug Finder ürün sayfası başlık görseli

Polyspace Bug Finder

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.

okumaya devam et

Polyspace as You Code ürün sayfası başlık görseli

Polyspace as You Code

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.

okumaya devam et

Polyspace Copilot ürün sayfası başlık görseli

Polyspace Copilot

Polyspace Copilot, Polyspace as You Code bulgularını doğal dille açıklayan ve düzeltme öneren, Visual Studio Code içinde çalışan yapay zeka asistanıdır.

Polyspace Copilot, Polyspace as You Code eklentisiyle birlikte Visual Studio Code içinde çalışan bir yapay zeka asistanıdır. Doğal dille sorduğunuz soruya, güncel MathWorks dokümantasyonuna ve kod örneklerine dayanan yanıtlar verir. Böylece hangi denetleyicinin hangi amaca hizmet ettiğini araştırmak yerine doğrudan sorarsınız. Kurulum ve kullanım ayrıntıları MathWorks ürün sayfasında yer alır.

Asıl katkısı bulguları yorumlamakta ortaya çıkar. Polyspace as You Code bir ihlal işaretlediğinde asistan, kuralın neden tetiklendiğini kodun bağlamıyla birlikte açıklar. Ardından düzeltme için kod parçacığı önerir; onaylanmış sapmalar için gerekçelendirme metni de hazırlar. Ayrıca birçok dilde soru sorabilir ve yanıt alabilirsiniz, dolayısıyla ekip İngilizce dışında da çalışabilir.

Polyspace Copilot Temel Yetenekleri

Polyspace Yeteneklerini Keşfedin

Doğal dille sohbet ederek mevcut doğrulama hedefinize uygun Polyspace yeteneklerini bulursunuz. Yanıtlar güncel MathWorks dokümantasyonuna ve kod örneklerine dayanır.

Böylece denetleyici yapılandırmasını belgeleri tarayarak öğrenmek zorunda kalmazsınız.

Bulguları Anlayın

Polyspace as You Code bulgularının bağlama uyarlanmış açıklamalarını okursunuz. MISRA C:2023, MISRA C++:2023 ve CERT C/C++ ihlalleri ayrı ayrı yorumlanır.

Dolayısıyla kural numarasından ne kastedildiğini ayrıca araştırmanız gerekmez.

Düzeltme Önerileri Alın

Bulguyu gidermek için kod parçacığı içeren öneriler alırsınız. Ayrıca onaylanmış sapmalar için Polyspace gerekçelendirme metni önerilir.

Böylece düzeltme ile gerekçelendirme arasındaki kararı aynı ekranda verirsiniz.

Kendi Dilinizde Çalışın

Soruları birçok dilde sorar ve yanıtları aynı dilde alırsınız. Asistan Visual Studio Code içinde, kodun yanındaki panelde çalışır.

Üstelik düzenleyiciden çıkmadan bulgudan düzeltmeye uzanan akışı tamamlarsınız.

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

  1. Eklentiyi kurun Öncelikle Visual Studio Code içine Polyspace as You Code eklentisini kurun.
  2. Kodu tarayın Ardından yazdığınız C ya da C++ dosyasını Polyspace ile denetleyin.
  3. Bulguyu asistana sorun İşaretlenen ihlali seçip açıklamasını ve düzeltme önerisini isteyin.
  4. Düzeltin ya da gerekçelendirin Son olarak öneriyi uygulayın veya onaylanmış sapma için gerekçe metnini ekleyin.

Kullanım Alanları

Gömülü Sistemler

Gömülü C ve C++ kodundaki kural ihlallerini yazarken çözer, böylece geç aşamadaki düzeltme maliyetinden kaçınırsınız.

Otonom Sürüş

Güvenlik kritik sürüş yazılımında MISRA uyumluluğunu geliştirici masasında sağlarsınız.

Model Tabanlı Tasarım

Üretilen ve elle yazılan kodu aynı kurallara göre denetler, ardından bulguları asistanla yorumlarsınız.

Agentic AI

Kod doğrulama adımını yapay zeka destekli bir akışa bağlar, böylece inceleme süresini kısaltırsınız.

Sıkça Sorulan Sorular

Polyspace Copilot tek başına çalışır mı?

Hayır, Polyspace as You Code eklentisi zorunludur. Asistan bu eklentinin ürettiği bulguları yorumlar. Ayrıca Visual Studio Code içinde çalışır; başka bir geliştirme ortamı şu an desteklenmiyor.

Hangi standartların ihlallerini açıklar?

MISRA C:2023, MISRA C++:2023 ve CERT C/C++ kuralları kapsanır. Asistan kuralın neden tetiklendiğini kodun bağlamıyla açıklar. Böylece kural numarasını ayrıca araştırmanız gerekmez.

Türkçe kullanabilir miyim?

Evet, asistan çok dilli etkileşimi destekler. Soruyu tercih ettiğiniz dilde sorar ve yanıtı aynı dilde alırsınız. Dolayısıyla ekip İngilizce dışında da çalışabilir.

Önerilen düzeltmeyi doğrudan uygulayabilir miyim?

Asistan kod parçacığı içeren öneri sunar, kararı siz verirsiniz. Ayrıca onaylanmış sapmalar için Polyspace gerekçelendirme metni önerir. Böylece düzeltme ile gerekçelendirme arasındaki seçimi aynı ekranda yaparsınız.

Yanıtlar nereye dayanıyor?

Yanıtlar güncel MathWorks dokümantasyonuna ve kod örneklerine dayandırılır. Bu yüzden genel amaçlı bir sohbet aracından farklı olarak Polyspace terminolojisini ve denetleyici adlarını doğru kullanır.

Ne zaman kullanmaya başlamalıyım?

Kodu yazarken kullanmak en verimlisidir; bulgular geliştirici masasında çözülür. Böylece ihlaller sürekli entegrasyon aşamasına taşınmaz ve düzeltme maliyeti düşük kalır.

okumaya devam et

Kurumsal
MATLAB & Simulink
İletişim
Kurumsal e-bültenimize abone olarak FİGES hakkındaki güncel gelişmelerden haberdar olabilirsiniz.
E-Bültene Kayıt Ol
Sosyal Medya'da FİGES

© FİGES A.Ş. Tüm hakları saklıdır.