header
Determinant Computations

Tag:
Edit edit   Starstar   Delete   Add Picture

Program Information

Name: Determinant Computations
Domain: Numerical program
Functionality: Compute determinant of the matrices
Input: A: The matrices (Type: Matric(n,n))
Output: N: The determinant of A (Type: Real)

Reference



    An Empirical Study on the Selection of Good Metamorphic Relations http://dx.doi.org/10.1109/COMPSAC.2006.24




MR Information

MR1------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: let $Af = As^{T}$
Output relation: Nf = Ns.
Pattern:

MR2------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: , j < i $
Output relation: Nf = -Ns.
Pattern:

MR3------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: , j < i $
Output relation: Nf = -Ns.
Pattern:

MR4------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: $
Output relation: eta Ns$.
Pattern:

MR5------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: $
Output relation: eta Ns$.
Pattern:

MR6------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af1>
Follow-up output: Nf1
Follow-up input: <Af2>
Follow-up output: Nf2
Input relation: $
Output relation: Nf1 + Nf2 = Ns.
Pattern:

MR7------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af1>
Follow-up output: Nf1
Follow-up input: <Af2>
Follow-up output: Nf2
Input relation: $
Output relation: Nf1 + Nf2 = Ns.
Pattern:

MR8------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: eq j $
Output relation: Nf = Ns.
Pattern:

MR9------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Af>
Follow-up output: Nf
Input relation: eq j $
Output relation: Nf = Ns.
Pattern:

MR10------

Description:
Property:
Source input: <As1>
Source output: Ns1
Source input: <As2>
Source output: Ns2
Follow-up input: <Af>
Follow-up output: Nf
Input relation: let Af = As1?As2
Output relation: Nf = Ns1*Ns2
Pattern:

MR11------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Afi>
Follow-up output: Nfi , i = 1…n
Input relation: $
Output relation: igma_{i=1}^{n}(-1)^{i+j}a_{i,j} Nfi$
Pattern:

MR12------

Description:
Property:
Source input: <As>
Source output: Ns
Follow-up input: <Afj>
Follow-up output: Nfj , j = 1…n
Input relation: $
Output relation: igma_{j=1}^{n}(-1)^{i+j}a_{i,j} Nfi$
Pattern:
Insert title here