Gesponsorde links:

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

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

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

Gesponsorde links:

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

SLAMD

SLAMD 1.8.2

De SLAMD Distributed Load Generation Engine (SLAMD) is een Java-gebaseerde applicatie ontworpen voor stress-testen en prestatie-analyse van netwerk-gebaseerde applicaties. Het werd oorspronkelijk ontwikkeld door Sun Microsystems, Inc., maar het is...

Gesponsorde links: