Add test: whitebox_fuzzing

Author: classiqdor

applications/cybersecurity/whitebox_fuzzing/whitebox_fuzzing.ipynb

@@ -311,8 +311,9 @@
     "    my_oracle(predicate=lambda q: my_predicate(x, y, q))\n",
     "\n",
     "\n",
+    "MAX_WIDTH_ORACLE = 25\n",
     "qmod_oracle = create_model(main)\n",
-    "qmod_oracle = set_constraints(qmod_oracle, max_width=25)\n",
+    "qmod_oracle = set_constraints(qmod_oracle, max_width=MAX_WIDTH_ORACLE)\n",
     "qprog_oracle = synthesize(qmod_oracle)\n",
     "show(qprog_oracle)"
    ]
@@ -527,7 +528,8 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "qmod_grover = set_constraints(qmod_grover, max_width=25)\n",
+    "MAX_WIDTH_GROVER = 25\n",
+    "qmod_grover = set_constraints(qmod_grover, max_width=MAX_WIDTH_GROVER)\n",
     "write_qmod(qmod_grover, \"whitebox_fuzzing\")"
    ]
   },

tests/notebooks/test_whitebox_fuzzing.py

@@ -0,0 +1,27 @@
+from tests.utils_for_testbook import (
+    validate_quantum_program_size,
+    validate_quantum_model,
+    wrap_testbook,
+)
+from testbook.client import TestbookNotebookClient
+
+
+@wrap_testbook("whitebox_fuzzing", timeout_seconds=720)
+def test_notebook(tb: TestbookNotebookClient) -> None:
+    # test models
+    validate_quantum_model(tb.ref("qmod_oracle"))
+    validate_quantum_model(tb.ref("qmod_grover"))
+    # test quantum programs
+    validate_quantum_program_size(
+        tb.ref("qprog_oracle"),
+        expected_width=tb.ref("MAX_WIDTH_ORACLE"),
+        expected_depth=700,  # actual depth: 626
+    )
+    validate_quantum_program_size(
+        tb.ref("qprog_grover"),
+        expected_width=tb.ref("MAX_WIDTH_GROVER"),
+        expected_depth=4500,  # actual depth: 4044
+    )
+
+    # test notebook content
+    pass  # Todo