ISO 9001:2015

Software Engineering
Ashish T. Bhole, BE, M.Tech., PhD (Pursuing)
Associate Professor
Associate Professor
Department of Computer Engineering
SSBT’s College of Engineering & Technology, Bambhori, Jalgaon
 ISO 9001:2015

Unit‐IV:
U it IV
Coding and Software Testing
Coding and Software Testing

01/08/2019 Mr Ashish T Bhole 2
 Acknowledgement
ISO 9001:2015

• Text Book1: K. K. Aggarwal
gg & Yogesh
g Singh, Software 
g ,
Engineering, Third Edition (2008), New Age International
• Text Book2: Rajib
e t oo aj b Mall, Fundamentals of Software 
a , u da e ta s o So t a e
Engineering, Fourth Edition (2014), Prentice Hall of India 
• Reference Book: Roger S. Pressman, Software 
Reference Book: Roger S. Pressman, Software
Engineering: A Practitioner’s Approach, Seventh Edition 
(
(2010), McGraw Hill
)
01/08/2019 Mr Ashish T Bhole 3
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 1
 Software Testing

• What is Testing?
Many people understand many definitions of testing :

1. Testing is the process of demonstrating that errors are not present.

2. The purpose of testing is to show that a program performs its intended

functions correctly.

3. Testing is the process of establishing confidence that a program does

what it is supposed to do.

These definitions are incorrect.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 2
 Software Testing

A more appropriate definition is:

“Testing is the process of executing a program with

the intent of finding errors.”

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 3
 Software Testing

• Why should We Test ?

Although software testing is itself an expensive activity, yet launching of
software without testing may lead to cost potentially much higher than that
of testing, specially in systems where human safety is involved.

In the software life cycle the earlier the errors are discovered and removed,
the lower is the cost of their removal.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 4
 Software Testing

• Who should Do the Testing ?

o Testing requires the developers to find errors from their software.
o It is difficult for software developer to point out errors from own
creations.
o Many organisations have made a distinction between development
and testing phase by making different people responsible for each
phase.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 5
 Software Testing

• What should We Test ?

We should test the program’s responses to every possible input. It means,
we should test for all valid and invalid inputs. Suppose a program requires
two 8 bit integers as inputs. Total possible combinations are 28x28. If only
one second it required to execute one set of inputs, it may take 18 hours to
test all combinations. Practically, inputs are more than two and size is also
more than 8 bits. We have also not considered invalid inputs where so
many combinations are possible. Hence, complete testing is just not
possible, although, we may wish to do so.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 6
 Software Testing

Fig. 1: Control flow graph

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 7
 Software Testing

The number of paths in the example of Fig. 1 are 1014 or 100 trillions. It is
computed from 520 + 519 + 518 + …… + 51; where 5 is the number of paths
through the loop body. If only 5 minutes are required to test one test path, it
may take approximately one billion years to execute every path.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 8
 Software Testing
Some Terminologies

Error, Mistake, Bug, Fault and Failure
People make errors. A good synonym is mistake. This may be a syntax
error or misunderstanding of specifications. Sometimes, there are logical
errors.

When developers make mistakes while coding, we call these mistakes

“bugs”.

A fault is the representation of an error, where representation is the mode

of expression, such as narrative text, data flow diagrams, ER diagrams,
source code etc. Defect is a good synonym for fault.

A failure occurs when a fault executes. A particular fault may cause

different failures, depending on how it has been exercised.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 9
 Software Testing

Test, Test Case and Test Suite
Test and Test case terms are used interchangeably. In practice, both are
same and are treated as synonyms. Test case describes an input
description and an expected output description.
Test Case ID
Section-I Section-II
(Before Execution) (After Execution)
Purpose : Execution History:
Pre condition: (If any) Result:
Inputs: If fails, any possible reason (Optional);

Expected Outputs: Any other observation:

Post conditions: Any suggestion:
Written by: Run by:
Date: Date:
Fig. 2: Test case template
The set of test cases is called a test suite. Hence any combination of test
cases may generate a test suite.
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 10
 Software Testing

