Skip to main content
SpringerLink
Log in

Research on Modeling of Software Automatic Test

  • Conference paper
  • First Online:
Trustworthy Computing and Services (ISCTCS 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 520))

Included in the following conference series:

  • 932 Accesses

Abstract

Software testing is important activity in software development life cycle, automatic test can cut down cost of manual testing and to increase reliability of it. Many approaches have been proposed for automatic test techniques, but research on automatic test architecture and modeling is very little, software automatic test lacks explicitly formal description. This paper firstly proposed an architecture model of automatic test. Based on the architecture model, this paper proposed the process model and dynamic model of automatic test. The architecture model described the relationship of two kinds of elements in automatic test, the process model defined the detail flow of automatic test process, and the dynamic model refined automatic test process in iterative perspective.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Allen, R., Douence, R., Garlan, D.: Specifying dynamism in software architectures. In: Proceedings of the Workshop on Foundations of Component-Based Systems, Zurich, Switzerland, pp.11–22 (1997)

    Google Scholar 

  2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

    Article  Google Scholar 

  3. Allen, R., Garlan, D., Ivers, J.: Formal modeling and analysis of the HLA component integration standard. In: Proceedings of the Sixth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lake Buena Vista, FL, pp. 70–79 (1998)

    Google Scholar 

  4. GB/T 15532-2008 Computer software test specification. Beijing: Standards Press of China (2008)

    Google Scholar 

  5. October 2014. http://en.wikipedia.org/wiki/Rational_Unified_Process

  6. ISO/IEC 9126-1: Software engineering-Product quality-Part 1: Quality model. Geneva: ISO/IEC (2001)

    Google Scholar 

  7. ISO/IEC 9126-2: Software engineering-Product quality-Part 2: External metrics. Geneva: ISO/IEC (2003)

    Google Scholar 

  8. ISO/IEC 9126-3: Software engineering-Product quality-Part 3: Internal metrics. Geneva: ISO/IEC (2002)

    Google Scholar 

  9. ISO/IEC 9126-4: Software engineering-Product quality-Part 4: Quality in use metrics. Geneva: ISO/IEC (2001)

    Google Scholar 

  10. October 2014. http://en.wikipedia.org/wiki/Test_strategy

Download references

Acknowledgements

This paper is supported by The National Natural Science Foundation of China (Grant No. 91118002) and “Eleventh Five-year Plan” for Sci & Tech Research of China (No. 2012BAH38X).

Author information

Authors and Affiliations

  1. School of Software Engineering, Beijing University of Posts and Telecommunications, Beijing, China

    Jincui Yang & Yuyu Yuan

  2. Key Laboratory of Trustworthy Distributed Computing and Service (BUPT), Ministry of Education, Beijing, China

    Jincui Yang, Yuyu Yuan & Tianle Zhang

  3. School of Computer Science, Beijing University of Posts and Telecommunications, Beijing, China

    Tianle Zhang

Authors
  1. Jincui Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuyu Yuan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tianle Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jincui Yang .

Editor information

Editors and Affiliations

  1. Beijing University of Posts and Telecommuncations, Beijing, China

    Lu Yueming

  2. Beijing University of Posts and Telecommunications, Beijing, China

    Wu Xu

  3. Beijing University of Posts and Telecommunications, Beijing, China

    Zhang Xi

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, J., Yuan, Y., Zhang, T. (2015). Research on Modeling of Software Automatic Test. In: Yueming, L., Xu, W., Xi, Z. (eds) Trustworthy Computing and Services. ISCTCS 2014. Communications in Computer and Information Science, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47401-3_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-47401-3_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-47400-6

  • Online ISBN: 978-3-662-47401-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation