PyUseCase

PyUseCase 3.5.1

PyUseCase is een GUI testen van software voor PyGTK. Onderhoudbaar GUI testen met een Use Case Recorder Het opnemen van de opzet in plaats van de mechanicaDe meest natuurlijke manier om tests te maken via een gebruikersinterface is om gewoon het uitvoeren...

KOJAK

KOJAK 3.3

KOJAK (Kit voor doelstelling Judgement en op kennis gebaseerde detectie van knelpunten) is een set van generieke en interoperabele instrument componenten ontworpen voor de prestatie-analyse van parallelle applicaties.Hun functie richt zich op de gehele...

inFusion

inFusion 1.7.2

Infusion is een commerciële, op Eclipse gebaseerde applicatie geschreven in Java, waardoor ontwikkelaars volledige controle software-architectuur kwaliteit, evenals kwaliteit van het ontwerp.In staat zijn om Java, C ++ & nbsp behandelen; en C-projecten,...

Ahven

Ahven 2.3

Ahven is een eenvoudige unit test bibliotheek (of een kader) voor Ada 95 programmeertaal. Het project is losjes gemodelleerd naar JUnit en enkele ideeën zijn overgenomen uit AUnit.Ahven is vrije software gedistribueerd onder permissieve ISC licentie en...

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