X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=kconfig_hardened_check%2Ftest_engine.py;h=8ef0fa3fb505c16fd5db4386e5705233da097a7a;hb=7194de8dfe8b6232166eded1516eb7fdd21c14ed;hp=acb47b2544269bb20a36098b28ef7b8969df4279;hpb=2082a3b1d5ecb4ce4f2426e8b55251c6e04003cf;p=kconfig-hardened-check.git diff --git a/kconfig_hardened_check/test_engine.py b/kconfig_hardened_check/test_engine.py index acb47b2..8ef0fa3 100644 --- a/kconfig_hardened_check/test_engine.py +++ b/kconfig_hardened_check/test_engine.py @@ -17,7 +17,7 @@ import io import sys from collections import OrderedDict import json -from .engine import KconfigCheck, CmdlineCheck, VersionCheck, OR, AND, populate_with_data, perform_checks +from .engine import KconfigCheck, CmdlineCheck, VersionCheck, OR, AND, populate_with_data, perform_checks, override_expected_value class TestEngine(unittest.TestCase): @@ -98,7 +98,7 @@ class TestEngine(unittest.TestCase): sys.stdout = stdout_backup result.append(captured_output.getvalue()) - def test_single_kconfig(self): + def test_simple_kconfig(self): # 1. prepare the checklist config_checklist = [] config_checklist += [KconfigCheck('reason_1', 'decision_1', 'NAME_1', 'expected_1')] @@ -141,7 +141,7 @@ class TestEngine(unittest.TestCase): ["CONFIG_NAME_10", "kconfig", "is not off", "decision_10", "reason_10", "FAIL: is off, not found"]] ) - def test_single_cmdline(self): + def test_simple_cmdline(self): # 1. prepare the checklist config_checklist = [] config_checklist += [CmdlineCheck('reason_1', 'decision_1', 'name_1', 'expected_1')] @@ -184,7 +184,7 @@ class TestEngine(unittest.TestCase): ["name_10", "cmdline", "is not off", "decision_10", "reason_10", "FAIL: is off, not found"]] ) - def test_OR(self): + def test_complex_or(self): # 1. prepare the checklist config_checklist = [] config_checklist += [OR(KconfigCheck('reason_1', 'decision_1', 'NAME_1', 'expected_1'), @@ -227,7 +227,7 @@ class TestEngine(unittest.TestCase): ["CONFIG_NAME_10", "kconfig", "expected_10", "decision_10", "reason_10", "OK: CONFIG_NAME_11 is not off"]] ) - def test_AND(self): + def test_complex_and(self): # 1. prepare the checklist config_checklist = [] config_checklist += [AND(KconfigCheck('reason_1', 'decision_1', 'NAME_1', 'expected_1'), @@ -316,12 +316,13 @@ class TestEngine(unittest.TestCase): OR(KconfigCheck('reason_5', 'decision_5', 'NAME_5', 'expected_5'), CmdlineCheck('reason_6', 'decision_6', 'name_6', 'expected_6')))] - # 2. prepare the parsed kconfig options - parsed_kconfig_options = OrderedDict() - parsed_kconfig_options['CONFIG_NAME_5'] = 'expected_5' + # 2. prepare the parsed cmdline options + parsed_cmdline_options = OrderedDict() + parsed_cmdline_options['name_4'] = 'expected_4' + parsed_cmdline_options['name_6'] = 'UNexpected_6' # 3. run the engine - self.run_engine(config_checklist, parsed_kconfig_options, None, None) + self.run_engine(config_checklist, None, parsed_cmdline_options, None) # 4. check that the results are correct json_result = [] @@ -329,7 +330,7 @@ class TestEngine(unittest.TestCase): self.assertEqual( json_result, [["CONFIG_NAME_1", "kconfig", "expected_1", "decision_1", "reason_1", "FAIL: is not found"], - ["name_4", "cmdline", "expected_4", "decision_4", "reason_4", "FAIL: is not found"]] + ["name_4", "cmdline", "expected_4", "decision_4", "reason_4", "FAIL: CONFIG_NAME_5 is not \"expected_5\""]] ) stdout_result = [] @@ -339,7 +340,7 @@ class TestEngine(unittest.TestCase): [ "\ CONFIG_NAME_1 |kconfig| expected_1 |decision_1| reason_1 | FAIL: is not found\ -name_4 |cmdline| expected_4 |decision_4| reason_4 | FAIL: is not found\ +name_4 |cmdline| expected_4 |decision_4| reason_4 | FAIL: CONFIG_NAME_5 is not \"expected_5\"\ " ] ) @@ -356,10 +357,62 @@ name_2 |cmdline| expected_2 |decision_2| re CONFIG_NAME_3 |kconfig| expected_3 |decision_3| reason_3 | FAIL: is not found\ "\ "\ - <<< AND >>> | FAIL: is not found\n\ -name_4 |cmdline| expected_4 |decision_4| reason_4 | FAIL: is not found\n\ - <<< OR >>> | OK\n\ -CONFIG_NAME_5 |kconfig| expected_5 |decision_5| reason_5 | OK\n\ -name_6 |cmdline| expected_6 |decision_6| reason_6 | None\ + <<< AND >>> | FAIL: CONFIG_NAME_5 is not \"expected_5\"\n\ +name_4 |cmdline| expected_4 |decision_4| reason_4 | None\n\ + <<< OR >>> | FAIL: is not found\n\ +CONFIG_NAME_5 |kconfig| expected_5 |decision_5| reason_5 | FAIL: is not found\n\ +name_6 |cmdline| expected_6 |decision_6| reason_6 | FAIL: \"UNexpected_6\"\ " ] ) + + def test_value_overriding(self): + # 1. prepare the checklist + config_checklist = [] + config_checklist += [KconfigCheck('reason_1', 'decision_1', 'NAME_1', 'expected_1')] + config_checklist += [CmdlineCheck('reason_2', 'decision_2', 'name_2', 'expected_2')] + + # 2. prepare the parsed kconfig options + parsed_kconfig_options = OrderedDict() + parsed_kconfig_options['CONFIG_NAME_1'] = 'expected_1_new' + + # 3. prepare the parsed cmdline options + parsed_cmdline_options = OrderedDict() + parsed_cmdline_options['name_2'] = 'expected_2_new' + + # 4. run the engine + self.run_engine(config_checklist, parsed_kconfig_options, parsed_cmdline_options, None) + + # 5. check that the results are correct + result = [] + self.get_engine_result(config_checklist, result, 'json') + self.assertEqual( + result, + [["CONFIG_NAME_1", "kconfig", "expected_1", "decision_1", "reason_1", "FAIL: \"expected_1_new\""], + ["name_2", "cmdline", "expected_2", "decision_2", "reason_2", "FAIL: \"expected_2_new\""]] + ) + + # 6. override expected value and perform the checks again + override_expected_value(config_checklist, "CONFIG_NAME_1", "expected_1_new") + perform_checks(config_checklist) + + # 7. check that the results are correct + result = [] + self.get_engine_result(config_checklist, result, 'json') + self.assertEqual( + result, + [["CONFIG_NAME_1", "kconfig", "expected_1_new", "decision_1", "reason_1", "OK"], + ["name_2", "cmdline", "expected_2", "decision_2", "reason_2", "FAIL: \"expected_2_new\""]] + ) + + # 8. override expected value and perform the checks again + override_expected_value(config_checklist, "name_2", "expected_2_new") + perform_checks(config_checklist) + + # 9. check that the results are correct + result = [] + self.get_engine_result(config_checklist, result, 'json') + self.assertEqual( + result, + [["CONFIG_NAME_1", "kconfig", "expected_1_new", "decision_1", "reason_1", "OK"], + ["name_2", "cmdline", "expected_2_new", "decision_2", "reason_2", "OK"]] + )