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...

pry

pry 0.2.1

urkkia on yksikkötestauksen puitteet Python. Ominaisuudet : Sisäänrakennettu kattavuusanalyysi ja profilointia väite perustuvien testien - ei ruma failUnless *, failIf * jne menetelmät Tree-pohjainen testi rakenne paremmin telineeseen hallinta ...

sst

sst 0.2.2

SST on puitteet toimiva web testausta.Se käyttää Seleeni WebDriver ajaa selain ja vuorovaikutuksessa web elementtejä. Testit koostuvat Python skriptejä, kirjoittaja säveltäminen toimia, jotka tulevat SST. Sinulla on valta koko Python, sekä kätevä joukko...