Skip to main content
Log in

Software testing evolution process model and growth of software testing quality

软件测试演化过程模型与软件测试质量增长

  • Short Paper
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Douglas J F. Evolution. 2nd ed. Sunderland: Sinauer Associates, Inc., 2005

    Google Scholar 

  2. Lande R, Arnold S J. The measurement of selection on correlated characters. Evolution, 1983, 37: 1210–1226

    Article  Google Scholar 

  3. 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

    Article  Google Scholar 

  4. 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

    Article  Google Scholar 

  5. Dieckmann U, Law R. The dynamical theory of coevolution: a derivation from stochastic ecological process. J Math Biol, 1996, 34: 579–612

    Article  MATH  MathSciNet  Google Scholar 

  6. 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

    Article  Google Scholar 

  7. 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

    Google Scholar 

  8. 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

    Google Scholar 

  9. 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

    Google Scholar 

  10. 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

    Article  Google Scholar 

  11. 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

    Article  Google Scholar 

  12. Mei H, Shen J R. Progress of research on software architecture (in Chinese). J Softw, 2006, 17: 1257–1275

    Article  MATH  Google Scholar 

  13. 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

    Article  Google Scholar 

  14. 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

    Article  Google Scholar 

  15. 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

    Google Scholar 

  16. Myers G J. The Art of Software Testing. 2nd ed. New Jersey: John Wiley and Sons Inc., 2004. 11

    Google Scholar 

  17. Rick D C, Stefan P J. Systematic Software Testing. Boston: Artech House, 2002. 13

    MATH  Google Scholar 

  18. Cai J P. University Tutorial of Software Testing (in Chinese). Beijing: Tsinghua University Press, 2009. 40

    Google Scholar 

  19. Zheng Y, Gong Y. Analysis of influential factors in software test (in Chinese). Comput Appl, 2010, 12: 3416–3422

    Google Scholar 

  20. Xu Z W, Wu F M. Software testing quality measurement (in Chinese). Comput Eng Appl, 2002, 21: 100–102, 146

    Google Scholar 

  21. Phyllis G F, Richard G H, Bev L, et al. Evaluating testing methods by delivered reliability. IEEE Tran Softw Eng, 1998, 24: 586–601

    Article  Google Scholar 

  22. 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

    Article  Google Scholar 

  23. 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

    Google Scholar 

  24. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to ZhiTao He.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-015-5284-z

Keywords

关键词

Navigation