header

Program Information

Name: Integer Bugs:TCAS
Domain: Numerical program
Functionality: Detect integer bugs in Traffic Collision Avoidance System (TCAS).
Input: $I_1,I_2,\ldots ,I_8$ are inputs of P,$I_4$=Own\_Tracked\_Alt=a, $I_6$=Other\_Tracked\_Alt=b
Output: Program tcas.c is P, the results expressed as P().

Reference

 Research on Metamorphic Testing for Oracle Problem of Integer Bugs https://doi.org/10.1007/978-3-642-30126-1_16 

MR Information

MR1------

Description:
Property: $P(I_1,I_2,I_3,a,I_5,b,I_7,I_8)=P(I_1,I_2.I_3,a-\gamma,I_5,b-\gamma,I_7,I_8)$
Source input: $(I_1,I_2,I_3,a,I_5,b,I_7,I_8)$
Source output: $P(I_1,I_2.I_3,a,I_5,b,I_7,I_8)$
Follow-up input: $(I_1,I_2,I_3,a-\gamma,I_5,b-\gamma,I_7,I_8)$
Follow-up output: $P(I_1,I_2,I_3,a-\gamma,I_5,b-\gamma,I_7,I_8)$
Input relation:
Output relation: $P(I_1,I_2,I_3,a,I_5,b,I_7,I_8)=P(I_1,I_2.I_3,a-\gamma,I_5,b-\gamma,I_7,I_8)$
Pattern:
Insert title here