Verification and Validation

Verification is the process of evaluating a system or component to

determine whether the products of a given development phase satisfy the
conditions imposed at the start of that phase.
Validation is the process of evaluating a system or component during or at
the end of development process to determine whether it satisfies the
specified requirements .
Testing= Verification+Validation

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 11
 Software Testing

Alpha, Beta and Acceptance Testing
The term Acceptance Testing is used when the software is developed for
a specific customer. A series of tests are conducted to enable the customer
to validate all requirements. These tests are conducted by the end user /
customer and may range from adhoc tests to well planned systematic
series of tests.
The terms alpha and beta testing are used when the software is developed
as a product for anonymous customers.
Alpha Tests are conducted at the developer’s site by some potential
customers. These tests are conducted in a controlled environment. Alpha
testing may be started when formal testing process is near completion.

Beta Tests are conducted by the customers / end users at their sites.
Unlike alpha testing, developer is not present here. Beta testing is
conducted in a real environment that cannot be controlled by the developer.
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 12
 Software Testing

Functional Testing
Input Output
domain domain

System
Input test Output
under
data test data
test

Fig. 3: Black box testing

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 13
 Software Testing
Boundary Value Analysis
Consider a program with two input variables x and y. These input variables
have specified boundaries as:
a≤x≤b
c≤y≤d

Input domain

d
y
c

a b
x
Fig.4: Input domain for program having two input variables
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 14
 Software Testing
The boundary value analysis test cases for our program with two inputs
variables (x and y) that may have any value from 100 to 300 are: (200,100),
(200,101), (200,200), (200,299), (200,300), (100,200), (101,200), (299,200) and
(300,200). This input domain is shown in Fig. 8.5. Each dot represent a test case
and inner rectangle is the domain of legitimate inputs. Thus, for a program of n
variables, boundary value analysis yield 4n + 1 test cases.
Input domain
400
300
y 200
100

0 100 200 300 400

x
Fig. 5: Input domain of two variables x and y with
boundaries [100,300] each
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 15
 Software Testing
Equivalence Class Testing
In this method, input domain of a program is partitioned into a finite number of
equivalence classes such that one can reasonably assume, but not be
absolutely sure, that the test of a representative value of each class is
equivalent to a test of any other value.
Two steps are required to implementing this method:

1. The equivalence classes are identified by taking each input condition and
partitioning it into valid and invalid classes. For example, if an input
condition specifies a range of values from 1 to 999, we identify one valid
equivalence class [1<item<999]; and two invalid equivalence classes
[item<1] and [item>999].

2. Generate the test cases using the equivalence classes identified in the
previous step. This is performed by writing test cases covering all the valid
equivalence classes. Then a test case is written for each invalid equivalence
class so that no test contains more than one invalid class. This is to ensure
that no two invalid classes mask each other.
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 61
 Software Testing

Invalid input

Valid System
Outputs
inputs under test

Input domain Output domain

Fig. 7: Equivalence partitioning

Most of the time, equivalence class testing defines classes of the input domain.
However, equivalence classes should also be defined for output domain.
Hence, we should design equivalence classes based on input and output
domain.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 62
 Software Testing
Structural Testing
A complementary approach to functional testing is called structural / white box
testing. It permits us to examine the internal structure of the program.

Path Testing
Path testing is the name given to a group of test techniques based on judiciously
selecting a set of test paths through the program. If the set of paths is properly
chosen, then it means that we have achieved some measure of test thoroughness.

This type of testing involves:

1. generating a set of paths that will cover every branch in the program.

2. finding a set of test cases that will execute every path in the set of program
paths.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 104
 Software Testing
Flow Graph
The control flow of a program can be analysed using a graphical representation
known as flow graph. The flow graph is a directed graph in which nodes are either
entire statements or fragments of a statement, and edges represents flow of control.

Fig. 14: The basic construct of the flow graph

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 105
 Software Testing
Cyclomatic Complexity

McCabe’s cyclomatic metric V(G) = e – n + 2P.

