Trustable Components: Yet Another Mutation-Based Approach

  • Benoit Baudry
  • Vu Le Hanh
  • Jean-Marc Jézéquel
  • Yves Le Traon
Part of the The Springer International Series on Advances in Database Systems book series (ADBS, volume 24)


This paper presents the use of mutation analysis as the main qualification technique for:
  • estimating and automatically enhancing a test set (using genetic algorithms),

  • qualifying and improving a component’s contracts (that is the specification facet)

  • measuring the impact of contractable robust components on global system robustness and reliability.

The methodology is based on an integrated design and test approach for 00 software components. It is dedicated to design-by-contract, where the specification is systematically derived into executable assertions called contracts (invariant properties, pre/postconditions of methods). The testing-for-trust approach, using the mutation analysis, checks the consistency between specification, implementation and tests. It points out the tests lack of efficiency but also the lack of precision of the contracts. The feasibility of components validation by mutation analysis and its usefulness for test generation are studied as well as the robustness of trustable and self-testable components into an infected environment.


Genetic Algorithm Mutation Score Alive Mutant Trustable Component Initial Reliability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R. DeMillo, R. Lipton, and F. Sayward, “Hints on Test Data Selection: Help For The Practicing Programmer”, IEEE Computer, Vol. 11, pp. 34–41, 1978.CrossRefGoogle Scholar
  2. [2]
    D. E. Goldberg, “Genetic Algorithms in Search, Optimization and Machine Learning”, Addison Wesley, 1989. ISBN 0–201–15767–5.Google Scholar
  3. [3]
    J. H. Holland, “Robust algorithms for adaptation set in general formal framework”, Proceedings of the 1970 IEEE symposium on adaptive processes (9th) decision and control, 5.1–5. 5, December 1970.Google Scholar
  4. [4]
    William E. Howden and Yudong Huang, “Software Trustability”, In proc. of the IEEE Symposium on Adaptive processes- Decision and Control, XVII, 5.1–5. 5, 1970.Google Scholar
  5. [5]
    J–M. Jézéquel, M. Train and C. Mingins, “Design–Patterns and Contract” Addison–Wesley, October 1999. ISBN 0201–30959–9.Google Scholar
  6. [6]
    Yves Le Traon, Daniel Deveaux and Jean-Marc Jézéquel, “Self-testable components: from pragmatic tests to a design-for-testability methodology”, In proc. of TOOLSEurope’99, TOOLS, Nancy (France), pp. 96–107, June 1999.Google Scholar
  7. [7]
    Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel and Pierre Morel, “Efficient 00 Integration and Regression Testing”, IEEE Transactions on Reliability, March 2000.Google Scholar
  8. [8]
    M. Lyu, “Handbook of Software Reliability Engineering”, McGraw Hill and IEEE Computer Society Press, 1996, ISBN 0–07–0349400–8.Google Scholar
  9. [9]
    J. D. Musa, A. Iannino, K. Okumoto, “Software Reliability: Measurement, Prediction, Application”, McGraw Hill, 1987, ISBN 0–07–044093–X.Google Scholar
  10. [10]
    B. Meyer, “Applying design by contract”, IEEE Computer, Vol. 25, No. 10, pp. 40–52, October 1992.CrossRefGoogle Scholar
  11. [1l]
    J. Offutt, J. Pan, K. Tewary and T. Zhang, “An experimental evaluation of data flow and mutation testing”, Software Practice and Experience, Vol. 26, No. 2, pp. 165–176, February 1996.CrossRefGoogle Scholar
  12. [12]
    J. Voas, “PIE: A Dynamic Failure-Based Technique”, IEEE Transactions on Software Engineering, Vol. 18, pp. 717–727, 1992.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Benoit Baudry
    • 1
  • Vu Le Hanh
    • 1
  • Jean-Marc Jézéquel
    • 1
  • Yves Le Traon
    • 1
  1. 1.IRISACampus Universitaire de BeaulieuRennes CedexFrance

Personalised recommendations