Académique Documents
Professionnel Documents
Culture Documents
Committee Members:
Dr.Daniel Andresen
Dr.Torben Amtoft
Dr. Mitchell L. Neilsen
Agenda
The basis for assigning values to some of the effort adjustment factors
was not mentioned clearly. So, I mentioned the reasons for selecting
the values for some of the important factors.
The explanation for some of the use cases was not very clear, so I
gave a clear explanation of the use cases.
Home.aspx The home page for the Kansas Air Airline Reservation System website
FlightBooking.aspx The page which enables the customer to make reservations for the flights
available online.
PackageSearch.aspx The page which helps the customer to search for the packages available.
PackageBooking.aspx The page which enables the customer to make reservations for the packages
available online.
Page flow diagram continued..
HotelSearch.aspx The page which helps the customer to search for the available hotels and rooms in
each hotel.
HotelBooking.aspx The page which enables the customer to make reservations for the hotel rooms
available online.
About.aspx This page gives the customer some information about the Airline Reservation System
website.
Formal Requirements Specification
class User
attributes
userid: string
password: string
emailid: string
name: string
loginstatus : Boolean
operations
VerifyLogin(email : string , password : string) : Boolean =
user.allInstances -> exists (u: user | u.emailid = emailid and
u.password = password)
end
Test Plan
Unit Testing : The Unit Testing is a test that tests each single module of
the software to check for errors. This is mainly done to discover errors
in the code of the Airline Reservation System. The main goal of the unit
testing would be to isolate each part of the program and to check the
correctness of the code.