Dapat na may Pagtiyak ng kalidad at pagsubok ng software Para sa Linux

. gar ay isang plugin na ilong na nagdudulot ng pagsusuri context-tiyak Kinakailangan : sawa ...

Gator-pagsubok ay isang app na nagbibigay ng mga pagsusulit upang suriin ang Gator module at Gator diyablo sa Linaro Release Mga Kinakailangan :. ...

GCViewer ay isang ugoy-based application na visualizes ang maligoy output koleksyon ng basura na nabuo sa pamamagitan ng IBM at Sun Java VMs (-verbose: gc / -Xloggc: -flags).Maaari ding nailipat ang data bilang CSV para forther pagproseso sa isang...

Maaari convert gprof2dot.py script ang output mula gprof sa isang tuldok graph. Maaaring tama ito parse pangalan ng function template C ++, nagpapahintulot sa iyo na putulan nodes at ang mga gilid sa ibaba ng isang tiyak na threshold, maaaring mai-parse...

Lola ay isang hanay ng mga kagamitan para sa kombinatoryal testing.Komento DeveloperAko ay nagtatrabaho ng eksklusibo sa pagsubok ng software para sa limang taon na ngayon ...Sa ngayon sinusubukan kong magbigay ng suporta sa isang pinakamahusay na...

Gunit ay isang C unit testing framework sa espiritu ng JUnit. Gunit framework incorporates isang madaling-gamitin na GUI batay sa Gnome aklatan, pati na rin ang suporta para sa Hildon UI (maemo.org).Pag-install:1. `cd 'sa direktoryo na naglalaman ng...

HOL maigsing mula sa mas mataas na Order Logic ay isang programming kapaligiran kung saan theorems ay maaaring di-napatutunayang at mga tool patunay ipinatupad.Built-in na mga pamamaraan ng desisyon at teorama provers maaaring awtomatikong magtatag ng...

Pinapayagan ka ng HOL-TestGen isa na magsulat ng mga pagtutukoy ng pagsubok sa logics ang mas mataas na-order (HOL). Maaari itong (kalahati) awtomatikong Partition ng puwang ng pag-input, na nagreresulta sa abstract na mga kaso ng pagsubok, at...

importchecker ay isang command-line utility upang maghanap ng mga hindi nagamit na mga pag-import sa Python module.Nito output ay "grep-tulad ng" (at samakatuwid ay "GNU Emacs-friendly"), pag-uulat parehong filename at mga numero ng linya kung saan ang...

pagbubuhos ay isang commercial, Eclipse-based na application na nakasulat sa Java, na nagbibigay-daan sa mga developer upang lubos na kontrolin ang kalidad ng arkitektura ng software, pati na rin ang kalidad ng disenyo.Ang pagiging magagawang upang...