TestManager

TestManager 1.6.1

TestManager is een Trac plugin om testcases te creëren, organiseren ze in catalogi, het genereren van testplannen en de uitvoering status en resultaat te volgen.Anders dan andere testmanagement plugins voor Trac die Tickets gebruiken als testcase houders,...

HOL

HOL 7

HOL korte van hogere orde Logic is een programmeeromgeving waarin stellingen kan worden bewezen en het bewijs instrumenten geïmplementeerd.Built-in besluitvormingsprocedures en bewijshulpmiddelen kan automatisch veel eenvoudige stellingen vast te stellen....

pry

pry 0.2.1

koevoet is een eenheid toetsingskader voor Python Kenmerken . Ingebouwde dekking analyse en profilering -Assertion gebaseerde tests - geen lelijke failUnless *, failIf *, enz methoden Tree-gebaseerde test structuur voor een betere armatuur beheer ...

sst

sst 0.2.2

SST is een raamwerk voor functionele web testen.Het maakt gebruik van Selenium WebDrive om een ​​browser te rijden en de interactie met web-elementen. De tests zijn gemaakt van Python scripts, gecreëerd door het samenstellen van acties die komen met SST....

CppUnit

CppUnit 1.13.2

cppunit is een open source command-line software geïmplementeerd in C ++ als een haven van de Java aangedreven JUnit unit toetsingskader gecreëerd door Michael Feathers. Het werkt op Linux, Windows en Macintosh-systems.Features bij een glanceKey functies...