HOL

HOL 7

HOL lyhyt korkeammista Tilaa Logic on ohjelmointiympäristö, jossa lauseet voidaan todistaa ja todiste hyväksymiä välineitä.Sisäänrakennettu päätöksentekomenettelyjen ja lause provers voi automaattisesti luoda monia yksinkertaisia ​​lauseet. Oraakkeli...

proboscis

proboscis 1.2.5.3

kärsä on Nokkajatko joka helpottaa korkeampi testaus.Muutokset miten testi luokat löysi pakottamalla heitä rekisteröitymään kautta sisustajille, jotka sisältävät hyödyllisiä metatietoja kuten mitä ryhmiä he ovat, ovatko ne riippuvuuksia muita testejä, ja...

Pulse

Pulse 2.5.7

Pulse hanke on automatisoitu rakentaa (tai jatkuva integraatio) palvelimen suunniteltu toimimaan voit varmistaa eheyden koodi.Pulse säännöllisesti tarkistaa lähdekoodia pois sinun SCM, rakentaa projekteja, ja ilmoittaa sinulle tuloksia. Ominaisuudet : ...

Testify

Testify 0.5.3

Todista on korvaava Pythonin unittest moduuli ja nenä.Todista on mallinnettu unittest, ja testit kirjoitettu unittest tulee toimimaan todistan vähintään säätöjä, mutta se on ominaisuuksia yli ja ohi unittest:& Nbsp; * class-tason asetukset ja purkaminen...