Predicates, Path Predicates and Achievable Paths in Software Testing

Software Testing Methodologies Overview

• Software testing is the process of finding bugs or errors in a software
• The main reason for testing is to detect software failures, so that defects may be corrected before software is released
• Software testing can be viewed as an important part of Software Quality Assurance (SQA) process

UNIT DESCRIPTION:

UNIT 1:

• In this unit, you will learn the roles and responsibilities involved in the testing arena
• You will identify the requirements, features and functionality of bugs
• You will also have a look at testing techniques and test design bugs

UNIT 2:

• In this unit, you will learn the basics of path testing, control flow graphs
• This unit also gives an elaborate explanation of path testing criteria and different kinds of loops
• You will also see predicates path predicates, and achievable paths

UNIT 3:

• This unit gives an in-depth overview of two forms of functional or system testing namely, transaction flow testing and data flow testing

UNIT 4:

• This unit mainly focuses on domains testing and its implementation
• IT illustrates the basic difference between a nice and an ugly domain
• This unit also provides an in-depth knowledge of the domain and interface testing, domains and testability

UNIT 5:

• This unit gives an in-depth overview of paths of various flow graphs, their interpretations and applications
• It also deals with the reduction procedure, regular expressions and flow anomaly detection

UNIT 6:

• This unit mainly focuses on logic basic testing and its implementation
• You will also have a look at decision tables and KV Charts

UNIT 7:

• In this unit, you will learn the concepts of state and transition testing
• You will also know the usage of state graphs in testing and the usage of transition testing
• It gives the basic difference between good and bad state graphs
• It also concentrates on state bugs and transition bugs

UNIT 8:

• This unit is all about the graphs and graph matrices
• It deeply discusses the usage of graph matrices in testing
• It also explains the node reduction algorithm using matrices

How is it Linked with other subjects of Engineering?

• Software testing is an integrated part of Software development
• It is directly related to Software engineering and also other subjects like, Software project management, Unified modelling language and object oriented analysis design etc..
• It has many subtle relations with the topics that involved software, software quality, software reliability and system reliability

Applications

• Generally, testing is performed to detect software failures i.e., to discover defects and rectify the same
• One common source of expensive defects is, requirement gaps

Example: Unrecognised requirements which result in errors of omission by the program designer

• Software testing is used to provide quality product and services to the clients