For example, a flow graph shown in in Fig. 21 with entry node ‘a’ and exit node ‘f’.

Fig. 21: Flow graph

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 132
 Software Testing

The value of cyclomatic complexity can be calculated as :

V(G) = 9 – 6 + 2 = 5
Here e = 9, n = 6 and P =1

There will be five independent paths for the flow graph illustrated in Fig. 21.
Path 1 : acf
Path 2 : abef
Path 3 : adcf
Path 4 : a b e a c f or a b e a b e f
Path 5 : abebef

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 133
 Software Testing
Several properties of cyclomatic complexity are stated below:

1. V(G) ≥1

2. V (G) is the maximum number of independent paths in graph G.

3. Inserting & deleting functional statements to G does not affect V(G).

4. G has only one path if and only if V(G)=1.

5. Inserting a new row in G increases V(G) by unity.

6. V(G) depends only on the decision structure of G.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 134
 Software Testing
The role of P in the complexity calculation V(G)=e-n+2P is required to be understood
correctly. We define a flow graph with unique entry and exit nodes, all nodes
reachable from the entry, and exit reachable from all nodes. This definition would
result in all flow graphs having only one connected component. One could, however,
imagine a main program M and two called subroutines A and B having a flow graph
shown in Fig. 22.

Fig. 22
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 135
 Software Testing

Let us denote the total graph above with 3 connected components as

V ( M ∪ A ∪ B) = e − n + 2 P

= 13-13+2*3
=6

This method with P ≠ 1 can be used to calculate the complexity of a

collection of programs, particularly a hierarchical nest of subroutines.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 136
 Software Testing

Two alternate methods are available for the complexity calculations.

1. Cyclomatic complexity V(G) of a flow graph G is equal to the number of

predicate (decision) nodes plus one.
V(G)= ∏ +1
Where ∏ is the number of predicate nodes contained in the flow graph
G.

2. Cyclomatic complexity is equal to the number of regions of the flow

graph.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 138
 Software Testing
Example 8.15
Consider a flow graph given in Fig. 23 and calculate the cyclomatic
complexity by all three methods.

Fig. 23

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 139
 Software Testing
Solution
Cyclomatic complexity can be calculated by any of the three methods.

1. V(G) = e – n + 2P
= 13 – 10 + 2 = 5

2. V(G) =π+1
=4+1=5

3. V(G) = number of regions

=5

Therefore, complexity value of a flow graph in Fig. 23 is 5.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 140
 Software Testing
Levels of Testing
There are 3 levels of testing:
i. Unit Testing
ii. Integration Testing
iii. System Testing

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 170
 Software Testing

Unit Testing

There are number of reasons in support of unit testing than testing the entire product.

1. The size of a single module is small enough that we can locate an error
fairly easily.

2. The module is small enough that we can attempt to test it in some

demonstrably exhaustive fashion.

3. Confusing interactions of multiple errors in widely different parts of the

software are eliminated.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 171
 Software Testing

There are problems associated with testing a module in isolation. How do we run a
module without anything to call it, to be called by it or, possibly, to output
intermediate values obtained during execution? One approach is to construct an
appropriate driver routine to call if and, simple stubs to be called by it, and to insert
output statements in it.

Stubs serve to replace modules that are subordinate to (called by) the module to be
tested. A stub or dummy subprogram uses the subordinate module’s interface, may
do minimal data manipulation, prints verification of entry, and returns.

This overhead code, called scaffolding represents effort that is import to testing, but
does not appear in the delivered product as shown in Fig. 29.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 172
 Software Testing

Fig. 29 : Scaffolding required testing a program unit (module)

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 173
 Software Testing

Integration Testing

The purpose of unit testing is to determine that each independent module is

correctly implemented. This gives little chance to determine that the interface
between modules is also correct, and for this reason integration testing must be
performed. One specific target of integration testing is the interface: whether
parameters match on both sides as to type, permissible ranges, meaning and
utilization.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 174
 Software Testing

