Communication

Stratégie incrémentale de test fonctionnel des classes : une approche formelle basée sur le comportement des objets

Mourad Badri

Linda Badri

Membre a labase

Mourad Badri

Résumé de la communication

La stratégie que nous proposons pour le test fonctionnel des classes dans les applications orientées objet suit un processus incrémental et se base sur le comportement des objets. Le comportement des objets, modélisé dans les diagrammes d’états, est décrit d’une manière formelle à l’aide d’un langage de description. Cette description prend en compte les propriétés dynamiques des objets, en particulier, l’évolution de leur état durant leur cycle de vie, les séquences d’événements et de transitions d’un état à un autre, ainsi que la restriction portant sur l’utilisation de leurs méthodes à un de leur état. Le langage de description du comportement des objets que nous avons développé permet, dans sa version actuelle, de supporter l’héritage simple. Cette approche nous permet, en fait, d’avoir un outil formel permettant, d’une part, une construction et description incrémentales du comportement des objets d’une classe tenant compte de l’héritage du comportement entre objets dans une hiérarchie. D’autre part, et par analyse de la description du comportement des objets de chaque classe, on peut déterminer la spécialisation du comportement (enrichissement, raffinement, …) de ses objets nous permettant, ainsi, d’écarter lors du processus de test les propriétés comportementales que ses objets ont héritées, et non transformées, des objets de ses classes de base. La prise en compte des aspects dynamiques, à travers le comportement des objets, permet d’orienter aux mieux le processus de test d’une classe. Les méthodes de chaque classe seront, en fait, testées dans l’ensemble des cas de figure de leur utilisation prévus dans la description du comportement de ses objets. L’approche adoptée permet pour chaque classe d’une hiérarchie, suite à une analyse de la description formelle du comportement de ses objets, de générer une séquence de test appropriée et construire un moniteur permettant de la supporter. Cette séquence permet de parcourir et tester les transitions et états correspondant à la spécialisation du comportement des objets de la classe sachant que les propriétés comportementales de ses objets, héritées des objets de sa classe de base et non transformées, sont supposées déjà testées. De cette façon, nous exploitons au mieux l’impact de la relation d’héritage du comportement entre objets sur le processus de test des classes permettant, ainsi, d’une part, de l’améliorer en tenant compte du comportement des objets et, d’autre part, de réduire considérablement le nombre de cas de test en réduisant les propriétés à tester au niveau de chaque classe.

Contexte

Section :

Informatique

Domaine de la communication :

Informatique

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même domaine
Du même congressiste

Thème du communication :

Informatique

Processus de quantification des attributs logiciels (PQAL) basé sur une méthode de prise de décisio…

John Slavich

Approches multiples de l'aide à la lecture et à la recherche d'information

Jean-Francois Delannoy

Réalisation d'une passerelle pour la voix entre le réseau Internet et un réseau mobile CDMA

Cao Lieu Nguyen

Voir tous les contenus de ce communication

Autres communications du même congressiste :

Domaine de la communication :

Informatique

Développement orienté aspect : Survol de l'état de l'art, évaluation et perspectives

Francis Tessier

Évaluation de la qualité des applications Web

Ghazwa Malak

Génération de cas de test à partir des diagrammes de collaboration UML

Marius Naha