Livrables du projet

 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