Runtime Verification

Genel Bilgi

Çalışma Zamanı Doğrulaması, gözlemlenen davranışın belirli özellikleri karşılayıp karşılamadığını tespit etmek ve muhtemelen yanıt vermek için çalışan bir sistemden bilgi çıkarmak için tasarlanmış bir hesaplamalı sistem analizi ve yürütme yöntemidir. Bu teknik, güvenlik veya güvenlik politikası izleme, hata ayıklama, test etme, doğrulama, doğrulama, performans analizi, arıza güvencesi, davranış değişikliği ve daha fazlası gibi çeşitli amaçlar için kullanılabilir. Az sayıda yürütme yörüngesini analiz ederek ve doğrudan gerçek sistemle çalışarak geleneksel resmi doğrulama tekniklerinin karmaşıklıklarını önler.

Çalışma Zamanı Doğrulama A.Ş., çalışma zamanı doğrulama tekniklerini kullanarak sanal makine ve akıllı sözleşme güvenlik denetimlerine odaklanan bir şirkettir. Sağladıkları hizmetler arasında tasarım incelemeleri, kod incelemeleri, denetimler ve akıllı sözleşmelerin ve protokollerin resmi doğrulaması yer alır.

Şu anda Runtime Doğrulama A.Ş. tarafından hangi ürünler sunuluyor?

Runtime Doğrulama A.Ş. şu anda üç temel ürün geliştiriyor: RV-Predict, bir programdaki eşzamanlı hataları otomatik olarak tespit etmeye odaklanan tahmini bir çalışma zamanı analiz aracıdır. RV-Monitör, kullanıcı tarafından seçilen özelliklerin çalışma zamanında izlenmesine ve yürütülmesine olanak tanıyan bir geliştirme yöntemi ve kitaplık oluşturma aracıdır. RV-Match, olası tüm program yollarında kapsamlı çalışma zamanı doğrulamasının sembolik olarak gerçekleştirilmesine izin veren ve böylece belirli özelliklerin belirli bir programın tüm olası yürütülmeleri için doğru olduğunu kanıtlayan bir araçtır.

RV-Predict ne zaman ve neden kullanılmalı?

Çok iş parçacıklı uygulamalar için eşzamanlılık doğruluğu önemli olduğunda, RV-Predict kullanılmalıdır. RV-Predict, bir programdaki eşzamanlılık sorunlarını ve veri çekişmesini verimli ve sorunsuz bir şekilde tespit edebilir, çalıştırılması çok kolaydır ve genellikle herhangi bir yapılandırma gerektirmez. RV-Predict ayrıca, RV-Predict kaydının yürütme izinde ortaya çıkmasalar bile olası çekişmeleri tespit etmek için benzersiz tahmin yetenekleri kullanır.

RV-Monitör ne zaman ve neden kullanılmalı?

RV-Monitör, karmaşık uygulamaları veya sistemleri izlemeye ve bunlar üzerinde izleme yürütme özelliklerini gerçekleştirmeye izin verir. RV-Monitör, program geliştirmeyi yönetmek için bir belirtim mevcut olduğu sürece kullanılmalıdır ve bu belirtime bağlılık, yazılımın kritik bir özelliğidir. RV-Monitör, Android ve Java API 'leri de dahil olmak üzere yaygın API' lere uyumu izlemek için de kullanılabilir.

RV-Match ne zaman ve neden kullanılmalı?

RV-Monitör, belirli bir programın yürütülmesinin belirli özelliklerine uyumu doğrulayabilir ve uygulayabilir, RV-Match ise bir programın çalışma zamanında doğruluğunu kanıtlayabilir, böylece tüm olası yürütme yollarındaki yürütme izlerini ve tüm olası girdileri analiz edebilir. RV-Match, hedef dilin resmi olarak tanımlanmış anlambilimini kullanarak yürütmeyi sembolik bir şekilde simüle ederek güçlü doğruluk garantileri sağlar. Resmi doğrulamanın güçlü garantileri gerektiğinde, RV-Match kullanılmalı ve özelliklerin asla ihlal edilmediğini kanıtlayabilecek alanların izlenmesini ortadan kaldırmak için RV-Monitör ile birlikte kullanılabilir.

Runtime Doğrulama A.Ş. 'nin ürünleri tarafından hangi lisanslar kapsanmaktadır?

RV tarafından geliştirilen projeler iki kategoriye ayrılır: tescilli ürünler ve açık lisans altında lisanslananlar (RV 'nin açık kaynak ekosisteminin bir parçası olarak).

Tescilli ürünler, açık lisans altında açıkça lisanslanmamış tüm ürünleri içerir ve yalnızca değerlendirme ve akademik / ticari olmayan amaçlar için kullanılır. Türev çalışmalar, önceden izin alınmadan tescilli RV ürünleri kullanılarak oluşturulamaz ve RV, tescilli ürünlere ilişkin tüm hakları saklı tutar. Tescilli ürünler hiçbir şekilde ters mühendislik ile tasarlanamaz.

Blok Zinciri Proje Denetimi