Access over 20 million homework & study documents

Software Testing And Quality Assurance

Content type
User Generated
Subject
Computer Science
Type
Homework
Rating
Showing Page:
1/2
Software Testing for Quality Assurance Using Control Flow Test
Software testing is a process that is used to investigate and monitor the software
engineering process and methods used to ensure a quality product and provide the stakeholders
valuable information on the productivity of the project. This paper is a summary on how the
process of software testing is achieved using the Control Flow Testing method.
Control flow testing is a structural testing strategy that makes use of a program’s control
flow as its model of developing tests cases for that program. A programs control flow can be
described as the order in which its individual statements or function calls are executed or
evaluated. In this case, the test cases based on the control-flow are developed to effectively cover
the entire control structure of the program. This test technique is classified under white box
testing and is mostly used for unit testing.
The control flow structure of the underlying program is represented using a Control Flow
Graph (CFG). A Control Flow Graph is a representation, in graph notation, of all the paths that
might be traversed throughout the program during its execution. This graph is derived from the
programs source code. The CFG makes use of a couple of notations, which consists of: Nodes,
which are representations of procedural statements, and Edges, which represent the flow of
control in the program. Nodes are connected to each other using edges, making a path.
There exists three types of paths; feasible, infeasible and independent paths. A feasible
path in a CFG is the one that can be verified by a set of possible inputs. On the contrary an
infeasible path in a CFG is one that cannot be verified by any set of possible inputs. An
independent path can be described as one that introduces a new set of statements or conditions.
Paths are selected based on the statement, branch, predicate or all paths criteria. Based on
the chosen criterion, paths predicates are generated. The generated path predicates are then

Sign up to view the full document!

lock_open Sign Up
Showing Page:
2/2

Sign up to view the full document!

lock_open Sign Up
Unformatted Attachment Preview
Software Testing for Quality Assurance Using Control Flow Test Software testing is a process that is used to investigate and monitor the software engineering process and methods used to ensure a quality product and provide the stakeholders valuable information on the productivity of the project. This paper is a summary on how the process of software testing is achieved using the Control Flow Testing method. Control flow testing is a structural testing strategy that makes use of a program’s control flow as its model of developing tests cases for that program. A program’s control flow can be ...
Purchase document to see full attachment
User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Anonymous
Goes above and beyond expectations!

Studypool
4.7
Trustpilot
4.5
Sitejabber
4.4