HOL pendek dari Orde Tinggi Logika adalah lingkungan pemrograman yang teorema dapat dibuktikan dan alat bukti dilaksanakan.Prosedur keputusan built-in dan provers teorema dapat secara otomatis membuat banyak teorema sederhana. Mekanisme oracle memberikan...
TestManager adalah plugin Trac untuk membuat Uji Kasus, mengatur mereka dalam katalog, menghasilkan Uji Rencana dan melacak statusnya eksekusi dan hasil.Berbeda dari plugin manajemen tes lain untuk Trac yang menggunakan Tiket sebagai pemegang ujian, yang...
EXQUIRES - evaluatif dan Extensible kuantitatif Gambar Re-Pembesaran Suite Dokumentasi & Instruksi Silahkan kunjungi: http://exquires.rivetsforbreakfast.comInstruksi Dasar Instalasi EXQUIRES dapat diinstal dari PyPI menggunakan pip:pip menginstal...
Py.Saunter adalah proyek saat ini didasarkan pada Hidung & nbsp;. Ini akan didasarkan pada Py.Test benar-benar segera. Instalasi Dalam rangka untuk membuat sebagian besar dari Selenium dan Python; dan menggunakan kode contoh di sini, Anda perlu& Nbsp;...
noseOfYeti adalah plugin untuk hidung, terinspirasi oleh http://github.com/fmeyer/yeti, yang menggunakan gaya codec untuk memberikan gaya RSpec BDD dsl untuk tes Python. Persyaratan : Python ...
lava-dashboard adalah gudang untuk hasil tes.Dokumentasi paket Persyaratan : ...
hidung-socket-putih adalah plugin hidung yang patch socket.getaddrinfo untuk soket non-lokal, yang memungkinkan Anda untuk baik log semua kejadian atau menyebabkan tes menyinggung gagal.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& Nbsp; log tes...
eutester adalah suatu kerangka kerja tes untuk AWS awan yang kompatibel.Dokumentasi paket Persyaratan : Python boto ...
jstestnetlib adalah modul Python yang dirancang untuk mengeksekusi JavaScript tes terhadap server JavaScript TestNet. Instal Menggunakan pip mengeksekusi:pip install git + git: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib Menjalankan Tes Tes...
pyfix adalah modul Python yang dirancang khusus untuk menulis fungsi tes. Instal & Nbsp; pip menginstal pyfix Penggunaan Berikut ini adalah contoh penting:dari uji impor pyfix, utamadari pyassert impor assert_that@ Testdef...
