header
Parking fee system

Tag:
Edit edit   Starstar

Program Information

Name: Parking fee system
Domain: Algorithm
Functionality: A parking fee calculation system FEE. 
Input: Accepts the parking details of each vehicle, including type of vehicle, type of car, day of week, discount coupon, and hours of parking.
Output: FEE first rounds up the parking duration to the next full hour, and then calculates the parking fee for a vehicle according to the hourly rates according to the inputs.

Reference

 METRIC: METamorphic Relation Identification based on the Category-choice framework https://doi.org/10.1016/j.jss.2015.07.037 

MR Information

Consider the following complete test frames for FEE: $\rm B_1 = \{type\ of\ vehical_{motorcycle},day\ of\ week_{weekday},discount\ coupon_{no},actual\ hours\ of\ parking_{(0.0,2.0]} \}$ $\rm B_2 = \{type\ of\ vehical_{motorcycle},day\ of\ week_{weekday},discount\ coupon_{no},actual\ hours\ of\ parking_{(2.0,4.0]} \}$ $\rm B_3 = \{type\ of\ vehical_{motorcycle},day\ of\ week_{weekday},discount\ coupon_{no},estimated\ hours\ of\ parking_{(2.0,4.0]}, actual\ hours\ of\ parking_{(2.0,4.0]}\}$ $\rm B_4 = \{type\ of\ vehical_{motorcycle},day\ of\ week_{weekday},discount\ coupon_{no},actual\ hours\ of\ parking_{(4.0,24.0]} \}$ 

MR1------ Consider $\rm B_1$ and $\rm B_2$

Description:
Property: Assume that a motorcycle parks on a weekday, and the customer neither possesses a discount coupon nor provides an estimation of parking duration upfront. If the time range of actual parking duration increases from (0.0, 2.0] to (2.0, 4.0], the parking fee will increase.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR2------ Consider $\rm B_2$ and $\rm B_3$

Description:
Property: Assume that a motorcycle parks on a weekday with an actual parking duration of (2.0, 4.0] and the customer does not possess a discount coupon. The provision of an estimation of parking duration of (2.0, 4.0] upfront will result in a lower parking fee than not providing such an estimation.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR3------ Consider $\rm B_3$ and $\rm B_4$ 

Description:
Property: Assume that a motorcycle parks on a weekday and the customer neither possesses a discount coupon nor provides an estimation of parking duration upfront. If the time range of actual parking duration changes from (4.0, 24.0] to (2.0, 4.0], and an estimation of parking duration of (2.0, 4.0] is provided, the parking fee will be lowered. 
Source input:  
Source output:  
Follow-up input:  
Follow-up output:  
Input relation:  
Output relation:  
Pattern:
Insert title here