Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
D. E. Goldberg, “Genetic Algorithms in Search, Optimization and Machine Learning”, Addison Wesley, 1989. ISBN 0–201–15767–5.
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.
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.
J–M. Jézéquel, M. Train and C. Mingins, “Design–Patterns and Contract” Addison–Wesley, October 1999. ISBN 0201–30959–9.
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.
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.
M. Lyu, “Handbook of Software Reliability Engineering”, McGraw Hill and IEEE Computer Society Press, 1996, ISBN 0–07–0349400–8.
J. D. Musa, A. Iannino, K. Okumoto, “Software Reliability: Measurement, Prediction, Application”, McGraw Hill, 1987, ISBN 0–07–044093–X.
B. Meyer, “Applying design by contract”, IEEE Computer, Vol. 25, No. 10, pp. 40–52, October 1992.
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.
J. Voas, “PIE: A Dynamic Failure-Based Technique”, IEEE Transactions on Software Engineering, Vol. 18, pp. 717–727, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Baudry, B., Le Hanh, V., Jézéquel, JM., Le Traon, Y. (2001). Trustable Components: Yet Another Mutation-Based Approach. In: Wong, W.E. (eds) Mutation Testing for the New Century. The Springer International Series on Advances in Database Systems, vol 24. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-5939-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4757-5939-6_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4888-5
Online ISBN: 978-1-4757-5939-6
eBook Packages: Springer Book Archive