C-S 743 - Software Verification and Validation

Fall 2019

Assignment 1

Due on Friday September 27, 2019

For the following problem, generate black-box test cases using Equivalence Class Partitioning and Boundary Value Analysis (use Single Fault Assumption). Test the given program using these test cases.

The software enables a passenger to select a seat in an airplane. The plane has 25 rows (numbered 1 to 25), each row having 6 seats (numbered 1 to 6).  To reserve a seat, a passenger must input three parameters:

1. A ticket number (ranging from 1001 to 1150, both inclusive)
2. Row number (ranging from 1 to 25, both inclusive)
3. Seat number (1 to 6, both inclusive)

If the parameters are all valid and if the selected seat is not reserved before, the software assigns the seat for this ticket number. The software displays the current seat assignments after all seat selection requests are done.

Click here to get the program for this problem. The program is written in Java. Install Java run-time environment on your machine if it is not already installed. You should run the program from the command line using the following command:

java SeatAssignmentAssignment <input file name> <output file name>

The input file should contain the three input parameters in that order separated by spaces. The output file will be a text file which will contain the results. You should extract the output from this file and use it for your report.

Submission

You must submit the report which includes (1) the equivalence classes, (2) the boundary values generated from each equivalence class, and (3) the result of your testing process in the following format:

Please print your assignment and submit by Friday Sept. 27 2019 Make sure that you include (1) your name and (2) course number and course name in the assignment