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.

poster overview

The 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. The reference manual describes the dependences and characteristics of this environment. It can also be explored for development purposes.

Install necessary tools by following this link install

For developement mode click here

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 results

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 Page
• Costo Page
• Costo plugins Page
• Costo previous KMLTEST plugin Page (in french)