Fig. 30 : Three different integration approaches

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 175
 Software Testing

System Testing

Of the three levels of testing, the system level is closet to everyday experiences.
We test many things; a used car before we buy it, an on-line cable network
service before we subscribe, and so on. A common pattern in these familiar
forms is that we evaluate a product in terms of our expectations; not with
respect to a specification or a standard. Consequently, goal is not to find faults,
but to demonstrate performance. Because of this we tend to approach system
testing from a functional standpoint rather than from a structural one. Since it is
so intuitively familiar, system testing in practice tends to be less formal than it
might be, and is compounded by the reduced testing interval that usually
remains before a delivery deadline.

Petschenik gives some guidelines for choosing test cases during system testing.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 176
 Software Testing
During system testing, we should evaluate a number of attributes of the
software that are vital to the user and are listed in Fig. 31. These represent the
operational correctness of the product and may be part of the software
specifications.

Usable Is the product convenient, clear, and predictable?

Secure Is access to sensitive data restricted to those with authorization?

Will the product work correctly in conjunction with existing data,

Compatible
software, and procedures?

Do adequate safeguards against failure and methods for recovery

Dependable
exist in the product?

Documented Are manuals complete, correct, and understandable?

Fig. 31 : Attributes of software to be tested during system testing

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 177
 Software Testing
Validation Testing
o It refers to test the software as a complete product.
o This should be done after unit & integration testing.
o Alpha, beta & acceptance testing are nothing but the various ways of involving
customer during testing.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 178
 Software Testing
Validation Testing
o IEEE has developed a standard (IEEE standard 1059-1993) entitled “ IEEE guide
for software verification and validation “ to provide specific guidance about
planning and documenting the tasks required by the standard so that the
customer may write an effective plan.
o Validation testing improves the quality of software product in terms of functional
capabilities and quality attributes.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 179
 Software Testing
Testing Tools
One way to improve the quality & quantity of testing is to make the process as
pleasant as possible for the tester. This means that tools should be as concise,
powerful & natural as possible.

The two broad categories of software testing tools are :

Static

Dynamic

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 186
 Software Testing
There are different types of tools available and some are listed below:

1. Static analyzers, which examine programs systematically and automatically.

2. Code inspectors, who inspect programs automatically to make sure they adhere
to minimum quality standards.

3. standards enforcers, which impose simple rules on the developer.

4. Coverage analysers, which measure the extent of coverage.

5. Output comparators, used to determine whether the output in a program is

appropriate or not.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 187
 Software Testing

6. Test file/ data generators, used to set up test inputs.

7. Test harnesses, used to simplify test operations.

8. Test archiving systems, used to provide documentation about programs.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 188
 Multiple Choice Questions
Note: Choose most appropriate answer of the following questions:
8.1 Software testing is:
(a) the process of demonstrating that errors are not present
(b) the process of establishing confidence that a program does what it is supposed
to do
(c) the process of executing a program to show it is working as per specifications
(d) the process of executing a program with the intent of finding errors
8.2 Software mistakes during coding are known as:
(a) failures (b) defects
(c) bugs (d) errors
8.3 Functional testing is known as:
(a) Structural testing (b) Behavior testing
(c) Regression testing (d) None of the above
8.4 For a function of n variables, boundary value analysis yields:
(a) 4n+3 test cases (b) 4n+1 test cases
(c) n+4 test cases (d) None of the above
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 189
 Multiple Choice Questions
8.5 For a function of two variables, how many cases will be generated by
robustness testing?
(a) 9 (b) 13
(c) 25 (d) 42
8.6 For a function of n variables robustness testing of boundary value analysis yields:
(a) 4n+1 (b) 4n+3
(c) 6n+1 (d) None of the above
8.7 Regression testing is primarily related to:
(a) Functional testing (b) Data flow testing
(c) Development testing (d) Maintenance testing
8.8 A node with indegree=0 and out degree ≠ 0 is called
(a) Source node (b) Destination node
(c) Transfer node (d) None of the above
8.9 A node with indegree ≠ 0 and out degree=0 is called
(a) Source node (b) Predicate node
(c) Destination node (d) None of the above
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 190
 Multiple Choice Questions
