Abstract
The paper is based on the research on a formal definition of software testing, with reference to organisms evolution’s heredity/variation and adaptive dynamics equation. The formal descriptions on the heredity/variation in test versions and the driving force of software testing evolution were established and then a Software Testing Evolution Process Model (STEPM) was obtained. Based on the model, the key factors of software testing quality were identified and a Software Testing Quality Framework (STQF) was purposed. A series of formal models obtained in the paper open up new research field in software engineering with wide development foreground and are expected to promote studies on the dependability of software testing, provide ways to evaluate software testing quality and establish formal basis for fully automated testing conducted by programs.
Similar content being viewed by others
References
Douglas J F. Evolution. 2nd ed. Sunderland: Sinauer Associates, Inc., 2005
Lande R, Arnold S J. The measurement of selection on correlated characters. Evolution, 1983, 37: 1210–1226
Metz J A J, Nisbet R M, Gerits S A H. How should we define fitness for general ecological scenarios. Trends Ecol Evol, 1992, 7: 198–202
Geritz S A H, Kisdi E, Mesze G, et al. Evolutionarily singular strategies and the adaptive growth and branching of the evolutionary tree. Evol Ecol, 1998, 12: 35–37
Dieckmann U, Law R. The dynamical theory of coevolution: a derivation from stochastic ecological process. J Math Biol, 1996, 34: 579–612
Jones B F, Eyres D E, Sthamer H H. A strategy for using genetic algorithms to automate branch and fault-based testing. Comput J, 1998, 41: 98–107
Wang H, Xie J K, Gao Z Y. Genetic algorithms and its application in software test data generation (in Chinese). Comput Eng Appl, 2001, 37: 64–68
Jia W, Xie J K, Xi H Y. Genetic algorithms and its application in software test data generation (in Chinese). J Beijing Univ Aeronaut Astronaut, 1998, 24: 434–437
Xie X Y, Xu L, Xu B W, et al. Survey of evolutionary testing (in Chinese). J Front Comput Sci Technol, 2008, 2: 449–466
Ding B, Wang H M, Shi D X, et al. Component model supporting trustworthiness-oriented software evolution (in Chinese). J Softw, 2011, 22: 17–27
Wang H M, Tang Y B, Yin G, et al. Trustworthiness of internet-based software. Sci China Ser-F: Inf Sci, 2006, 49: 759–773
Mei H, Shen J R. Progress of research on software architecture (in Chinese). J Softw, 2006, 17: 1257–1275
Yang F Q, Lv J, Mei H. Technical framework for Internetware: an architecture centric approach. Sci China Ser-F: Inf Sci, 2008, 51: 610–622
Mei H, Huang G, Zhao H Y, et al. A software architecture centric engineering approach for Internetware. Sci China Ser-F: Inf Sci, 2006, 49: 702–730
Lv J, Ma X X, Tao X P, et al. On environment-driven software model for Internetware. Sci China Ser-F: Inf Sci, 2008, 51: 683–721
Myers G J. The Art of Software Testing. 2nd ed. New Jersey: John Wiley and Sons Inc., 2004. 11
Rick D C, Stefan P J. Systematic Software Testing. Boston: Artech House, 2002. 13
Cai J P. University Tutorial of Software Testing (in Chinese). Beijing: Tsinghua University Press, 2009. 40
Zheng Y, Gong Y. Analysis of influential factors in software test (in Chinese). Comput Appl, 2010, 12: 3416–3422
Xu Z W, Wu F M. Software testing quality measurement (in Chinese). Comput Eng Appl, 2002, 21: 100–102, 146
Phyllis G F, Richard G H, Bev L, et al. Evaluating testing methods by delivered reliability. IEEE Tran Softw Eng, 1998, 24: 586–601
He Z T, Yan H H, Liu C. Accumulative bi-damped oscillation model for the sequential process of software defect discovery (in Chinese). J Softw, 2010, 21: 2999–3010
He Z T, Yan H H, Liu C. Improvement on ABDOM with normalized and discrete parameters (in Chinese). J Beijing Univ Aeronaut Astronaut, 2012, 38: 1415–1419
He Z T, Liu C, Yan H H, et al. A formal definition of software testing based on fuzzy measure. In: Proceedings of 4th World Congress On Software Engineering, Hong Kong, 2013. 59–63
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
He, Z., Liu, C. & Yan, H. Software testing evolution process model and growth of software testing quality. Sci. China Inf. Sci. 58, 1–6 (2015). https://doi.org/10.1007/s11432-015-5284-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-015-5284-z
Keywords
- software testing
- software testing quality
- the dependability of software testing
- the formal definition of software testing
- software testing evolution process model
- software testing quality framework