Aperçu des sections

  • Généralités

    INF6305 - Techniques avancées de test du logiciel

  • Semaine 1: Génie logiciel et activités du test

    • 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
  • Semaine 2: Techniques structurelles de test.

    • 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
  • Semaine 3:Génération automatique de données de test

    • 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
  • Semaine 4:Génération automatique de données de test: Interaction testing

    • 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.
  • Section 5: Test de regression

    Test de regression

  • Section 6: modélisation des données

    Défaut et modélisation des données; régression logistique; CART ; localisation des défauts.

    • Chapitres : R Manual usager
    • Lectures :

  • Semaine 7: metamorphic testing - AI testing

    • Section 8: Test de classes

      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

    • Section 9

      Période de relache

      • Section 10: Tests d'intégration

        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

         

      • Section 11: test fonctionnel

        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)
      • Section 12: test fonctionnel

        • Section 13: Évaluation de fiabilité.

          É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 :
        • Section 14:Défaillances et Sécurité logicielle