Verifies: SYS-REQ-002 [fuzz] MCDC SYS-REQ-002: N/A Verifies: SYS-REQ-003 [fuzz] MCDC SYS-REQ-003: N/A Verifies: SYS-REQ-004 [fuzz] MCDC SYS-REQ-004: N/A Verifies: SYS-REQ-005 [fuzz] MCDC SYS-REQ-005: N/A Verifies: SYS-REQ-011 [fuzz] MCDC SYS-REQ-011: N/A Verifies: SYS-REQ-012 [fuzz] MCDC SYS-REQ-012
(t *testing.T)
| 437 | // Verifies: SYS-REQ-015 [fuzz] |
| 438 | // MCDC SYS-REQ-015: N/A |
| 439 | func TestAdditionalFuzzHarnessCoverage(t *testing.T) { |
| 440 | if got := FuzzParseInt([]byte(`12`)); got != 1 { |
| 441 | t.Fatalf("FuzzParseInt success path = %d, want 1", got) |
| 442 | } |
| 443 | if got := FuzzParseInt([]byte(`1.2`)); got != 0 { |
| 444 | t.Fatalf("FuzzParseInt failure path = %d, want 0", got) |
| 445 | } |
| 446 | |
| 447 | if got := FuzzParseBool([]byte(`true`)); got != 1 { |
| 448 | t.Fatalf("FuzzParseBool success path = %d, want 1", got) |
| 449 | } |
| 450 | if got := FuzzParseBool([]byte(`truthy`)); got != 0 { |
| 451 | t.Fatalf("FuzzParseBool failure path = %d, want 0", got) |
| 452 | } |
| 453 | |
| 454 | if got := FuzzGetString([]byte(`{"test":"value"}`)); got != 1 { |
| 455 | t.Fatalf("FuzzGetString success path = %d, want 1", got) |
| 456 | } |
| 457 | if got := FuzzGetString([]byte(`{"other":"value"}`)); got != 0 { |
| 458 | t.Fatalf("FuzzGetString failure path = %d, want 0", got) |
| 459 | } |
| 460 | |
| 461 | if got := FuzzGetFloat([]byte(`{"test":1.5}`)); got != 1 { |
| 462 | t.Fatalf("FuzzGetFloat success path = %d, want 1", got) |
| 463 | } |
| 464 | if got := FuzzGetFloat([]byte(`{"test":"value"}`)); got != 0 { |
| 465 | t.Fatalf("FuzzGetFloat failure path = %d, want 0", got) |
| 466 | } |
| 467 | |
| 468 | if got := FuzzGetInt([]byte(`{"test":2}`)); got != 1 { |
| 469 | t.Fatalf("FuzzGetInt success path = %d, want 1", got) |
| 470 | } |
| 471 | if got := FuzzGetInt([]byte(`{"test":2.5}`)); got != 0 { |
| 472 | t.Fatalf("FuzzGetInt failure path = %d, want 0", got) |
| 473 | } |
| 474 | |
| 475 | if got := FuzzGetBoolean([]byte(`{"test":true}`)); got != 1 { |
| 476 | t.Fatalf("FuzzGetBoolean success path = %d, want 1", got) |
| 477 | } |
| 478 | if got := FuzzGetBoolean([]byte(`{"test":1}`)); got != 0 { |
| 479 | t.Fatalf("FuzzGetBoolean failure path = %d, want 0", got) |
| 480 | } |
| 481 | |
| 482 | if got := FuzzGetUnsafeString([]byte(`{"test":"value"}`)); got != 1 { |
| 483 | t.Fatalf("FuzzGetUnsafeString success path = %d, want 1", got) |
| 484 | } |
| 485 | if got := FuzzGetUnsafeString([]byte(`{"other":"value"}`)); got != 0 { |
| 486 | t.Fatalf("FuzzGetUnsafeString failure path = %d, want 0", got) |
| 487 | } |
| 488 | } |
| 489 | |
| 490 | // ============================================================================= |
| 491 | // Code MC/DC gap closure tests |
nothing calls this directly
no test coverage detected