header
MPA:multi precision arithmetic

Tag:
Edit edit   Starstar

Program Information

Name: MPA:multi precision arithmetic
Domain: Numerical program
Functionality: Converting the general relations of operations as metamorphic relations. 
Input: Three numbers $i,j,k$ where $\{i,j,k \in R\}$  
Output: Multiplication result of $(i,j)$ is $k$.  

Reference

  Metamorphic Relations to Improve the Test Accuracy of Multi Precision Arithmetic Software Applications https://doi.org/10.1109/ICACCI.2014.6968586;  

MR Information

MR1------

Description:
Property: $i*j=k \Leftrightarrow (i*j)*x=k*x$ where $\forall \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:  
Input relation:
Output relation:
Pattern:

MR2------

Description:
Property: $i*j=k \Leftrightarrow k/j=i \&\& k/i=j$ where $\forall \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:  
Pattern:

MR3------

Description:
Property: $i*j=k \Leftrightarrow ((i*j/n)+(i*j/n))=(k/2)*n$ where $\forall \{(i,j,k,n) \in N$
Source input:  
Source output:  
Follow-up input:
Follow-up output:
Input relation:  
Output relation:  
Pattern:

MR4------

Description:
Property: $i*j=k \Leftrightarrow (i+1)*(j-1)=(i*j)-i+j-1=k-(i+1-j)$
Source input:  
Source output:
Follow-up input:
Follow-up output:
Input relation:  
Output relation:  
Pattern:

MR5------

Description:
Property: $i/j=k \Leftrightarrow (i/j)*x=k*x \in \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:  
Source output:  
Follow-up input:  
Follow-up output:
Input relation:  
Output relation:  
Pattern:

MR6------

Description:
Property: $i/j=k \Leftrightarrow k*j=i \&\& i/k=j \in \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:  
Source output:  
Follow-up input:  
Follow-up output:
Input relation:  
Output relation:  
Pattern:

MR7------

Description:
Property: $i/j=k \Leftrightarrow (((i/j)*n)+((i/j)*n))=(k*2)/n \in \{(i,j,k,n) \in N$
Source input:  
Source output:  
Follow-up input:  
Follow-up output:
Input relation:  
Output relation:  
Pattern:
Insert title here