Orientation de l’effort des tests unitaires dans les systèmes orientés objet : une approche basée sur les métriques logicielles

Les logiciels actuels sont de grandes tailles, complexes et critiques. Le besoin de qualité exige beaucoup de tests, ce qui consomme de grandes quantités de ressources durant le développement et la maintenance de ces systèmes. Différentes techniques permettent de réduire les coûts liés aux activités de test. Notre travail s’inscrit dans ce cadre, est a pour objectif d’orienter l’effort de test vers les composants logiciels les plus à risque à l’aide de certains attributs du code source. À travers plusieurs démarches empiriques menées sur de grands logiciels open source, développés avec la technologie orientée objet, nous avons identifié et étudié les métriques qui caractérisent l’effort de test unitaire sous certains angles. Nous avons aussi étudié les liens entre cet effort de test et les métriques des classes logicielles en incluant les indicateurs de qualité. Les indicateurs de qualité sont une métrique synthétique, que nous avons introduite dans nos travaux antérieurs, qui capture le flux de contrôle ainsi que différentes caractéristiques du logiciel. Nous avons exploré plusieurs techniques permettant d’orienter l’effort de test vers des composants à risque à partir de ces attributs de code source, en utilisant des algorithmes d’apprentissage automatique. En regroupant les métriques logicielles en familles, nous avons proposé une approche basée sur l’analyse du risque des classes logicielles. Les résultats que nous avons obtenus montrent les liens entre l’effort de test unitaire et les attributs de code source incluant les indicateurs de qualité, et suggèrent la possibilité d’orienter l’effort de test à l’aide des métriques.

Thalamic modulation of the cortisal slow oscillation

Il est bien établi que le thalamus joue un rôle crucial dans la génération de l’oscillation lente synchrone dans le cortex pendant le sommeil lent. La puissance des ondes lente / delta (0.2-4 Hz) est un indicateur quantifiable de la qualité du sommeil. La contribution des différents noyaux thalamiques dans la génération de l’activité à ondes lentes et dans sa synchronisation n’est pas connue. Nous émettons l’hypothèse que les noyaux thalamiques de premier ordre (spécifiques) influencent localement l’activité à ondes lentes dans les zones corticales primaires, tandis que les noyaux thalamiques d’ordre supérieur (non spécifiques) synchronisent globalement les activités à ondes lentes à travers de larges régions corticales. Nous avons analysé les potentiels de champ locaux et les activités de décharges de différentes régions corticales et thalamiques de souris anesthésiées alors qu’un noyau thalamique était inactivé par du muscimol, un agoniste des récepteurs GABA. Les enregistrements extracellulaires multi-unitaires dans les noyaux thalamiques de premier ordre (VPM) et d’ordre supérieur (CL) montrent des activités de décharges considérablement diminuées et les décharges par bouffées de potentiels d’action sont fortement réduites après inactivation. Nous concluons que l’injection de muscimol réduit fortement les activités de décharges et ne potentialise pas la génération de bouffées de potentiel d’action à seuil bas. L’inactivation des noyaux thalamiques spécifiques avec du muscimol a diminué la puissance lente / delta dans la zone corticale primaire correspondante. L’inactivation d’un noyau non spécifique avec le muscimol a significativement réduit la puissance delta dans l’ensemble du cortex étudié. Nos expériences démontrent que le thalamus a un rôle crucial dans la génération de l’oscillation lente corticale.

Nonlinear preservers

Dans cette thèse, nous sommes intéressés par des problèmes de préservation des applications non-linéaires entre deux algèbres de Banach complexes unitaires A et B. En général, ces problèmes demandent la caractérisation des applications φ : A → B non nécessairement linéaires, qui laissent invariant une propriété, une relation ou un sous-ensemble. Dans le Chapitre 3, la description des applications surjectives φ de B(X) sur B(Y), qui satisfont c(φ(S)±φ(T)) = c(S ± T), (S,T ∈ B(X)), est donnée, où c(·) représente soit le module minimal, ou le module de surjectivité ou le module maximal et B(X) (resp. B(Y)) dénote l’algèbre de tous les opérateurs linéaires et bornés sur X (resp. sur Y). Dans le Chapitre 4, une question similaire pour la conorme des opérateurs, est considérée. La caractérisation des applications bicontinues et bijectives φ deB(X) surB(Y), qui satisfont γ(φ(S ± φ(T)) = γ(S ± T), (S,T ∈ B(X)), est obtenue. Le Chapitre 5 est consacré à la description des applications surjectives φ1,φ2 d’une algèbre de Banach semisimple A sur une algèbre de Banach B avec un socle essentiel, qui satisfont σ(φ1(a)φ2(b)) = σ(ab), (a,b ∈ A). Aussi, la caractérisation des applications φ de A sur B, sous les mêmes hypothèses sur A et B, qui satisfont σ(φ(a)φ(b)φ(a)) = σ(aba), (a,b ∈ A), est donnée. Comme conséquences, nous incluons les résultats obtenus au cas des algèbres B(X) et B(Y).

Évaluation de la performance des drains et des matériaux filtrants à ralentir le colmatage et l’ensablement en sol sableux et ferreux

Au Québec, les drains installés dans les sols sableux-limoneux sont sensibles au colmatage par ensablement et/ou par ocre de fer. Dans le passé, les drains avec des pertuis inférieurs à 2 mm étaient utilisés au Québec avec un filtre tissé de 110 microns ou un filtre tricoté de 450 microns. Récemment, des drains avec des pertuis supérieurs à 2 mm ainsi qu’un filtre de 250 microns ont été introduits sur le marché mais n’ont jamais été testés. Le projet avait pour objectif de déterminer les vitesses auxquelles se feront l’ensablement et le colmatage ferrique pour différentes combinaisons de drains (pertuis de 1,8 mm et de 3 mm) et de filtres (110 μm, 250 μm et 450 μm) dans un sol sableux à Bécancour. Un dispositif expérimental en blocs complets (3) aléatoires a été utilisé. Les débits ont été mesurés à la sortie des drains de chaque parcelle et les hauteurs des nappes ont été mesurées avec un bulleur dans des puits d’observation. Le suivi du pH, du potentiel d’oxydoréduction et du contenu en Fe2+ a été réalisé dans l’eau de la nappe et celle des drains. Les drains excavés 13 mois après leur installation ne montrent que des traces de sédiments et de colmatage ferrique. Les niveaux de Fe2+ sont significativement plus faibles dans l’eau à la sortie des drains que dans l’eau de la nappe. Le processus de colmatage ferrique ne semble que commencer et son impact n’est pas mesurable au niveau des débits unitaires à la sortie des drains.