Critères de couverture structurelle pour les programmes Lustre
Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applicat...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00100384 http://tel.archives-ouvertes.fr/docs/00/10/03/84/PDF/These_LakehalAbdesselam.pdf |