Harus memiliki Jaminan kualitas dan pengujian perangkat lunak Untuk Linux
benerator databene merupakan framework untuk membuat data uji volume tinggi realistis dan valid, digunakan untuk pengujian (unit / integrasi / load) dan setup showcase.Kendala Metadata diimpor dari sistem dan / atau file konfigurasi. Data dapat diimpor...
deterministik-pusaka adalah pembungkus yang sangat sederhana di sekitar perpustakaan Dingus untuk menyederhanakan memeriksa bahwa hasil diuji adalah hasil dari memanggil fungsi dengan argumen tertentu. Persyaratan : ...
dfuzz adalah konfigurasi daemon otomatis fuzzer & nbsp;. Alih-alih menjadi fuzzer sendiri, dfuzz adalah pembungkus untuk fuzzers sederhana lainnya memecahkan beberapa kelemahan umum yang membuat pengujian otomatis agak sulit.Meskipun target utamanya...
pusaka adalah semacam benda tiruan. Perbedaan utama adalah bahwa Anda tidak mengatur harapan sebelumnya. Anda hanya menjalankan kode Anda, menggunakan pusaka di tempat objek lain atau kelas, dan akan merekam apa yang terjadi padanya. Kemudian, setelah...
disable-docstring adalah plugin hidung yang memberitahu unittest tidak menggunakan docstrings tes sebagai nama tes & nbsp;. Sebaliknya menggunakan nama tes itu sendiri. Install: pip menginstal disabledoc Penggunaan: nosetests v --disable-docstring ...
proyek DoctorJ adalah sebuah aplikasi yang menganalisis dokumentasi Java untuk memenuhi standar dan untuk akurasi terhadap kode, melampaui apa javadoc tidak.Di antara apa yang...
MIMPI Tool adalah kerangka umum yang bertujuan menyediakan domain semantik umum yang dapat mengekspresikan beberapa (real-time, konsumsi daya, sumber daya) kendala.Domain semantik memiliki C ++ Model executable yang telah semantis berlabuh ke automata...
DTest adalah kerangka pengujian, mirip dengan paket unittest standar yang disediakan oleh Python. Nilai tambah untuk DTest, bagaimanapun, adalah bahwa pelaksanaan ujian threaded, melalui penggunaan paket eventlet. Paket DTest juga menyediakan konsep...
Tertanam Profiler adalah baik perangkat lunak grafis dan baris perintah diciptakan dari bawah ke atas untuk bertindak sebagai overhead rendah C ++ profiler. Aplikasi ini didukung oleh instrumentasi otomatis berbagai fungsi kompilator dan didukung pada...
ESC / Java2 adalah statis Checker Extended untuk Java. Secara otomatis, statis, dan modular mendeteksi kesalahan pemrograman umum. Alasan ESC / Java2 tentang program Java yang telah (opsional) penjelasan ditulis dalam JML Apa yang baru dalam rilis...