From ea227d5d888542ebd7c6e7d504a1ddf1a534761a Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <hildenb2@illinois.edu>
Date: Tue, 29 May 2018 09:46:00 -0600
Subject: test.py: add schema validator, individual files or all files

---
 test.py | 46 +++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 45 insertions(+), 1 deletion(-)

diff --git a/test.py b/test.py
index 04c100542..bb9e345d4 100755
--- a/test.py
+++ b/test.py
@@ -14,6 +14,12 @@
 # Current goals:
 #
 # - Generate GeneralStateTests from VMTests.
+# - Validate test inputs with JSON Schemas.
+
+# Dependencies:
+#
+# - python-json
+# - python-jsonschema
 
 # Input:
 #
@@ -28,6 +34,7 @@
 import sys
 import os
 import json
+import jsonschema
 
 def _report(*msg):
     print("== " + sys.argv[0] + ":", *msg, file=sys.stderr)
@@ -50,11 +57,42 @@ def writeJSONFile(fname, fcontents):
     with open(fname, "w") as f:
         f.write(json.dumps(fcontents, indent=4, sort_keys=True))
 
+def findTests(testDir="."):
+    return [ os.path.join(root, file) for root, _, files in os.walk(testDir)
+                                      for file in files
+                                       if file.endswith(".json")
+           ]
+
+def validateSchema(jsonFile, schemaFile):
+    _report("validating", jsonFile, "with", schemaFile)
+    testSchema = readJSONFile(schemaFile)
+    jsonInput = readJSONFile(jsonFile)
+    jsonschema.validate(jsonInput, testSchema)
+
+def validateTestFile(jsonFile):
+    if jsonFile.startswith("src/GeneralStateTestsFiller/"):
+        validateSchema(jsonFile, "JSONSchema/st-filler-schema.json")
+    elif jsonFile.startswith("GeneralStateTests/"):
+        validateSchema(jsonFile, "JSONSchema/st-schema.json")
+    elif jsonFile.startswith("BlockchainTests/"):
+        validateSchema(jsonFile, "JSONSchema/bc-schema.json")
+    else:
+        _die("Do not know how to validate file:", jsonFile)
+
+def validateAllTests():
+    for jsonFile in ( findTests(testDir="src/GeneralStateTestsFiller/")
+                    + findTests(testDir="GeneralStateTests/")
+                    + findTests(testDir="BlockchainTests/")
+                    ):
+        validateTestFile(jsonFile)
+
 def _usage():
     usage_lines = [ ""
-                  , "    usage: " + sys.argv[0] + " format <TEST_FILE>"
+                  , "    usage: " + sys.argv[0] + " format   <TEST_FILE>"
+                  , "    usage: " + sys.argv[0] + " validate [<TEST_FILE>*]"
                   , "    where:"
                   , "            format:      command to format/sort the JSON file."
+                  , "            validate:    command to check a file against the associated JSON schema (defaults to all files)."
                   , "            <TEST_FILE>: JSON test file/filler to read and write with sorted keys/standard formatting."
                   ]
     _die("\n".join(usage_lines))
@@ -66,6 +104,12 @@ def main():
     if test_command == "format":
         file_name = sys.argv[2]
         writeJSONFile(file_name, readJSONFile(file_name))
+    elif test_command == "validate":
+        if len(sys.argv) > 2:
+            for testFile in sys.argv[2:]:
+                validateTestFile(testFile)
+        else:
+            validateAllTests()
     else:
         _usage()
 
-- 
cgit v1.2.3