Software Testing: An Overview

被引:0
|
作者
Machado, Patricia [1 ]
Vincenzi, Auri [3 ]
Maldonado, Jose Carlos [2 ]
机构
[1] Univ Fed Campina Grande, Campina Grande, PB, Brazil
[2] Univ Sao Paulo, Sao Paulo, Brazil
[3] Univ Fed Goi, Goiania, Go, Brazil
关键词
ALGEBRAIC SPECIFICATIONS; TEST-GENERATION; SYMBOLIC EXECUTION; FORMAL SPECIFICATIONS; TEST SETS; MUTATION; MODEL; ABSTRACTION; SELECTION; CRITERIA;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The main goal of this chapter is to introduce common terminology and concepts on software testing that is assumed as background in this book. The chapter also presents the multidimensional nature of software testing, showing its different variants and levels of application. After a brief introduction, Section 2 presents a set of basic definitions used in the remaining of this book. Section 3 gives an overview of the essential activities and documents involved in most test processes. Section 4 discusses the kinds of properties we may want to test, including functional, non-functional, and structural properties. In Section 5, we discuss the various dimensions of software testing, covering unit, integration, system, and acceptance testing. Section 6 highlights that different domains have demanded effort from the research community to work on tailored strategies; we discuss object-oriented, component-based, product-line, and reactive-systems testing. Test selection is a main activity of a test process, and we discuss the main strategies in Section 7. We conclude this introduction in Section 8 with some final considerations.
引用
收藏
页码:1 / +
页数:20
相关论文
共 50 条
  • [1] An overview of software testing
    Heiser, JE
    [J]. AUTOTESTCON '97 - IEEE SYSTEMS READINESS TECHNOLOGY CONFERENCE, 1997 IEEE AUTOTESTCON PROCEEDINGS, 1997, : 204 - 211
  • [2] OVERVIEW OF TESTING OF NUMERICAL SOFTWARE
    FOSDICK, LD
    [J]. LECTURE NOTES IN ECONOMICS AND MATHEMATICAL SYSTEMS, 1982, 199 : 268 - 276
  • [3] AN OVERVIEW OF AUTOMATED SOFTWARE TESTING
    BERTOLINO, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (02) : 133 - 138
  • [4] Learning environments in software testing education: An overview
    Zivkovic, Tamara
    Draskovic, Drazen
    Nikolic, Bosko
    [J]. COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2023, 31 (06) : 1497 - 1521
  • [5] Overview of the ICST International Software Testing Contest
    Alegroth, Emil
    Matsuki, Shinsuke
    Vos, Tanja E. J.
    Akemine, Kinji
    [J]. 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 550 - 551
  • [6] Component-based software: An overview of testing
    Vincenzi, AMR
    Maldonado, JC
    Delamaro, ME
    Spoto, ES
    Wong, WE
    [J]. COMPONENT-BASED SOFTWARE QUALITY: METHODS AND TECHNIQUES, 2003, 2693 : 99 - 127
  • [7] AN OVERVIEW OF SOME TECHNIQUES FOR USABILITY TESTING OF SOFTWARE DOCUMENTATION
    CHERRY, JM
    [J]. CANADIAN JOURNAL OF INFORMATION SCIENCE-REVUE CANADIENNE DES SCIENCES DE L INFORMATION, 1989, 14 (04): : 3 - 15
  • [8] An overview of some tools for automated testing of software applications
    Fuior, Flaviu
    [J]. ROMANIAN JOURNAL OF INFORMATION TECHNOLOGY AND AUTOMATIC CONTROL-REVISTA ROMANA DE INFORMATICA SI AUTOMATICA, 2019, 29 (03): : 97 - 106
  • [9] SOFTWARE TESTING AND TEST DOCUMENTATION - PROGRAM CHAIRMANS OVERVIEW
    MILLER, E
    [J]. COMPUTER, 1979, 12 (03) : 98 - 99
  • [10] Test case prioritization techniques in software regression testing: An overview
    Qasim, Muhammad
    Bibi, Asifa
    Hussain, Syed Jawad
    Jhanjhi, N. Z.
    Humayun, Mamoona
    Sama, Najm Us
    [J]. INTERNATIONAL JOURNAL OF ADVANCED AND APPLIED SCIENCES, 2021, 8 (05): : 107 - 121