====== The Costo TEST Page ======




===== Description=====

The COSTO Test is an integrated framework for testing Kmelia applications at the model level.

  - The test process starts from a Kmelia application and a test intention.
  - A test application, specific to the test intention is built as a Kmelia (test) application.
  - The applications is translated into Java code and connected with data values in order to run the test cases and obtain a verdict for each data set.

{{:costo:postercosto_v5.pdf|poster}} [[overview]] 


===== User Guide =====
The [[https://aelos.wiki.ls2n.fr/doku.php?id=costo:test:userguide:costotestuginstall|users guide]] provides step-by-step instructions on how to : 
  * Get COSTO installed, including its tests plugins.
  * Get an Kmelia example application.
  * Test this application with COSTO tests plugins.
  * Analyse the collected data  
===== Reference manual =====

The technical environment of COSTO Test plugins still very rich and easy to apprehend. [[costo:test:reference:start|The reference manual]] describes the dependences and characteristics of this environment. It can also be explored for development purposes.

===== Developper's area =====

Install necessary tools by following this link [[install]]

For developement mode click  [[costo:test:development:start | here]]

===== COSTO TEST Results Pages =====

The process of test with COSTO produces results. The exploitation of these results allow to pronounce on the quality criteria of the model under test. See the following page [[costo:test:results:start]] 

===== Information =====

The latest updates:

  * The process of building test harness has been improved and completed
  * The building of test data is provided using the standard xml
  * The creation, execution and analysis of mutants was added 
===== Useful Links =====

see also the :  
  * [[kmelia:start|Kmelia Page]] 
  * [[costo:start|Costo Page]] 
  * [[http://www.lina.sciences.univ-nantes.fr/aelos/wiki/doku.php/costo:plugins:start|Costo plugins Page]]
  * [[costo:plugins:kmltest|Costo previous KMLTEST plugin Page]] (in french)