header

Integral : Calculating the value of the function integral.
Tag:
Edit edit   Starstar

Program Information

Name: Integral
Domain: Calculus
Functionality: Calculating the value of the function integral.
Input:
     a:A real number(Type: Double) b:A real number(Type: Double)
Output:
     $O_{(a,b)}$:The value of $\int\nolimits_a^bf(x)dx$.

Reference

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

MR Information


MR1


    Source input: $a_s,b_s,a_s < b_s$ ; Source output: $O_{(a_s,b_s)}$
    Follow-up input: $a_f,b_f,c,a_f < c < b_f$ ; Follow-up output: $O_{(a_f,c)},O_{(c,b_f)}$
    Input relation: $a_f=a_s$ $b_f=b_s$ $a_fc+cb_f=a_sb_s$
    Output relation: $O_{(a_f,c)}+O_{(c,b_f)}=O_{(a_s,b_s)}$

Related

Insert title here