Dit is de Linux-app genaamd Equals Checker waarvan de nieuwste release kan worden gedownload als ICSM-2011-Tool-Demo.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik deze app met de naam Equals Checker gratis online 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.
Is gelijk aan Checker
BESCHRIJVING:
Een statische checker die model controleert de implementatie van gelijkheid voor een Eclipse Java-project.
Voordelen
- Detectie van fouten op laag niveau door padgevoelige datastroomanalyse.
- Detectie van semantische fouten gerelateerd aan equivalentierelaties via de Alloy constraint solver.
- Eclipse plugin-updatesite beschikbaar (zie de startpagina van het project).
Toehoorders
Ontwikkelaars, Engineering, Wetenschap/Onderzoek
Gebruikersinterface
Eclipse
Programmeertaal
Java
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/eqchecker/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.