Asmeta | Asmeta Tools | |
We have developed and are distributing the following (stable) tools
Some tools are provided both as eclipse plugins and standalone jars that can be executed at command line. Some are only available as jar files. Installing ASMETA in eclipseSome ASMETA tools are integrated in eclipse. The update site is https://raw.githubusercontent.com/asmeta/asmeta_update_site/master. Perform the following steps to install an Asmeta tool from the update site: 1. From your Eclipse menu select Help Software Updates Find and Install... 2. Check Search for new features and press Next. 3. Press New Remote Site... and enter https://raw.githubusercontent.com/asmeta/asmeta_update_site/master for the update site URL 4. Press Finish. 5. Select the desired tool(s). 6. Follow the steps in the installation wizard. Downloading an eclipse with asmetaOn the github pages, you can find a zip with asmeta already installed that we use to test that asmeta works. Look at https://github.com/asmeta/asmeta LicenseAsmeta is released under a GPL-like license. Experimental toolsWe have been working on:
ATGT: test generatorThe ATGT test generator now supports structural based testing, fault based testing and combinatorial testing. See the ATGT page for further information. |