Skip to Content
Software Testing: Concepts and Operations
book

Software Testing: Concepts and Operations

by Ali Mili, Fairouz Tchier
June 2015
Beginner to intermediate content levelBeginner to intermediate
400 pages
10h 40m
English
Wiley
Content preview from Software Testing: Concepts and Operations

Part II Foundations of Software Testing

Whereas in the previous part, we looked at software, software qualities, software engineering, and the role that testing plays in the software engineering process, in this part, we focus our attention on software testing and survey its foundations. This part includes four chapters:

  • In Chapter 4, we discuss a relation-based specification model that we use throughout the book; specifications play a central role in software testing, as we always test a program against a specification that captures the properties we are interested in.
  • In Chapter 5, we define the concept of program correctness, and we briefly present an inductive method to prove program correctness by static analysis.
  • In Chapter 6, we introduce the fundamental concepts of fault, error, failure, and relative correctness and discuss how these concepts can be used to elucidate the goals and means of software testing.
  • Finally, in Chapter 7, we present a software testing taxonomy, which characterizes each testing effort by a number of (nearly) orthogonal attributes.
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Software Testing

Software Testing

S. Koirala, S. Sheikh
Software Testing: Principles and Practices

Software Testing: Principles and Practices

Srinivasan Desikan, Gopalaswamy Ramesh
Software Testing Practice: Test Management

Software Testing Practice: Test Management

Andreas Spillner, Tilo Linz, Thomas Rossner, Mario Winter

Publisher Resources

ISBN: 9781119065593Purchase book