Questa è l'app Linux denominata Equals Checker la cui ultima versione può essere scaricata come ICSM-2011-Tool-Demo.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata Equals Checker con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Correttore di uguale
Ad
DESCRIZIONE
Un controllore statico che modella controlla l'implementazione dell'uguaglianza per un progetto Java Eclipse.
Caratteristiche
- Rilevamento di errori di basso livello tramite analisi del flusso di dati sensibile al percorso.
- Rilevazione di errori semantici relativi alla relazione di equivalenza tramite il risolutore di vincoli Alloy.
- Sito di aggiornamento del plugin Eclipse disponibile (vedi home page del progetto).
Pubblico
Sviluppatori, Ingegneria, Scienza/Ricerca
Interfaccia utente
Eclissi
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/eqchecker/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.