Dit is de Linux-app genaamd Korat2015 waarvan de nieuwste release kan worden gedownload als korat2015.jar. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd Korat2015 gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
Korat2015
PRODUCTBESCHRIJVING
Korat is een hulpmiddel voor het op beperkingen gebaseerde genereren van structureel complexe testinvoer voor Java-programma's.Alsjeblieft zie http://korat.sourceforge.net/index.html voor meer informatie over de Korat-applicatie.
Korat 2015 bevat de onderstaande verbeteringen aan Korat:
- Grafische gebruikersinterface met behulp van Java Swing
- Grafiekuitvoerformaat met behulp van JUNG (Java Universal Network/Graph Framework)
- Finite State Machine-domein
- Grafiekarchivering met behulp van JSON (JavaScript Object Notation)
De Wiki-pagina bevat informatie voor het downloaden, installeren en uitvoeren van Korat 2015.
Gebruikersinterface
Java Swing, opdrachtregel
Programmeertaal
Java
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/korat2015/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