8.10 A decision table has
(a) Four portions (b) Three portions
(c) Five portions (d) Two portions
8.11 Beta testing is carried out by
(a) Users (b) Developers
(c) Testers (d) All of the above
8.12 Equivalence class partitioning is related to
(a) Structural testing (b) Blackbox testing
(c) Mutation testing (d) All of the above
8.13 Cause effect graphing techniques is one form of
(a) Maintenance testing (b) Structural testing
(c) Function testing (d) Regression testing
8.14 During validation
(a) Process is checked (b) Product is checked
(c) Developer’s performance is evaluated (d) The customer checks the product

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 191
 Multiple Choice Questions
8.15 Verification is
(a) Checking the product with respect to customer’s expectation
(b) Checking the product with respect to specifications
(c) Checking the product with respect to the constraints of the project
(d) All of the above
8.16 Validation is
(a) Checking the product with respect to customer’s expectation
(b) Checking the product with respect to specifications
(c) Checking the product with respect to the constraints of the project
(d) All of the above
8.17 Alpha testing is done by
(a) Customer (b) Tester
(c) Developer (d) All of the above
8.18 Site for Alpha testing is
(a) Software company (b) Installation place
(c) Any where (d) None of the above
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 192
 Multiple Choice Questions
8.19 Site for Beta testing is
(a) Software company (b) User’s site
(c) Any where (d) All of the above
8.20 Acceptance testing is done by
(a) Developers (b) Customers
(c) Testers (d) All of the above
8.21 One fault may lead to
(a) One failure (b) No failure
(c) Many failure (d) All of the above
8.22 Test suite is
(a) Set of test cases (b) Set of inputs
(c) Set of outputs (d) None of the above
8.23 Behavioral specification are required for:
(a) Modeling (b) Verification
(c) Validation (d) None of the above

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 193
 Multiple Choice Questions
8.24 During the development phase, the following testing approach is not adopted
(a) Unit testing (b) Bottom up testing
(c) Integration testing (d) Acceptance testing
8.25 Which is not a functional testing technique?
(a) Boundary value analysis (b) Decision table
(c) Regression testing (d) None of the above

8.26 Decision table are useful for describing situations in which:

(a) An action is taken under varying sets of conditions.
(b) Number of combinations of actions are taken under varying sets of conditions
(c) No action is taken under varying sets of conditions
(d) None of the above
8.27 One weakness of boundary value analysis and equivalence partitioning is
(a) They are not effective
(b) They do not explore combinations of input circumstances
(c) They explore combinations of input circumstances
(d) None of the above
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 194
 Multiple Choice Questions
8.28 In cause effect graphing technique, cause & effect are related to
(a) Input and output (b) Output and input
(c) Destination and source (d) None of the above
8.29 DD path graph is called as
(a) Design to Design Path graph (b) Defect to Defect Path graph
(c) Destination to Destination Path graph (d) Decision to decision Path graph
8.30 An independent path is
(a) Any path through the DD path graph that introduce at least one new set of
processing statements or new conditions
(b) Any path through the DD path graph that introduce at most one new set of
processing statements or new conditions
(c) Any path through the DD path graph that introduce at one and only one new
set of processing statements or new conditions
(d) None of the above
8.31 Cyclomatic complexity is developed by
(a) B.W.Boehm (b) T.J.McCabe
(c) B.W.Lettlewood (d) Victor Basili
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 195
 Multiple Choice Questions
8.32 Cyclomatic complexity is denoted by
(a) V(G)=e-n+2P (b) V(G)= ∏ +1
(c) V(G)=Number of regions of the graph (d) All of the above

8.33 The equation V(G)= ∏ +1 of cyclomatic complexity is applicable only if

every predicate node has
(a) two outgoing edges (b) three or more outgoing edges
(c) no outgoing edges (d) none of the above

8.34 The size of the graph matrix is

