img

Notice détaillée

Génération des cas de test fonctionnels et des cas de test structurels basée sur les approches formelles

Thèses / mémoires Ecrit par: Kissoum, Yacine ; Université Badji Mokhtar de Annaba ; Sahnoun, Z. ;

Résumé: Le processus de test d'un logiciel, à travers toutes ses étapes, est un processus laborieux et constitue, souvent, l'étape la plus coûteuse du cycle de développement des applications. Son importance, aussi bien sur le plan économique, que sur le plan de la qualité, par son incidence direct sur la maintenance, en particulier, et sur la fiabilité des applications en général, nous pousse à donner un intérêt particulier et à utiliser et même à développer des outils permettant, lorsque cela est possible, d'automatiser ou d'aider dans la poursuite de ses différentes phases.

Annaba:
Langue: Français
Collation: 67 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Annaba, Université Badji Mokhtar. Institut d'Informatique
Spécialité: Informatique
Thème Informatique

Mots clés:
Logiciels :Développement

Note: Bibliogr. pp.64-67

Génération des cas de test fonctionnels et des cas de test structurels basée sur les approches formelles

Sommaire