Kmelia - Test issues

Défis à relever

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

• opérateurs de transformation
• formalisation des transformations (en cours)

• mutation de services
• mutation d'architectures

• à partir des contrats

• flux de données
• sérialiser les données et verdicts
• analyse de résultats

• mutation de services
• mutation d'architectures