UPPAAL

UPPAAL 4.0.6

UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia ​​järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...

rgf

rgf 0.2.0.1

RGF on tällä hetkellä kokeellinen yritys RSpec-herra BDD testaus puitteet Python.Periaatteessa pyrimme syntaksille tämänsuuntaisia:alkaen RGF tuonti kuvailla, sekanssa kuvaamaan ("That Thing"):& Nbsp;it ("testi laskeva")& Nbsp; def spec (yhteydessä):&...

Acovea

Acovea 1.0.1

Acovea toteuttaa geneettisen algoritmin löytää "paras" vaihtoehtoja kokoamiseen ohjelmien GCC C ja C ++ kääntäjät.ACOVEA (analyysi Compiler Options kautta Evoluutioalgoritmin) toteuttaa geneettisen algoritmin löytää "paras" vaihtoehtoja kokoamiseen...

Tcpreplay

Tcpreplay 4.1.1 Päivitetty

Tcpreplay (TCP (Transmission Control Protocol) Replay) on avoimen lähdekoodin ja vapaiden ohjelmistojen hanke toteutetaan C ja suunniteltu toimimaan komentorivityökalun joka koostuu useista apuohjelmia * NIX käyttöjärjestelmiä, jonka avulla käyttäjät...

pagerunit

pagerunit 0.0.3

pagerunit on yksinkertainen Nagios vaihtoehto tehty näyttämään Osatestit.Kehittäjän kommentitTämä on luultavasti huono idea, mutta halusin saada jotain paperille (ikäänkuin) niin voisin saada takaisin todellista työtä. Käyttö Määritä PagerUnit jotta se...