header

NormDist : Compute the Normal Distribution Probability value of a section
Tag:
Edit edit   Starstar

Program Information

Name: NormDist
Domain: Calculus
Functionality: Compute the Normal Distribution Probability value of a section
Input:
     M: The fisrt x coordinate (Type: Real) N: The second x coordinate (Type: Real)
Output:
     K: Integral quantity with compound simpson method in the range of (M,N) (Type: Real).

Reference

         Security Assurance with Program Path Analysis and Metamorphic Testing http://dx.doi.org/10.1109/ICSESS.2013.6615286     A Formal Model for Metamorphic Relation Decomposition http://dx.doi.org/10.1109/WCSE.2013.14

MR Information


MR1


    Source input: <Ms,Ns> ; Source output: Ks
    Follow-up input: <Mf,Nf> ; Follow-up output: Kf
    Input relation: let Mf = 2μ – Ns, Nf = 2μ – Ms, μ is the Mean Value
    Output relation: Kf = Ks.

MR2


    Source input: <Ms,Ns> ; Source output: Ks
    Follow-up input: <Mf1,Nf1> ; Follow-up output: Kf1
    Follow-up input: <Mf2,Nf2> ; Follow-up output: Kf2
    Input relation: let Mf1 = Ms, Nf1 = Mf2, Nf2 = Ns
    Output relation: Kf1 + Kf2 = Ks.

Related

Insert title here