(a) Number of edges in the flow graph
(b) Number of nodes in the flow graph
(c) Number of paths in the flow graph
(d) Number of independent paths in the flow graph

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 196
 Multiple Choice Questions
8.35 Every node is represented by
(a) One row and one column in graph matrix
(b) Two rows and two columns in graph matrix
(c) One row and two columns in graph matrix
(d) None of the above
8.36 Cyclomatic complexity is equal to
(a) Number of independent paths (b) Number of paths
(c) Number of edges (d) None of the above
8.37 Data flow testing is related to
(a) Data flow diagrams (b) E-R diagrams
(c) Data dictionaries (d) none of the above
8.38 In data flow testing, objective is to find
(a) All dc-paths that are not du-paths (b) All du-paths
(c) All du-paths that are not dc-paths (d) All dc-paths

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 197
 Multiple Choice Questions
8.39 Mutation testing is related to
(a) Fault seeding (b) Functional testing
(c) Fault checking (d) None of the above
8.40 The overhead code required to be written for unit testing is called
(a) Drivers (b) Stubs
(c) Scaffolding (d) None of the above
8.41 Which is not a debugging techniques
(a) Core dumps (b) Traces
(c) Print statements (d) Regression testing
8.42 A break in the working of a system is called
(a) Defect (b) Failure
(c) Fault (d) Error
8.43 Alpha and Beta testing techniques are related to
(a) System testing (b) Unit testing
(c) acceptance testing (d) Integration testing

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 198
 Multiple Choice Questions
8.44 Which one is not the verification activity
(a) Reviews (b) Path testing
(c) Walkthrough (d) Acceptance testing
8.45 Testing the software is basically
(a) Verification (b) Validation
(c) Verification and validation (d) None of the above
8.46 Integration testing techniques are
(a) Topdown (b) Bottom up
(c) Sandwich (d) All of the above
8.47 Functionality of a software is tested by
(a) White box testing (b) Black box testing
(c) Regression testing (d) None of the above
8.48 Top down approach is used for
(a) Development (b) Identification of faults
(c) Validation (d) Functional testing

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 199
 Multiple Choice Questions
8.49 Thread testing is used for testing
(a) Real time systems (b) Object oriented systems
(c) Event driven systems (d) All of the above
8.50 Testing of software with actual data and in the actual environment is called
(a) Alpha testing (b) Beta testing
(c) Regression testing (d) None of the above

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 200
 Exercises
8.1 What is software testing? Discuss the role of software testing during
software life cycle and why is it so difficult?
8.2 Why should we test? Who should do the testing?
8.3 What should we test? Comment on this statement. Illustrate the
importance of testing
8.4 Defined the following terms:
(i) fault (ii) failure
(iii) bug (iv) mistake
8.5 What is the difference between
(i) Alpha testing & beta testing
(ii) Development & regression testing
(iii) Functional & structural testing
8.6 Discuss the limitation of testing. Why do we say that complete testing is
impossible?
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 201
 Exercises
8.7 Briefly discuss the following
(i) Test case design, Test & Test suite
(ii) Verification & Validation
(iii) Alpha, beta & acceptance testing
8.8 Will exhaustive testing (even if possible for every small programs)
guarantee that the program is 100% correct?
8.9 Why does software fail after it has passed from acceptance testing?
Explain.
8.10 What are various kinds of functional testing? Describe any one in detail.
8.11 What is a software failure? Explain necessary and sufficient conditions
for software failure. Mere presence of faults means software failure. Is it
true? If not, explain through an example, a situation in which a failure
will definitely occur.
8.12 Explain the boundary value analysis testing techniques with the help of
an example.
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 202
 Exercises
8.13 Consider the program for the determination of next date in a calendar.
Its input is a triple of day, month and year with the following range
1 ≤ month ≤ 12
1 ≤ day ≤ 31
1900 1 ≤ year ≤ 2025
The possible outputs would be Next date or invalid date. Design
boundary value, robust and worst test cases for this programs.

