====== Kmelia - Test issues ======

Défis à relever

===== Modèle =====

===== Aide au test =====
  * observateurs du modèle
  * raffinement data/services
  * test des communications (suppoosé fait par la vérification)

===== Impact refactoring sur le test =====
  * opérateurs de transformation
  * formalisation des transformations (en cours)

===== Séparer test / modèle =====

===== Consolider le test =====

  * mutation de services
  * mutation d'architectures


===== Implantation =====

===== Construction d'oracle =====
    * à partir des contrats
    * 

===== Test suite =====
    * flux de données
    * sérialiser les données et verdicts
    * analyse de résultats

===== Consolider le test =====

  * mutation de services
  * mutation d'architectures
  *