| Crosopat TROCOPAT, basit ve verimli ilişkisel hesaplama için bir araçtır. |
Şimdi İndirin |
Crosopat Sıralama ve Özet
- yayıncı web sitesi:
- http://mtc.epfl.ch/~beyer/CrocoPat/
Crosopat Etiketler
Crosopat Açıklama
Timsah, basit ve verimli ilişkisel hesaplama için bir araçtır. Timsah, basit ve verimli ilişkisel hesaplama için bir araçtır. Relational hesaplama. Karma hesaplar. Basit ve etkileyici sorgu ve manipülasyon dili, birinci dereceden öngörülen hesaplamaya dayanmaktadır. Uygulama, bilgisayar destekli doğrulamadaki büyük ilişkilerin kompakt bir temsili olarak bilinen veri yapısı ikili karar diyagramı (BDD) dayanmaktadır. Timsah, diğer araçlarla entegre edilmesi kolaydır, çünkü basit bir tuple formatında ve büyük yazılım sistemlerinin değerlendirilmesinde, dosyalardan ve dosyalardan ilişkileri okur ve yazar. Yazılım sistemlerinin yapısal analizleri, örneğin tespiti olarak ilişkisel sorgular olarak resmileştirilebilir Tasarım kalıpları, problemli tasarım kalıpları, kod klonları, ölü kodun ve astik olarak ve tasarlanmış mimari arasındaki farklılıkların. Verimliliği ve etkileyici dili sayesinde, TROCOPAT, diğer grafik analiz araçlarıyla, özellikle geçişli kapakları ve grafiklerdeki kalıpların tespitini içeren analizlerde mümkün olmayan gerçek dünya yazılım sistemlerinin pratik olarak önemli analizlerini sağlar. Yüksek seviye BDD paketi. Standart BDD paketleri, bitlerin üzerindeki ilişkileri manipüle etmek için işlemler sağlar, TROCOPAT Kütüphanesi, ilişkilerin dizgiler üzerindeki manipülasyonunu sağlar. Haritalama dizgilerinin programcılarını BDD değişkenlerine ikili kodlamalara ve kullanıcı değişkenlerine rahatlatır. Bu sürümde yeni olanlar: · Yalnızca bakım faaliyetleri (MacOS, hata düzeltmeleri için kullanılabilir hale getirin).
Crosopat İlgili Yazılım