LOG6305 - Techniques avancées de test du logiciel
Aperçu des sections
-
INF6305 - Techniques avancées de test du logiciel
-
- Sujets : Génie logiciel et activités du test. Analyse statique et dynamique du logiciel (dépendances des données, slicing et instrumentation de code).
- Chapitres : T1 Ch1 ou T3 Ch1 ou T6 Ch1 ; T3 Ch6 ou GL1 Ch 22.
- Lectures : M. J Harrold A testing Roadmap, ICSE 2000
- Zhu et al, Software unit test coverage and adequacy, ACM computing surveys, Vol 29, Dec 1997, 366-427
-
- Sujets :Techniques structurelles de test. Couverture des arêtes, des expressions, de flux de données. Critères de Rapps et Weyuker, méthodes de Naftos, Ural et Laski.
- Chapitres : T1 Ch3 et Ch4 ou T3 Ch5 ou T6 Ch9 et Ch10
- Lectures : Gupta and Gupta
-
- Sujets : Génération automatique de données de test. Test d'évolution, injection d'anomalies, perturbation de programme, méthodes méta heuristiques.
- Chapitres :
- Lectures :
- - Botacci, Baresel, Tonella
- - P. McMinn overview, 2004
-
- Sujets : Génération automatique de données de test: Interaction Testing
- Chapitres :
- Lectures :
- - Nist ACTS guide and interaction testing tutorial
- - Automatically Detecting Equivalent Mutants and Infeasible Path JSTVR, Vol 7, No. 3, p.p. 165—192
- - Practical Mutation Testing, Jeff Offutt. Twelfth International Conference on Testing Computer Software, p.p. 99--109, Washington, DC, June 1995.
-
Test de regression
-
Défaut et modélisation des données; régression logistique; CART ; localisation des défauts.
- Chapitres : R Manual usager
- Lectures :
-
Tests de logiciel orienté objets. Tests de classes, MaDUM, et test Harrold McGregor, tests basés sur les états.
- Chapitres : T8 Ch4, Ch10
- Lectures :
- Harrold, McGreggor, Incremental testing of object-oriented class structures, IEEE ICSE proceedings, 1992
-
Période de relache
-
Tests d'intégration de logiciel orienté objets. Ordre d'intégration, méthode de Kung, approche de Tai et Daniels
- Chapitres : T8 Ch12, Ch13
- Lectures :
- Tai and Daniels, Interclass test Order for Object-Oriented Software, Journal of Object-Oriented Programming, July/August 1999
- I Bashir, R Paul OO Integration testing, Annals of Software engineering 8 (1999) 187-202
- Le Traon et al, Efficient Strategies for Integration and Regression Testing of OO Systems, IEEE Transactions on Reliability, March 2000, Vol 49, n
-
Méthodes de test fonctionnel. Classes d'équivalences de données (boundary partitions) et méthode de Ostrand.
- Chapitres : T6 Ch5, Ch6, Ch7, Ch9 ou T3 Ch4
- Lectures :
- - Paul Ammann, Jeff Offutt and Hong Huang Coverage Criteria for Logical Expressions, ISSRE '03. pages 99-107.
- - Thomas J. Ostrand, Marc J. Balcer: The Category-Partition Method for Specifying and Generating Functional Tests. Commun. ACM 31(6): 676-686 (1988)
-
-
Évaluation de fiabilité. Analyse des anomalies, norme MIL-STD-882B, modélisation de la fiabilité, diagramme de fiabilité (reliability chart) et modélisation de Musa.
- Chapitres : GL1 Ch18
- Lectures :