header
Banking system

Tag:
Edit edit   Starstar

Program Information

Name: Banking system
Domain: Algorithm
Functionality: The system four modules viz. Deposit module, Withdraw module, Loan module and Fixed Deposit module.And an important activity in banking system is calculation of interest that needs to be correct.
Input: Parameter time ($T_i$) Amount($P_i$) Rate of interest(ROI) 
Output: Calculated Interest($inter_i$)

Reference

 An Automated Metamorphic Testing Technique for Designing Effective Metamorphic Relations https://doi.org/10.1007/978-3-642-32129-0%5C_20 

MR Information

MR1------

Description:
Property: $\rm P_i'=(INTER_i \times 36500)\div (ROI\times T_i) \Rightarrow P_i'==P_i$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i',ROI,T_i)$
Follow-up output: $\rm INTER_i'$
Input relation: $\rm P_i'=(INTER_i \times 36500)\div (ROI\times T_i)$
Output relation: $\rm P_i'==P_i$
Pattern:

MR2------

Description:
Property: $\rm P_i'=P_i \times 2 \Rightarrow INTER_i'=2\times INTER_i$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i',ROI,T_i)$
Follow-up output: $\rm INTER_i'$
Input relation: $\rm P_i'=P_i \times 2$
Output relation: $\rm INTER_i'=2\times INTER_i$
Pattern:

MR3------

Description:
Property: $\rm ROI'=0.75;ROI''=ROI+ROI' \Rightarrow INTER_i'=INTER_i''-INTER_i'$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i,ROI',T_i),(P_i,ROI'',T_i)$
Follow-up output: $\rm INTER_i',INTER_i''$
Input relation: $\rm ROI'=0.75;ROI''=ROI+ROI'$
Output relation: $\rm INTER_i'=INTER_i''-INTER_i'$
Pattern:

MR4------

Description:
Property: $\rm T_i'=T_i \div 2 \Rightarrow INTER_i'=INTER_i \div 2$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i,ROI,T_i')$
Follow-up output: $\rm INTER_i'$
Input relation: $\rm T_i'=T_i \div 2$
Output relation: $\rm INTER_i'=INTER_i \div 2$
Pattern:

MR5------

Description:
Property: $\rm a=INTER_i,b=(P_i\times ROI \times T_i)\div 36500 \Rightarrow a=b$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm a=INTER_i$
Follow-up input: $\rm (P_i,ROI,T_i)$
Follow-up output: $\rm b=(P_i\times ROI \times T_i)\div 36500$
Input relation: $\rm a=INTER_i,b=(P_i\times ROI \times T_i)\div 36500$
Output relation: $\rm a=b$
Pattern:

MR6------

Description:
Property: $\rm T_i'=(INTER_i\times 36500) \div (ROI\times P_i) \Rightarrow T_i'=T_i$
Source input: $\rm (P_i,ROI,T_i)$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i,ROI,T_i')$
Follow-up output: $\rm INTER_i'$
Input relation: $\rm T_i'=(INTER_i\times 36500) \div (ROI\times P_i)$
Output relation: $\rm T_i'=T_i$
Pattern:

MR7------

Description:
Property: $\rm P_i=P_{i_1}+P_{i_2}+P_{i_3} \Rightarrow INTER_i=INTER_{i_1}+INTER_{i_2}+INTER_{i_3}$
Source input: $\rm (P_{i_1},ROI,T_i),(P_{i_2},ROI,T_i),(P_{i_3},ROI,T_i)$
Source output: $\rm INTER_{i_1},INTER_{i_2},INTER_{i_3}$
Follow-up input: $\rm (P_i,ROI,T_i)$
Follow-up output: $\rm INTER_i$
Input relation: $\rm P_i=P_{i_1}+P_{i_2}+P_{i_3}$
Output relation: $\rm INTER_i=INTER_{i_1}+INTER_{i_2}+INTER_{i_3}$
Pattern:

MR8------

Description:
Property: $\rm P_i=P_i\times 2;T_i'=T_i\div 2 \Rightarrow INTER_i'=INTER_i$
Source input: $\rm (P_i,ROI,T_i),$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i',ROI,T_i')$
Follow-up output: $\rm INTER_i'$
Input relation: $\rm P_i=P_i\times 2;T_i'=T_i\div 2$
Output relation: $\rm INTER_i'=INTER_i$
Pattern:

MR9------

Description:
Property: $\rm ROI'=0.75;ROI''=ROI+ROI';T_i'=T_i\div 2 \Rightarrow INTER_i=(INTER_i'\div 2)-INTER_i''$
Source input: $\rm (P_i,ROI,T_i),$
Source output: $\rm INTER_i$
Follow-up input: $\rm (P_i,ROI',T_i'),(P_i,ROI'',T_i)$
Follow-up output: $\rm INTER_i',INTER_i''$
Input relation: $\rm ROI'=0.75;ROI''=ROI+ROI';T_i'=T_i\div 2$
Output relation: $\rm INTER_i=(INTER_i'\div 2)-INTER_i''$
Pattern:

MR10------

Description:
Property: $\rm a=INTER_i;b=(INTER_i'\div 2)-INTER_i'' \Rightarrow a=b$
Source input: $\rm (P_i,ROI,T_i),$
Source output: $\rm a=INTER_i$
Follow-up input: $\rm (P_i',ROI,T_i),(P_i'',ROI,T_i)$
Follow-up output: $\rm INTER_i',INTER_i'',b=(INTER_i'\div 2)-INTER_i''$
Input relation: $\rm a=INTER_i;b=(INTER_i'\div 2)-INTER_i''$
Output relation: $\rm a=b$
Pattern:

MR11------

Description:
Property: $\rm a=1.75*(OLD\_BAL+NEW\_DEP);b=(1.75*P_i) \Rightarrow a=b$
Source input: $\rm (P_i,ROI,T_i),$
Source output: $\rm INTER_i,a=1.75*(OLD\_BAL+NEW\_DEP)$
Follow-up input: $\rm (P_i,ROI,T_i),$
Follow-up output: $\rm INTER_i,b=(1.75*P_i)$
Input relation: $\rm a=1.75*(OLD\_BAL+NEW\_DEP);b=(1.75*P_i)$
Output relation: $\rm a=b$
Pattern:
Insert title here