UPPAAL

UPPAAL 4.0.6

UPPAAL er et integreret værktøj miljø til modellering, validering og verificering af realtidssystemer modelleret som netværk af tidsindstillet automater, forlænget med datatyper (afgrænset heltal, arrays, etc.).UPPAAL CORA er en gren af ​​UPPAAL for Cost...

Sahi

Sahi 20110719

Sahi er en automatisering og test værktøj til web-applikationer, med mulighed for at optage og afspille scripts.Udviklet i Java og JavaScript, dette værktøj bruger simple javascript for at udføre begivenheder i browseren.Sahi funktioner omfatter-browser...

NUnit

NUnit 2.6.3 / 2.9.6

NUnit er et open source og helt fri enhed ramme test udvikling designet specielt til alle .NET sprog, der oprindeligt porteret fra JUnit, der kører på Mono og Microsoft .NET.At være helt skrevet i C #, er NUnit er designet til at drage fordel af de mange...

grandma

grandma 0.1 Alpha 2

bedstemor er et sæt af værktøjer til kombinatorisk test.Kommentarer DeveloperJeg har udelukkende arbejdet på test software i over fem år nu ...I øjeblikket forsøger jeg at yde støtte på bedst mulige måde. Du bør tage fat på diskussionsforum, hvis du har...