Génération automatique de bouchons pour le test structurel basée sur basée sur l'analyse du flot de contôle
Lors du développement d'un logiciel, plusieurs phases de test sont mises en oeuvre. Dans cette thèse, nous nous intéressons particulièrement à deux d'entre elles : les test unitaire et le test d'intégration. Dans le test unitaire, les entités du logiciel sont testées individuellement....
Main Author: | Griche, Karim-Cyril |
---|---|
Language: | FRE |
Published: |
2005
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00189959 http://tel.archives-ouvertes.fr/docs/00/18/99/59/PDF/These_Karim-Cyril_Griche.pdf |
Similar Items
-
Analyses Automatiques pour le Test de Programmes Orientés Aspect
by: Delamare, Romain
Published: (2009) -
Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
by: Cabrera Castillos, Kalou
Published: (2013) -
Validation par évaluation sur un modèle : méthodes et algorithmes
by: Fernandez, Jean-Claude
Published: (1996) -
Contributions à l'automatisation raisonnée de différents processus du test logiciel
by: Du Bousquet, Lydie
Published: (2010) -
Validation de métriques de testabilité logicielle pour les programmes objets
by: Shaheen, Muhammad Rabee
Published: (2009)