HOL kısa Yüksek Sipariş Logic teoremler ispat ve ispat araçları uygulanabilir hangi bir programlama ortamıdır.Dahili karar prosedürleri ve teorem prover otomatik olarak birçok basit teoremleri kurabilir. Bir kehanet mekanizması gibi SAT ve BDD motorları...
openstack.nose_plugin OpenStack en run_tests.py çıkışını taklit etmek nosetests çıkışı sağlayan bir burun eklentisi. Kurulum & Nbsp; openstack.nose_plugin yüklemek pip Kullanım aşağıdaki seçenekler availible:& Nbsp; --OpenStack ile& Nbsp; eklentisi Enable...
expecter size iddialarını yazmak için yardımcı olur. Bir daha asla beklendiği ve hangi gerçek olduğunu hangi unutacak!Temel beklentiler kolay:& Nbsp; >>> expecter ithalat bekliyoruz gelen& Nbsp; >>> ('bazı' + 'şey') == 'şey'...
noseenv formu "--env ENVIRONMENT_VARIABLE = DEĞER" seçenekleri eklemek için bir burun eklenti.- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
probosis üst düzey test kolaylaştıran bir Burun uzantısıdır.Test sınıfları gibi ne gruplar gibi yararlı meta ihtiva dekoratörler üzerinden kayıt zorlayarak tarafından keşfedilen nasıl değişiklikler onlar diğer testlerde bağımlılıkları vardır, ve bunlar...
Darbe projesi için kod bütünlüğünü sağlamak için sizinle birlikte çalışmak üzere tasarlanmış bir otomatik yapı (veya sürekli entegrasyon) sunucusudur.Darbe düzenli projeler inşa, senin SCM dışarı kaynak kodunu denetler ve sonuçları size bildirir ...
Testify Python'ın unittest modülü ve burun için bir yedek.Unittest sonra modellenmiştir Testify ve testler unittest ayarlamaları minimum tanıklık altında çalışır için yazılmış, ama yukarıda ve unittest ötesinde özelliklere sahiptir:& Nbsp; * test...
pytest-işaretleyici-bugzilla Bugzilla entegrasyonu için bir py.test eklenti & nbsp; Bu eklenti şu an iş akışını varsayar.:içinde bug_status hata bilinen ve üzerinde çalışmış olan ve bu nedenle testi atlanır olmalıdır ve olacaktır anlamına gelir [,...
Marathon standart betik dilleri & ndash dahil, tüm Java / Swing bileşenleri için destek sağlayan bir çerçeve; Yakut ve Python.Maraton da komut kayıt ve test için kullanılan ve oldukça ham eylemler daha bileşenler üzerinde anlamsal eylemleri kaydeden...
Testlink web tabanlı dizge yönetimi ve yürütme izleme sistemi PHP, MySQL, ve diğer bazı açık kaynak teknolojileri kullanılarak oluşturulan bir açık kaynak.Zahmetsizce yönetmek ve onların test durumları oluşturabilir, hem de ekip üyeleri test durumları...
