Gratis Jaminan kualitas dan pengujian perangkat lunak Untuk Linux
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...
openstack.nose_plugin adalah plugin hidung yang menyediakan nosetests keluaran untuk meniru output dari run_tests.py OpenStack itu. Instalasi & Nbsp; pip install openstack.nose_plugin Penggunaan Pilihan berikut availible:& Nbsp; - dengan-OpenStack& Nbsp;...
expecter membantu Anda untuk menulis pernyataan. Tidak pernah lagi akan Anda lupa yang diharapkan dan yang sebenarnya!Harapan dasar mudah:& Nbsp; >>> dari expecter impor mengharapkan& Nbsp; >>> mengharapkan ('beberapa' + 'hal') ==...
noseenv adalah plugin hidung untuk menambahkan opsi dari bentuk "--env ENVIRONMENT_VARIABLE = NILAI".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...
belalai adalah ekstensi Hidung yang memfasilitasi pengujian tingkat yang lebih tinggi.Perubahan bagaimana kelas uji ditemukan dengan memaksa mereka untuk mendaftar melalui dekorator yang mengandung metadata yang berguna seperti kelompok apa yang mereka...
proyek Pulse adalah membangun otomatis (atau integrasi berkesinambungan) server yang dirancang untuk bekerja dengan Anda untuk memastikan integritas kode Anda.Pulse secara teratur memeriksa kode sumber Anda keluar dari SCM Anda, membangun proyek-proyek...
Bersaksi adalah pengganti untuk modul Python unittest dan hidung.Bersaksi adalah model setelah unittest, dan tes tertulis untuk unittest akan berjalan di bawah bersaksi dengan minimal penyesuaian, tetapi memiliki fitur di atas dan di luar unittest:& Nbsp;...
pytest-penanda-bugzilla adalah plugin py.test untuk integrasi Bugzilla & nbsp; Plugin ini saat mengasumsikan alur kerja berikut.:bug_status di ['NEW', 'DITEMPATKAN', 'ON_DEV'] berarti bug tersebut telah diketahui dan sedang...
Marathon merupakan framework yang menyediakan dukungan untuk semua komponen Java / Swing, termasuk bahasa scripting standar & ndash; Ruby dan Python.Marathon juga dapat digunakan untuk merekam dan uji script dan mencatat tindakan semantik pada komponen...
TestLink merupakan open source manajemen testcase berbasis web dan sistem pelacakan eksekusi dibuat menggunakan PHP, MySQL, dan beberapa teknologi open source lainnya.TestLink memungkinkan Q & A & nbsp; (Quality Assurance) tim untuk dengan mudah mengelola...