8.14 Discuss the difference between worst test case and adhoc test case
performance evaluation by means of testing. How can we be sure that the
real worst case has actually been observed?
8.15 Describe the equivalence class testing method. Compare this with
boundary value analysis techniques

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 203
 Exercises
8.16 Consider a program given below for the selection of the largest of
numbers

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 204
 Exercises
(i) Design the set of test cases using boundary value analysis technique and
equivalence class testing technique.
(ii) Select a set of test cases that will provide 100% statement coverage.
(iii) Develop a decision table for this program.
8.17 Consider a small program and show, why is it practically impossible to
do exhaustive testing?
8.18 Explain the usefulness of decision table during testing. Is it really
effective? Justify your answer.
8.19 Draw the cause effect graph of the program given in exercise 8.16.
8.20 Discuss cause effect graphing technique with an example.
8.21 Determine the boundary value test cases the extended triangle problem
that also considers right angle triangles.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 205
 Exercises
8.22 Why does software testing need extensive planning? Explain.
8.23 What is meant by test case design? Discuss its objectives and indicate
the steps involved in test case design.
8.24 Let us consider an example of grading the students in an academic
institution. The grading is done according to the following rules:

Generate test cases using equivalence class testing technique

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 206
 Exercises
8.25 Consider a program to determine whether a number is ‘odd’ or ‘even’
and print the message
NUMBER IS EVEN
Or
NUMBER IS ODD
The number may be any valid integer.
Design boundary value and equivalence class test cases.
8.26 Admission to a professional course is subject to the following
conditions:

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 207
 Exercises
If aggregate marks of an eligible candidate are more than 225, he/she will be
eligible for honors course, otherwise he/she will be eligible for pass course.
The program reads the marks in the three subjects and generates the
following outputs:
(a) Not Eligible
(b) Eligible to Pass Course
(c) Eligible to Honors Course
Design test cases using decision table testing technique.
8.27 Draw the flow graph for program of largest of three numbers as shown
in exercise 8.16. Find out all independent paths that will guarantee that
all statements in the program have been tested.
8.28 Explain the significance of independent paths. Is it necessary to look for
a tool for flow graph generation, if program size increases beyond 100
source lines?
8.29 Discuss the structure testing. How is it different form functional testing?

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 208
 Exercises
8.30 What do you understand by structural testing? Illustrate important
structural testing techniques.
8.31 Discuss the importance of path testing during structural testing.
8.32 What is cyclomatic complexity? Explain with the help of an example.
8.33 Is it reasonable to define “thresholds” for software modules? For
example, is a module acceptable if its V(G) ≤ 10? Justify your answer.
8.34 Explain data flow testing. Consider an example and show all “du” paths.
Also identify those “du” paths that are not “dc” paths.
8.35 Discuss the various steps of data flow testing.
8.36 If we perturb a value, changing the current value of 100 by 1000, what
is the effect of this change? What precautions are required while
designing the test cases?

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 209
 Exercises
8.37 What is the difference between white and black box testing? Is
determining test cases easier in back or white box testing? Is it correct to
claim that if white box testing is done properly, it will achieve close to
100% path coverage?
8.38 What are the objectives of testing? Why is the psychology of a testing
person important?
8.39 Why does software fail after it has passed all testing phases? Remember,
software, unlike hardware does not wear out with time.
8.40 What is the purpose of integration testing? How is it done?
8.41 Differentiate between integration testing and system testing.
8.42 Is unit testing possible or even desirable in all circumstances? Provide
examples to Justify your answer?
8.43 Peteschenik suggested that a different team than the one that does
integration testing should carry out system testing. What are some good
reasons for this?
Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 210
 Exercises
8.44 Test a program of your choice, and uncover several program errors.
Localise the main route of these errors, and explain how you found the
courses. Did you use the techniques of Table 8? Explain why or why not.
8.45 How can design attributes facilitate debugging?
8.46 List some of the problem that could result from adding debugging
statements to code. Discuss possible solutions to these problems.
8.47 What are various debugging approaches? Discuss them with the help of
examples.
8.48 Researchers and practitioners have proposed several mixed testing
strategies intended to combine advantages of various techniques
discussed in this chapter. Propose your own combination, perhaps also
using some kind of random testing at selected points.
8.49 Design a test set for a spell checker. Then run it on a word processor
having a spell checker, and report on possible inadequacies with respect
to your requirements.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 211
 Exercises
