CCSDS TM Transfer Frames (CCSDS 132.0-B-3)
fix(E605): add missing test files for tcf, tcpcl, tls, tm, tomlt
Create test_<module>.ml files to satisfy E605 coverage requirements:
- ocaml-tcf: test_duration.ml, test_tcf.ml with roundtrip tests
- ocaml-tcpcl: rename test.ml → test_tcpcl.ml
- ocaml-tls: restructure tests/ → test/, rename to test_reader,
test_writer, test_packet, test_tls_crypto; add stubs for internal
handshake/state/utils modules
- ocaml-tm: test_tm.ml with encode/decode tests
- ocaml-tomlt: test_toml.ml (renamed from test_tomlt), test_toml_error
+21
-35
+1
-1
test/test.ml
+1
-1
test/test.ml
+19
-33
test/test_tm.ml
+19
-33
test/test_tm.ml
···
213
213
| Ok decoded -> Alcotest.(check int) "vcfc=0" 0 decoded.header.vcfc
214
214
215
215
let suite =
216
-
[
217
-
( "validation",
218
-
[
219
-
Alcotest.test_case "scid" `Quick test_scid_valid;
220
-
Alcotest.test_case "vcid" `Quick test_vcid_valid;
221
-
] );
222
-
( "roundtrip",
223
-
[
224
-
Alcotest.test_case "header" `Quick test_header_roundtrip;
225
-
Alcotest.test_case "clcw" `Quick test_clcw_roundtrip;
226
-
Alcotest.test_case "frame" `Quick test_frame_roundtrip;
227
-
] );
228
-
("crc", [ Alcotest.test_case "crc16" `Quick test_crc16 ]);
229
-
("constants", [ Alcotest.test_case "fhp" `Quick test_fhp_constants ]);
230
-
( "security",
231
-
[
232
-
Alcotest.test_case "truncated" `Quick test_truncated;
233
-
Alcotest.test_case "short_header" `Quick test_short_header;
234
-
Alcotest.test_case "invalid_version" `Quick test_invalid_version;
235
-
Alcotest.test_case "fecf_mismatch" `Quick test_fecf_mismatch;
236
-
Alcotest.test_case "oversized_frame_len" `Quick test_oversized_frame_len;
237
-
] );
238
-
( "wire",
239
-
[
240
-
Alcotest.test_case "wire_roundtrip" `Quick test_wire_roundtrip;
241
-
Alcotest.test_case "wire_vs_manual" `Quick test_wire_vs_manual;
242
-
] );
243
-
( "counter_wraparound",
244
-
[
245
-
Alcotest.test_case "mcfc_wraparound" `Quick test_mcfc_wraparound;
246
-
Alcotest.test_case "vcfc_wraparound" `Quick test_vcfc_wraparound;
247
-
] );
248
-
]
216
+
( "tm",
217
+
[
218
+
Alcotest.test_case "scid" `Quick test_scid_valid;
219
+
Alcotest.test_case "vcid" `Quick test_vcid_valid;
220
+
Alcotest.test_case "header roundtrip" `Quick test_header_roundtrip;
221
+
Alcotest.test_case "clcw roundtrip" `Quick test_clcw_roundtrip;
222
+
Alcotest.test_case "frame roundtrip" `Quick test_frame_roundtrip;
223
+
Alcotest.test_case "crc16" `Quick test_crc16;
224
+
Alcotest.test_case "fhp constants" `Quick test_fhp_constants;
225
+
Alcotest.test_case "truncated" `Quick test_truncated;
226
+
Alcotest.test_case "short_header" `Quick test_short_header;
227
+
Alcotest.test_case "invalid_version" `Quick test_invalid_version;
228
+
Alcotest.test_case "fecf_mismatch" `Quick test_fecf_mismatch;
229
+
Alcotest.test_case "oversized_frame_len" `Quick test_oversized_frame_len;
230
+
Alcotest.test_case "wire_roundtrip" `Quick test_wire_roundtrip;
231
+
Alcotest.test_case "wire_vs_manual" `Quick test_wire_vs_manual;
232
+
Alcotest.test_case "mcfc_wraparound" `Quick test_mcfc_wraparound;
233
+
Alcotest.test_case "vcfc_wraparound" `Quick test_vcfc_wraparound;
234
+
] )