Moet Gehalteversekering en toetsing sagteware Vir Linux

. gar is 'n neus plugin daardie konteks-spesifieke toetse bring Vereistes : Python ...

Gator-toetse is 'n app wat bied toetse die Gator module en Gator daemon op Linaro stel om te kyk Vereistes :. ...

GCViewer is 'n Swing gebaseerde program wat die verbose vullisverwydering uitset wat gegenereer word deur die IBM en Sun Java VMS visualiseert (-verbose: gc / -Xloggc: -flags).Die data kan ook uitgevoer word as CSV vir forther verwerking met 'n...

gprof2dot.py script kan die uitset van gprof omskep in 'n dot grafiek. Dit kan korrek ontleed C ++ sjabloon funksie name, kan jy nodes en rande snoei onder 'n sekere drumpel, kan ontleed die spesiale notasie gprof gebruik vir onderling rekursiewe...

ouma is 'n stel van programme vir kombinatoriese toets.Ontwikkelaar kommentaarEk is uitsluitlik nou besig met die ontwikkeling van sagteware vir meer as vyf jaar ...Tans probeer ek om ondersteuning op 'n beste poging basis te voorsien. Jy moet die...

massde is 'n C-eenheid toets raamwerk in die gees van Junit. Massde raamwerk sluit 'n maklik-om-te gebruik GUI gebaseer op die GNOME biblioteke, asook ondersteuning vir Hildon UI (maemo.org).Installasie:1. `cd 'na die gids wat die pakket se...

HOL kort van Hoër Orde Logika is 'n programmeertaal omgewing waarin stellings bewys kan word en bewys gereedskap geïmplementeer.Ingeboude besluit prosedures en stelling provers kan outomaties vestig baie eenvoudige stellings. 'N binneste vertrek...

HOL-TestGen laat een toets spesifikasies in Hoër-orde logika te skryf (HOL). Dit kan (semi-) outomaties verdeel die insette ruimte, wat in abstrakte toets gevalle en beton toets data outomaties kies.Outomatiese generasie van toets bome (in SML) word...

importchecker is 'n opdrag-lyn nut ongebruikte invoer in Python modules te vind.Die opbrengs is "grep-agtige" (en dus "Emacs-vriendelike"), verslagdoening beide die module se lêername en lyn nommers waar name ingevoer wat nie acually gebruik word in...

infusie is 'n kommersiële, Eclipse-gebaseerde program wat geskryf is in Java, sodat ontwikkelaars om ten volle beheer sagteware-argitektuur gehalte, sowel as ontwerp gehalte.Om in staat Java, C ++ & nbsp te hanteer; en C-projekte, die belangrikste...