=========================================================== Test Req: 4.1 Test Case 4.1.1 Test Description Checking EMPTY initialization Function: Empty Call: Empty Pre-action: - Expected Out: Empty= TRUE Real Out: Empty = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.1 Test Case 4.2.1.1 Test Description Test function Set_CRC when each field of the record is equal to 0 Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.CRC = 00000000 00000000 11111111 11111111 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = TRUE Real Out: Field A:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Field B:Levelling Bytes: 00000000 Our Bytes: 00000000 Field S:Levelling Bytes: Our Bytes: 00000000 00000000 Field C:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Field D:Levelling Bytes: 00000000 Our Bytes: 00000000 Field E:Levelling Bytes: Our Bytes: 00000000 00000000 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11111111 11111111 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Empty = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.1 Test Case 4.2.1.2 Test Description Test function Set_CRC when each field of the record is equal to 1 Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.B = 11111111 Rec.S = 11111111 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 11111111 Rec.E = 11111111 11111111 Rec.F[i] = 11111111 11111111 11111111 11111111 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.B = 11111111 Rec.S = 11111111 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 11111111 Rec.E = 11111111 11111111 Rec.CRC = 00000000 00000000 11110111 01000010 Rec.F[i] = 11111111 11111111 11111111 11111111 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field B:Levelling Bytes: 00000000 Our Bytes: 11111111 Field S:Levelling Bytes: Our Bytes: 11111111 11111111 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 11111111 Field E:Levelling Bytes: Our Bytes: 11111111 11111111 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11110111 01000010 Field F:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.1 Test Case 4.2.1.3 Test Description Test function Set_CRC when fields of the record are different Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 00000000 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.2 Test Case 4.2.2.1 Test Description Check that CRC doesn't depend on the primary value of the field Rec.CRC Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 11111111 11111111 11111111 11111111 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 00000000 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.2 Test Case 4.2.2.2 Test Description Check that CRC doesn't depend on the primary value of the field Rec.CRC Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 10101010 10101010 10101010 10101010 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 00000000 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.3 Test Case 4.2.3.1 Test Description Check that CRC doesn't depend on the value of the levelling bytes Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B: Levelling Bytes: 11111111; Our Bytes: 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B: Levelling Bytes: 11111111; Our Bytes: 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 11111111 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.3 Test Case 4.2.3.2 Test Description Check that CRC doesn't depend on the value of the levelling bytes Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes: 10101010; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes: 10101010; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 11111111 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 10101010 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.4 Test Case 4.2.4.1 Test Description Check setting of Empty depending on the fields of the record(fields are equal to 0) Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Empty = TRUE Real Out: Empty = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.2.4 Test Case 4.2.4.2 Test Description Check setting of Empty depending on the fields of the record(fields are different) Function: Set_CRC(VAR Rec: Message) Call: Set_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes: 10101010; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Empty = FALSE Real Out: Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.3.1; 4.3.2 Test Case 4.3.1.1; 4.3.2.1 Test Description Test function Check_CRC and returned value if each field of the record is equal to 0 Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.CRC = 00000000 00000000 00000000 00000000 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.CRC = 00000000 00000000 00000000 00000000 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = TRUE Check_CRC = FALSE Real Out: Field A:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Field B:Levelling Bytes: 00000000 Our Bytes: 00000000 Field S:Levelling Bytes: Our Bytes: 00000000 00000000 Field C:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Field D:Levelling Bytes: 00000000 Our Bytes: 00000000 Field E:Levelling Bytes: Our Bytes: 00000000 00000000 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 Empty = TRUE Check_CRC =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 2237 63751 452 =========================================================== Test Req: 4.3.1; 4.3.2 Test Case 4.3.1.2; 4.3.2.2 Test Description Test function Check_CRC and returned value if each field of the record is equal to 1 Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.B = 11111111 Rec.S = 11111111 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 11111111 Rec.E = 11111111 11111111 Rec.CRC = 00000000 00000000 11111001 00000111 Rec.F[i] = 11111111 11111111 11111111 11111111 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.B = 11111111 Rec.S = 11111111 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 11111111 Rec.E = 11111111 11111111 Rec.CRC = 00000000 00000000 11111001 00000111 Rec.F[i] = 11111111 11111111 11111111 11111111 Empty = FALSE Check_CRC = TRUE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field B:Levelling Bytes: 00000000 Our Bytes: 11111111 Field S:Levelling Bytes: Our Bytes: 11111111 11111111 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 11111111 Field E:Levelling Bytes: Our Bytes: 11111111 11111111 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11111001 00000111 Field F:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Empty =FALSE Check_CRC =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 4543 60992 65535 =========================================================== Test Req: 4.3.1; 4.3.2 Test Case 4.3.1.3; 4.3.2.3 Test Description Test function Check_CRC and returned value if fields of the record are different Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Check_CRC = TRUE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 00000000 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE Check_CRC = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 4543 60992 65535 =========================================================== Test Req: 4.3.3 Test Case 4.3.3.1 Test Description Test that work of Check_CRC doesn't depend on levelling bytes Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B: Levelling Bytes:11111111; Our Bytes: 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B: Levelling Bytes:11111111; Our Bytes: 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D = 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Check_CRC = TRUE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 11111111 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00000000 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE Check_CRC = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 4543 60992 65535 =========================================================== Test Req: 4.3.3 Test Case 4.3.3.2 Test Description Test that work of Check_CRC doesn't depend on levelling bytes Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes:00001111; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes:00001111; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 11101110 01000000 Rec.F[1] = 00000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Empty = FALSE Check_CRC = TRUE Real Out: Field A:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 00001000 Field B:Levelling Bytes: 11111111 Our Bytes: 01100001 Field S:Levelling Bytes: Our Bytes: 00000110 00001001 Field C:Levelling Bytes: Our Bytes: 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 11111111 Field D:Levelling Bytes: 00001111 Our Bytes: 00000001 Field E:Levelling Bytes: Our Bytes: 00000111 00001010 Field CRC:Levelling Bytes: Our Bytes: 00000000 00000000 11101110 01000000 Field F:Levelling Bytes: Our Bytes: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 10101010 00000000 11001100 Empty =FALSE Check_CRC = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Test Req: 4.3.4 Test Case 4.3.4.1 Test Description Check setting of Empty depending on the fields of Rec(Fields are equal to 0) Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.CRC = 00000000 00000000 00000000 00000000 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Empty = TRUE Real Out: Empty = TRUE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 0 1 1 =========================================================== Test Req: 4.3.4 Test Case 4.3.4.2 Test Description Check setting of Empty depending on the fields of Rec(Fields are equal to 0 except CRC) Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 00000000 00000000 00000000 00000000 Rec.B = 00000000 Rec.S = 00000000 00000000 Rec.C[i] = 00000000 00000000 Rec.D = FALSE Rec.E = 00000000 00000000 Rec.CRC = 00000000 00000000 00000000 00000001 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Empty = FALSE Real Out: Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== 4543 0 4543 =========================================================== Test Req: 4.3.4 Test Case 4.3.4.3 Test Description Check setting of Empty depending on the fields of the record(Fields are different) Function: Check_CRC(VAR Rec: Message) Call: Check_CRC(Rec) Pre-action: Empty = TRUE In: Rec.A[i] = 11111111 11111111 11111111 11111111 Rec.A[1] = 11111111 11111111 11111111 00001000 Rec.B = 01100001 Rec.S = 00000110 00001001 Rec.C[i] = 11111111 11111111 11111111 11111111 Rec.D: Levelling Bytes: 10101010; Our Bytes: 00000001 Rec.E = 00000111 00001010 Rec.CRC = 00000000 00000000 00000000 00000000 Rec.F[1] = 0000000 10101010 00000000 11001100 Rec.F[i] = 00000000 00000000 00000000 00000000 Expected Out: Empty = FALSE Real Out: Empty =FALSE >>>>>>>>>> TEST RESULT: TRUE =========================================================== =========================================================== Overall Statistics Total tests: 18 Tests passed: 18 Tests failed: 0 Overall test result: PASSED +)