header
Determinant 

Tag:
Edit edit   Starstar

Program Information

Name: Determinant 
Domain: Numerical program
Functionality: Calculate the value of determinant 
Input: Determinant |A| 
Output: the value of |A| 

Reference

 Security Assurance with Metamorphic Testing and Genetic Algorithm  10.1109/WI-IAT.2010.101  

MR Information

MR1------

Description:
Property: $$ |A|=\left\{\begin{array}{rcl} |A'|       &      & {A’ is generated  by  performing  an  even  number  of  row-swaps  on  A}\\ -|A'|     &      & { A’  is  generated  by  performing  an  odd  number  of  row-swaps  on  A }\\ \end{array} \right. $$ 
Source input: Determinant |A| 
Source output: the value of |A| 
Follow-up input: Determinant |A’|  
Follow-up output: the value of |A’| 
Input relation: A' is generated by performing an even number of row-swaps on A 
Output relation: |A|=|A’| 
Pattern:

MR2------

Description:
Property: $$ |A|=\left\{\begin{array}{rcl} |A'|       &      & {A’ is generated by performing an even number of row-swaps on A}\\ -|A'|     &      & { A’ is generated by performing an odd number of row-swaps on A }\\ \end{array} \right. $$ 
Source input: Determinant |A| 
Source output: the value of |A| 
Follow-up input: Determinant |A’|  
Follow-up output: the value of |A’| 
Input relation: A' is generated by performing an odd number of row-swaps on A 
Output relation: |A|=-|A’| 
Pattern:
Insert title here