Outils pour utilisateurs
kmelia:kmltestissues
Table des matières
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
kmelia/kmltestissues.txt · Dernière modification: 2018/04/03 16:59 (modification externe)
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