8.50 4 GLs represent a major step forward in the development of automatic
program generation. Explain the major advantage & disadvantage in the
use of 4 GLs. What are the cost impact of applications of testing and how
do you justify expenditures for these activities.

Software Engineering (3rd ed.), By K.K Aggarwal & Yogesh Singh, Copyright © New Age International Publishers, 2007 212
Software Quality
 In 2005, ComputerWorld [Hil05] lamented that
 “bad software plagues nearly every organization that uses
computers,
t causing
i llostt workk hours
h d
during
i computert d downtime,
ti
lost or corrupted data, missed sales opportunities, high IT support
and maintenance costs, and low customer satisfaction.
 A year later
later, InfoWorld [Fos06] wrote about the
 “the sorry state of software quality” reporting that the quality
problem had not gotten any better.
 Today software quality remains an issue
Today, issue, but who is to blame?
 Customers blame developers, arguing that sloppy practices lead
to low-quality software.
 Developers blame customers (and other stakeholders)
stakeholders), arguing
that irrational delivery dates and a continuing stream of changes
force them to deliver software before it has been fully validated.

These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e
(McGraw-Hill, 2009). Slides copyright 2009 by Roger Pressman. 2
Quality
 The American Heritage Dictionary defines
quality as
 “a characteristic or attribute of something.”
 For software, two kinds of quality may be
encountered:
 Quality of design encompasses requirements,
specifications and the design of the system
specifications, system.
 Quality of conformance is an issue focused primarily
on implementation.
 User satisfaction = compliant product + good quality
+ delivery within budget and schedule

These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e
(McGraw-Hill, 2009). Slides copyright 2009 by Roger Pressman. 3
Software Quality
 Software quality can be defined as:
 An effective software process applied in a manner
that creates a useful product that provides
measurable value for those who produce it and those
who use it.
it
 This definition has been adapted from [Bes04] and
replaces
p a more manufacturing-oriented
g view
presented in earlier editions of this book.

These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e
(McGraw-Hill, 2009). Slides copyright 2009 by Roger Pressman. 4
Quality Dimensions
 David Garvin [Gar87]:
 Performance Quality. Does the software deliver all
content, functions, and features that are specified as part of
the requirements model in a way that provides value to the
end-user?
 F t
Feature quality.
lit Does
D th
the software
ft provide
id ffeatures
t that
th t
surprise and delight first-time end-users?
 Reliability. Does the software deliver all features and
capability without failure? Is it available when it is needed?
Does it deliver functionality that is error free?
 Conformance. Does the software conform to local and
external software standards that are relevant to the
application? Does it conform to de facto design and coding
conventions? For example, does the user interface
conform to accepted design rules for menu selection or
data input?
These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e
(McGraw-Hill, 2009). Slides copyright 2009 by Roger Pressman. 5
Quality Dimensions
 Durability. Can the software be maintained (changed) or
corrected (debugged) without the inadvertent generation of
unintended
i t d d side id effects?
ff t ? Will changes
h cause th
the error rate
t
or reliability to degrade with time?
 Serviceability. Can the software be maintained (changed)
or corrected (debugged) in an acceptably short time period.
Can support staff acquire all information they need to make
changes or correct defects?
 Aesthetics. Most of us would agree that an aesthetic entity
has a certain elegance, a unique flow, and an obvious
“presence” that are hard to quantify but evident
nonetheless.
 Perception. In some situations, you have a set of
prejudices
p j that will influence yyour p
perception
p of q
quality.
y

These slides are designed to accompany Software Engineering: A Practitioner’s Approach, 7/e
(McGraw-Hill, 2009). Slides copyright 2009 by Roger Pressman. 6