Koraat Hulpmiddel voor het genereren van complexe tekstinvoer voor Java-programma's
Download nu

Koraat Rangschikking & Samenvatting

Koraat Tags

genereren tekst Tekstgenerator generator Tekst genereren Tekstgeneratie

Koraat Beschrijving

Tool voor het genereren van complexe tekstinvoer voor Java-programma's Korat is een gratis en open source-tool gebouwd voor opbouw gebaseerde generatie van structureel complexe testingangen voor Java-programma's. Structureel complex betekent dat de ingangen structureel zijn (bijv. Vertegenwoordigd met gekoppelde gegevenstructuren) en moeten voldoen aan complexe beperkingen die delen van de structuur relateren, bijvoorbeeld invarianten voor gekoppelde gegevenstructuren) .korat vereist een imperatief predikaat dat de gewenste structurele beperkingen en een Finitisatie die de gewenste testinvoergrootte grenst. Korat genereert alle predikaat-ingangen (binnen de grenzen) waarvoor het predikaat true retourneert. Om dit te doen, voert Korat een systematische zoekopdracht uit op de ingangsruimte van de predicaat. De inputs die Korat genereerbaar gegenereerd - uitputtend testen voor programma's, variërend van bibliotheekklassen tot stand-alone applicaties.korat kan grafisch de structuren laten zien die het genereert. De visualisatie in Korat werd geïnspireerd door legering en onze huidige Korat-implementatie maakt gebruik van de visualisatie-faciliteit van de legeringanalysator, die een volledig aanpasbaar display biedt waarmee gebruikers de gewenste opvattingen over de onderliggende structuren kunnen specificeren. Korat vertaalt automatisch objectgrafieken in de legeringvertegenwoordiging. Vereisten: · Java

Koraat Gerelateerde software