header

Program Information

Name: Sin
Domain: Numerical program
Functionality: Calculating the value of the function $sin(x)$.
Input: x:A real number(Type: Double)    
Output: $sin(x)$:The output of the function $sin(x)$.

Reference


                         A Formal Model for Metamorphic Relation Decomposition http://dx.doi.org/10.1109/WCSE.2013.14




MR Information

MR1------

Description:
Property:
Source input: $x_s$
Source output: $sin(x_s)$
Follow-up input: $x_f$
Follow-up output: $sin(x_f)$
Input relation: $x_f=\frac{\pi}{2}-x_s$
Output relation: $sin^2(x_s)+sin^2(x_f)=1$
Pattern:
Insert title here