unisat

AX.25 Verification Matrix

Auto-generated by scripts/gen_trace_matrix.py. Regenerate after adding or renaming tests.

REQ Test file Line Symbol
REQ-AX25-001 firmware/tests/test_ax25_frame.c 3 <file>
REQ-AX25-002 firmware/tests/test_ax25_address.c 3 <file>
REQ-AX25-006 firmware/stm32/Drivers/AX25/ax25.c 13 <file>
REQ-AX25-006 firmware/stm32/Drivers/AX25/ax25.h 14 <file>
REQ-AX25-007 firmware/tests/test_ax25_bitstuff.c 3 <file>
REQ-AX25-007 firmware/stm32/Drivers/AX25/ax25.h 27 <file>
REQ-AX25-012 firmware/stm32/Drivers/AX25/ax25.h 83 <file>
REQ-AX25-014 firmware/tests/test_ax25_decoder.c 123 test_push_byte_recovers_after_garbage
REQ-AX25-014 ground-station/tests/test_ax25.py 263 test_recovers_after_garbage
REQ-AX25-015 firmware/tests/test_ax25_golden.c 3 <file>
REQ-AX25-015 ground-station/tests/test_ax25.py 170 test_decode_rejects_bad_pid
REQ-AX25-016 firmware/tests/test_ax25_bitstuff.c 3 <file>
REQ-AX25-016 firmware/tests/test_ax25_bitstuff.c 36 test_stuff_no_ones_unchanged
REQ-AX25-016 ground-station/tests/test_ax25.py 48 test_across_byte_boundary
REQ-AX25-016 firmware/stm32/Drivers/AX25/ax25.h 27 <file>
REQ-AX25-017 firmware/tests/test_ax25_decoder.c 3 <file>
REQ-AX25-017 firmware/tests/test_ax25_decoder.c 28 test_init_zeros_state
REQ-AX25-017 firmware/stm32/Drivers/AX25/ax25_decoder.c 5 <file>
REQ-AX25-018 firmware/tests/test_ax25_frame.c 96 test_decode_rejects_bad_fcs
REQ-AX25-018 ground-station/tests/test_ax25.py 136 test_decode_rejects_digipeater_path
REQ-AX25-018 firmware/stm32/Drivers/AX25/ax25.c 195 <file>
REQ-AX25-018 firmware/stm32/Drivers/AX25/ax25.h 98 <file>
REQ-AX25-022 firmware/tests/test_ax25_fcs.c 3 <file>
REQ-AX25-022 firmware/tests/test_ax25_fcs.c 13 <file>
REQ-AX25-022 ground-station/tests/test_ax25.py 28 test_reference_vector_123456789
REQ-AX25-022 firmware/stm32/Drivers/AX25/ax25.c 13 <file>
REQ-AX25-022 firmware/stm32/Drivers/AX25/ax25.h 14 <file>
REQ-AX25-023 firmware/tests/test_ax25_decoder.c 55 test_push_byte_single_frame
REQ-AX25-023 firmware/tests/test_ax25_decoder.c 67 test_push_byte_idle_flags_ignored
REQ-AX25-023 firmware/stm32/Drivers/AX25/ax25_decoder.c 53 <file>
REQ-AX25-023 firmware/stm32/Drivers/AX25/ax25_decoder.c 94 <file>
REQ-AX25-024 firmware/tests/test_ax25_decoder.c 94 test_push_byte_back_to_back_frames
REQ-AX25-024 firmware/stm32/Drivers/AX25/ax25_decoder.c 117 <file>
REQ-AX25-024 firmware/stm32/Drivers/AX25/ax25_decoder.h 28 <file>

Unique requirements with coverage: 13 Total references: 34