Les livrables sont récapitulés sur cette page, sur laquelle les livrables publics seront diffusés au fil de l'eau.
Date | Id | Type | Titre | Status | Responsable |
T0+3 | L5.1 | Site | Site web du projet | Public | FEMTO-ST |
T0+12 | L2.1 | Log. | Mesure de couverture des propriétés TOCL | Public | Smartesting |
T0+15 | L1.1 | Rapp. | Spécification IRS et génération d'éléments de modèle | Privé | Smartesting |
T0+15 | L3.1 | Log. | Moteur de génération de tests : recherche d'inatteignabilité | Public | Smartesting |
T0+15 | L3.2 | Log. | Moteur de génération de tests à la volée MBeeTle v.3 | Privé | FEMTO-ST |
T0+18 | L2.2 | Rapp. | Langage TOCL et critères de couverture associés | Public | FEMTO-ST |
T0+18 | L1.2 | Log. | Génération automatique d'éléments du modèle | Privé | Smartesting |
T0+21 | L2.3 | Log. | Génération des tests à partir des propriétés TOCL | Privé | Smartesting |
T0+21 | L3.3 | Log. | Etude de parallélisation/distribution du moteur de génération | Privé | FEMTO-ST |
T0+24 | L4.1 | Rapp. | Evaluation et retour d’expé. de l’approche outillée | Public | Smartesting |
T0+24 | L5.2 | Rapp. | Rapport de dissémination et d’expl. des résultats | Public | Smartesting |
T0+24 | L5.3 | Rapp. | Plan d’exploitation des résultats | Public | Smartesting |