Olmalıdır Keyfiyyət təminatı və sınaq proqram üçün Linux

. gar kontekstində xüsusi testlər gətirən bir burun plugin tələblər Python ...

Gator-testlər Linaro haqqında Gator modulu və Gator daemon relizlər yoxlamaq üçün test edir bir app edir tələblər . ...

(GC / -Xloggc: -flags -verbose) GCViewer IBM və Sun Java VMs tərəfindən verbose zibil toplama çıxış visualizes bir Swing-based proqram.məlumatlar da bir elektron tablo proqram ilə forther emal üçün CSV kimi ixrac edilə bilər. Bir, xüsusilə nəsil ölçüləri...

gprof2dot.py script bir dot grafik daxil gprof'ın çıxış çevirə bilərsiniz. Bu doğru, siz müəyyən həddindən aşağı qovşaqlarının və kənarları kesmek üçün xüsusi notation gprof'ın qarşılıqlı recursive funksiyaları üçün istifadə analiz edə bilərsiniz...

nənə kombinatoryal test üçün kommunal bütünüdür.Developer şərhİndi beş il ərzində test proqram yalnız işləyirik ...Hal-hazırda mən bir yaxşı səy əsasında dəstək təmin etməyə çalışırıq. Halda Forum etməlidir və s suallar, səhv hesabat, bədii istekleri var...

gUnit JUnit ruhunda C vahid test çərçivəsində edir. GUnit çərçivəsində Hildon UI (maemo.org) üçün asan-istifadə GNOME kitabxanaları əsasında GUI, eləcə də dəstək daxildir.Quraşdırma:"Paketin kodunu və növü` ./configure olan qovluğuna "1.` cd sistem üçün...

HOL qısa Ali Sifariş Məntiq olan teoremlər isbat və sübut tools həyata keçirilə bilər ki, bir proqramlaşdırma mühit.Daxili qərar prosedurlar və teoremi Provers avtomatik olaraq bir çox sadə teoremləri yarada bilər. Bir Oracle mexanizmi belə SAT və SKB...

HOL-TestGen (HOL) bir Ali sifariş məntiq test spesifikasiyası yazmaq imkan verir. Bu (yarım) avtomatik olaraq mücərrəd test hallarda nəticədə giriş yer bölüm, və avtomatik olaraq konkret test data seçə bilərsiniz.(SML-da) test dəsti Avtomatik nəsil dəstək...

importchecker Python modulları istifadə edilməmiş idxal tapmaq üçün bir skript satırı yardım edir.Onun çıxdı "grep kimi" dir (və beləliklə "emacs dostu"), modul fayl və acually modul istifadə olunur adları idxal olunur line nömrələri, həm də...

Infusion developers tam proqram memarlıq keyfiyyəti, həmçinin dizayn keyfiyyətinə nəzarət etmək üçün imkan Java yazılmış bir kommersiya, Eclipse-based tətbiq edir.Java, C ++ & nbsp idarə edə və C layihələr, Infusion əsas məqsədi daha kompleks LOC...