Ruby-bdd

Ruby-BDD, Ruby için BDD bağlayıcıdır.
Şimdi İndirin

Ruby-bdd Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • GPL
  • Fiyat:
  • FREE
  • Yayıncı adı:
  • Alexandre David
  • yayıncı web sitesi:
  • http://www.cs.aau.dk/~adavid/tiga/

Ruby-bdd Etiketler


Ruby-bdd Açıklama

Ruby-BDD, Ruby için BDD bağlayıcıdır. Ruby-BDD, Ruby.bdds (veya daha kesin olarak ROBDDS) için BDD bağlanmasıdır. Boolean formülünü temsil etmek için verimli veri yapılarıdır. Resmi doğrulamada, özellikle sembolik model kontrolünde yaygın olarak kullanılırlar. Sembolik model kontrolü fikri, durumlar geçiş ilişkilerini formül olarak (ve erişilebilirlik analizi için tüm erişilebilir durumların tüm ayarlarının sabit noktasını hesaplamak için) .Buddy, hem içinde bir API ile birlikte yazılmış bir BDD kütüphanesidir. C ve C ++. Basit bir arayüzle geliştirici dostudur. Tüm standart BDD işlemlerini, değişken siparişini, yazdırmasını destekler, otomatik çöp toplama ve UNIX ve Windows platformlarında derlenebilir. Bir komut dosyası diline rağmen, öğrenmesi çok kolay olan güçlü ve temiz bir nesneye yönelimli bir dildir. kullanmak. Özellikle hızlı prototipleme ve eğitim amaçları için uygundur. Ruby-BDD, Ruby'de BDD'ler oluşturmak ve manipüle etmek için BDD sınıflarını sağlayan ve bu sürümde yeni olan BDD sınıflarını sunan Ruby için bir bağlayıcıdır. Bu sürüm Bit vektörleri ve sonlu alanlar için destek ekler. bir yakut tarzı API ile.


Ruby-bdd İlgili Yazılım

Hakkımızda