Software Quality Engineering Deadline: 18-5-2020

Assignment No. 5 (CLO 1)

Q.1. Answer the following questions, defining and highlighting difference between:
a) White-box and black box testing?
b) Control-flow and dataflow-based testing,
c) Quality control and quality assurance
d) Top-down integration and bottom-up integration
e) Fault and Error

Q.2. What is an MM-Path? What are the various observable behavior criteria that can put
endpoints on MM-Path?

Q.3. Please use category-partitioning method considering function definition given below and
answer the following questions:
1) Define input spaces and their partitions
2) Develop test case for strong robust case

Function Definition:

In mathematics, the factorial of a non-negative integer n, denoted by n!, is the product of all
positive integers less than or equal to n. For example,

The value of 0! is 1, according to the convention for an empty product. The students of MS-SE
were we're asked to test a function which calculates the factorial (n!) of a number n, returning 0
for negative inputs and -1 when the result is out of range (with size of int as 16 bits):

int factorial(int n)

Q.4. Please make use of a good checklist for code review and please review the following code,
report issues and highlight how you have selected and implemented a particular software
verification technique such that you first share the checklist and then the resulting faults.

Tamim A Khan
Software Quality Engineering Deadline: 18-5-2020

// C program to demonstrate working of Semaphores

#include <stdio.h>
#include <pthread.h>
#include <semaphore.h>
#include <unistd.h>

sem_t mutex;

void* thread(void* arg)

{
//wait
sem_wait(&mutex);
printf("\nEntered..\n");

//critical section
sleep(4);

//signal
printf("\nJust Exiting...\n");
sem_post(&mutex);
}

int main()
{
sem_init(&mutex, 0, 1);
pthread_t t1,t2;
pthread_create(&t1,NULL,thread,NULL);
sleep(2);
pthread_create(&t2,NULL,thread,NULL);
pthread_join(t1,NULL);
pthread_join(t2,NULL);
sem_destroy(&mutex);
return 0;
}

Tamim A Khan