gar 0.1
. gar adalah plugin hidung yang membawa tes-konteks tertentu Persyaratan : Python ...
. gar adalah plugin hidung yang membawa tes-konteks tertentu Persyaratan : Python ...
buaya-tes adalah sebuah aplikasi yang menyediakan tes untuk memeriksa modul gator dan gator daemon pada Linaro rilis Persyaratan :. ...
GCViewer adalah aplikasi berbasis swing yang visualisasi output verbose pengumpulan sampah yang dihasilkan oleh IBM dan Sun Java VMS (verbose: gc / -Xloggc: -flags).Data juga dapat diekspor sebagai CSV untuk pengolahan forther dengan aplikasi spreadsheet....
Script gprof2dot.py dapat mengkonversi output dari gprof menjadi grafik dot. Benar dapat mengurai nama fungsi template C ++, memungkinkan Anda untuk memangkas node dan tepi bawah ambang batas tertentu, dapat mengurai notasi gprof khusus menggunakan untuk...
nenek adalah satu set utilitas untuk pengujian kombinatorial.Komentar DeveloperSaya telah bekerja secara eksklusif pada perangkat lunak pengujian selama lebih dari lima tahun sekarang ...Saat ini saya mencoba untuk memberikan dukungan secara upaya...
gunit adalah kerangka unit pengujian C dalam semangat JUnit. Kerangka gunit menggabungkan GUI yang mudah digunakan didasarkan pada perpustakaan GNOME, serta dukungan untuk Hildon UI (maemo.org).Instalasi:1. `cd 'ke direktori yang berisi kode paket...
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...
HOL-TestGen memungkinkan seseorang untuk menulis spesifikasi uji Tinggi-order logika (HOL). Hal ini dapat (semi-) otomatis partisi ruang input, sehingga kasus uji abstrak, dan secara otomatis memilih data uji beton.Otomatis generasi memanfaatkan tes (di...
importchecker adalah utilitas baris perintah untuk menemukan impor yang tidak digunakan dalam modul Python.Outputnya adalah "grep-seperti" (dan dengan demikian "-emacs ramah"), melaporkan kedua nama file modul dan nomor baris di mana nama-nama yang...
infus adalah, aplikasi berbasis Eclipse komersial yang ditulis di Jawa, yang memungkinkan pengembang untuk sepenuhnya mengontrol kualitas arsitektur perangkat lunak, serta kualitas desain.Mampu menangani Java, C ++ & nbsp; dan proyek C, tujuan utama dari...