Databene benerator testi (birim / entegrasyon / yük) ve vitrin kurulumu için kullanılan gerçekçi ve geçerli yüksek hacimli test verileri oluşturmak için bir çerçevedir.Meta kısıtlamaları sistemleri ve / veya yapılandırma dosyaları ithal edilmektedir....
deterministik-dingus test sonucu, belirli argümanlarla işlevini çağırarak sonucu olduğunu kontrol basitleştirmek için Dingus kütüphanesinde etrafında çok basit bir sarıcı. Gereksinimleri : ...
. Dfuzz bir otomatik cini yapılandırma fuzzer & nbsp; Aksine bir fuzzer kendisi olmaktan çok, Dfuzz biraz zor otomatik test yapar kaç ortak kusurlarını çözme diğer basit fuzzers için bir sarıcı.Birincil hedefleri yapılandırma dosyaları olmasına rağmen,...
dingus tür sahte bir nesne gibi. Temel fark vaktinden beklentilerini kurmak kalmamasıdır. Sadece başka bir nesne veya sınıf yerine bir şapşal kullanarak, kodunuzu çalıştırmak ve bunun için ne kaydeder. Kodunuzu icra edildikten sonra Sonra, bunu dingus...
disable-docstring'ini unittest testi adları gibi deney Docstringler kullanmak için değil bildiren bir burun eklenti. & Nbsp; Bunun yerine testin kendisi adını kullanır. yükleyin: disabledoc yüklemek pip Kullanım: nosetests -v...
DoctorJ projesi ne javadoc ötesinde, standardına uygun ve kodlara karşı hassasiyet için Java belgelerine analiz eden bir uygulamadır.Algıladığı Ne...
RÜYA Aracı birkaç (gerçek zamanlı, güç tüketimi, kaynak) kısıtlamaları ifade edebilir, ortak bir anlamsal etki sağlamayı amaçlayan genel bir çerçevedir.semantik alanı semantik melez otomata biçimcilik demirlemiş olan bir yürütülebilir C ++ modeli vardır....
DTest Python tarafından sağlanan standart unittest paketine benzer bir test çerçevesi vardır. DTest değeri eklemek Ancak eventlet paketinin kullanımı yoluyla, dişli bu test yerine getirilmesidir. Böylece "DTest" in "D" - - DTest paketi de testler ve test...
Gömülü Profiler düşük havai C ++ profiler olarak hareket etmek sıfırdan yaratılmış bir grafik ve komut satırı yazılım hem de. Uygulama bir derleyici çeşitli fonksiyonları otomatik enstrümantasyon tarafından desteklenen ve tüm ana işletim sistemlerinde...
ESC / Java2 Java için bir Genişletilmiş Statik Denetleyicisi olduğunu. Otomatik olarak, statik ve modüler ortak programlama hataları algılar. (Isteğe bağlı) ek açıklamalar JML yazdım Java programları hakkında ESC / Java2 nedenleri Bu sürümdeki yeni ...
