Mirpur University of Science and Technology (MUST),

Mirpur-10250 (AJK), Pakistan

Department of Software Engineering

Examination: Final-term Spring-2020 Session: 2017-21

Course Title: Software Verification and Semester: Spring-2020
Validation
Course Code: SE-362 Time Allowed: 24 Hours
Instructor: Engr. Maryum Hamdani Date: 30-09-2020
Max Marks: 70 Paper Type: Subjective
Contact No. 0346-5088334 Email maryumhamdani@gm
ail.com
General Instructions
i. There is no ambiguity in the paper and Teacher / Instructor will not be available for any queries
clarifications.
ii. Understanding a paper is part of exam. Make and write relevant / necessary assumptions if required.
iii. Write the answers to the point. Marks will be deducted for story writing.
iv. Clearly mention your complete Roll No and Page/Sheet number on each page, otherwise that sheet
will not be marked.
v. If your answer(s) gets matched with any other student’s answer, this may lead to plagiarism case.
vi. Attempt your paper in neat & readable handwriting as it is the 1st thing to impress the paper
checker.
vii. Kindly upload paper on CMS, if CMS is not accessible then email at above given address.
vii. Abbr. CLO (Course Learning Outcome), BTL (Bloom’s Taxonomy Level)

Q. Description CLO BTL Marks

1 For the code stated below. Answer the following 2 3 15
a) How many mutations are possible for Relational
Operator Replacement? List them
b) How many mutations are possible for operands
modification? List them.
c) Apply relational operator replacement operation to
statement 8, design a test that kills that mutant
d) Design an equivalent mutant.
e) Design a valid, but useless mutant
1. void checkPalindrome(int x)
2. int n, digit, rev;
3. n=x;
4. do{
5. digit = x % 10;
6. rev = (rev * 10) + digit;
7. x = x / 10;
8. } while (x != 0);

9. cout << " The reverse of the number is: " << rev <<
endl;

10. if (n== rev)

11. cout << " The number is a palindrome.";
12. else
13. cout << " The number is not a palindrome.";
14. }

Software Verification and Validation 1/4

 Mirpur University of Science and Technology (MUST),
Mirpur-10250 (AJK), Pakistan
Department of Software Engineering

2 TestingXperts is a Next Gen QA and Software testing company.

With a large portfolio of services we provide, we assure you of
quality and timely engagements. TestingXperts provides various
benefits to its customers across the globe. Planned and flexible
approach for every engagement to match the customers’
requirement. On time delivery and reduced testing cycle. A Web-
based application of Custom Authorities of Pakistan is under the
test, the requirements specification for one module of the
application are given below:
If the baggage of passenger is less than equal to 30kg and 3 4 10
travelling in economical class then 2% tax is charged by Custom
Authorities. If the baggage is less than equal to 50kg and travelling
on business class then 10 % tax is charged. Similarly, baggage
greater than 50kg on business class, causes 5% additional
surcharge to the passenger. Finally if a passenger is travelling in a
premium class then surcharge is 9%.
Analyze which of the software testing techniques are relevant for
a particular case.
Design Tests cases by choosing best possible technique to test
above given scenario.
3 Patek Philippe’s commitment to International Customer Service
is best expressed by their pledge to service, repair, or restore any
Patek Philippe timepiece regardless of its age. They truly believe
that the knowledge required for servicing, repairing and restoring
our watches is equally as important as the skill required to craft 3 4 10
new watches. That is why all servicing is completed exclusively by
our personally trained and certified watchmakers. The latest
product of Patek Philippe is under test. A smart watch with 2
buttons (2Bwatch). At the highest level of abstraction, 2Bwatch
has these behaviors, Measure Time and Set Time. 2Bwatch
changes states when the user presses and releases both buttons
simultaneously. During the transition from the SetTime state to
the MeasureTime state, 2Bwatch beeps. When 2Bwatch is first
powered on, it is in the SetTime state. When the battery of the
watch runs out (i.e. Dead Battery), the 2Bwatch shuts down.

Analyze on the basis of specifications provided, which of the

testing techniques are relevant for a particular system under test.
Design Tests cases by choosing best possible technique to test
above given scenario.

Software Verification and Validation 2/4

 Mirpur University of Science and Technology (MUST),
Mirpur-10250 (AJK), Pakistan
Department of Software Engineering

4 The diagram below shows a use case diagram followed by a use

case description

Sign up

2 3 10
Sign in
Client

Use case description: Sign up

a. Summary: Clients create a new account
b. Pre-condition: Application running and on signup
page.
c. Post-Condition: Information is recorded for new
client.

Basic Flow
i. Member enters the signup details and clicks the
signup button.
ii. System checks the availability of username.
iii. System checks the validity of password.
iv. System generates the user ID.
v. System records the information for new client in the
database.
Alternate Flows
i. System displays an error if username is not available.
ii. System displays an error if password is less than
eight characters.
iii. System displays error message if password contains
special characters.
Create 2 test cases for the above use case.
5 Is it possible to present an amalgamation of Software
Development Lifecycle and Software Testing Life Cycle? If Yes 1 2 5
Describe How? Are there any activities that runs parallel in both
lifecycles? If Yes? Discuss the activities?
6 It is commonly agreed that “SQA objectives are achieved through 1 2 10
the cooperation and integrated activities of all actors involved in
the quality assurance organizational framework”.
(1) Discuss in your own words who should be considered an
actor in a quality assurance organizational framework, and
provide a list of typical actors.
(2) Explain the unique contribution of each actor to the SQA
system.

Software Verification and Validation 3/4

 Mirpur University of Science and Technology (MUST),
Mirpur-10250 (AJK), Pakistan
Department of Software Engineering

7 2 2 10

For above given figure Identify out Sink and Source Nodes,
Calculate MEP- Paths and create a MM Path Graph.

Good Luck

Software Verification and Validation 4/4