UPPAAL

UPPAAL 4.0.6

Uppaal is een geïntegreerde tool-omgeving voor het modelleren, validatie en verificatie van real-time systemen gemodelleerd als netwerken van getimede automaten, uitgebreid met types data (begrensd gehele getallen, arrays, enz.).Uppaal CORA is een tak van...

rgf

rgf 0.2.0.1

RGF is een momenteel experimentele poging tot een RSpec-esque BDD toetsingskader voor Python.In principe zijn we streven naar syntax langs deze lijnen:van RGF import beschrijven, hetmet te beschrijven ("That Thing"):& Nbsp;It ("test desc")& Nbsp; def spec...

TestLink

TestLink 1.9.9

TestLink is een open source web-based testcase beheer en de uitvoering tracking systeem gemaakt met behulp van PHP, MySQL, en een aantal andere open source-technologieën.TestLink stelt Q & A & nbsp; (Quality Assurance) teams om moeiteloos te beheren en...

Acovea

Acovea 1.0.1

Acovea implementeert een genetisch algoritme voor het vinden van de "best" opties voor het opstellen van programma's met de GCC C en C ++ compilers.ACOVEA (Analyse van de Compiler Opties via Evolutionary Algorithm) implementeert een genetisch...

crackerjack

crackerjack 2.0.0

crackerjack biedt een Linux kernel regressietest kader dat een systematische manier om een ​​regressie van de Linux kernel te vinden biedt.De Linux kernel is een Unix-achtig besturingssysteem kernel. Het is de naamgever van de Linux-besturingssystemen....

JProfiler

JProfiler 8.0.3

JProfiler is een commerciële en cross-platform bekroonde alles-in-één Java-profiler.Omdat het is geschreven in Java, kan JProfiler worden gebruikt op Linux, Mac OS & nbsp; X & nbsp; en Windows-platforms Kenmerken . < li> Live profilering van een...

pagerunit

pagerunit 0.0.3

pagerunit is een eenvoudige Nagios alternatief dat is gemaakt om te kijken als unit tests.Developer reactiesDit is waarschijnlijk een slecht idee, maar ik wilde iets op papier te krijgen (als het ware), dus ik terug naar het echte werk kon krijgen....

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