policy_parser_stress_test

Comprehensive stress test for the ABE policy parser.

This script tests the PolicyParser and MSP classes for expressiveness, correctness, and robustness. It can be run independently to verify the policy parser functionality.

Usage:

python -m charm.test.toolbox.policy_parser_stress_test

# Or with pytest: pytest charm/test/toolbox/policy_parser_stress_test.py -v

class policy_parser_stress_test.NumericAttributeEdgeCaseTest(methodName='runTest')

Bases: TestCase

Tests for edge cases in numeric attribute handling.

setUp()

Hook method for setting up the test fixture before exercising it.

test_attr_name_all_caps()

Test attribute name in all caps.

test_attr_name_mixed_case()

Test attribute name in mixed case.

test_attribute_name_with_encoding_pattern()

Test that attribute names with #b# pattern are rejected.

test_attribute_name_with_partial_pattern()

Test attribute names with partial encoding pattern.

test_bit_overflow_error_in_int_to_bits()

Test that int_to_bits raises BitOverflowError on overflow.

test_bit_overflow_in_expand()

Test that values exceeding bit width raise BitOverflowError.

test_bit_overflow_in_user_attributes()

Test that user_attributes raises error for overflow values.

test_boundary_value_at_max()

Test value exactly at maximum (255 for 8-bit).

test_boundary_value_just_over_max()

Test value just over maximum.

test_empty_policy()

Test that empty policy returns empty string.

test_equal_zero()

Test attr == 0 correctly encodes all zeros.

test_excessive_bit_width()

Test that num_bits > 64 raises InvalidBitWidthError.

test_extra_spaces_around_operator()

Test numeric comparison with extra spaces.

test_greater_equal_zero_is_tautology()

Test attr >= 0 returns None (always true for non-negative).

test_greater_than_zero()

Test attr > 0 works correctly.

test_helper_max_value_property()

Test that NumericAttributeHelper exposes max_value correctly.

test_invalid_operator_exclamation_equal()

Test that != operator is rejected.

test_invalid_operator_not_equal_diamond()

Test that <> operator is rejected.

test_invalid_operator_tilde()

Test that arbitrary operators are rejected.

test_less_than_zero_is_contradiction()

Test attr < 0 handling.

test_mixed_spacing()

Test numeric comparison with mixed spacing.

test_multiple_parentheses()

Test policy with multiple levels of parentheses.

test_negative_bit_width()

Test that negative num_bits raises InvalidBitWidthError.

test_negative_value_in_expand()

Test that negative values raise ValueError.

test_negative_value_in_user_attributes()

Test that user_attributes raises error for negative values.

test_negative_value_message()

Test that error message mentions negative values.

test_no_spaces_around_operator()

Test numeric comparison without spaces.

test_non_integer_bit_width()

Test that non-integer num_bits raises InvalidBitWidthError.

test_non_strict_mode_continues_on_error()

Test that non-strict mode leaves problematic expression unchanged.

test_none_policy()

Test that None policy raises ValueError.

test_policy_without_numeric()

Test that policy without numeric comparisons is unchanged.

test_strict_helper_raises_on_overflow()

Test that helper in strict mode raises exceptions.

test_strict_mode_raises_on_overflow()

Test that strict mode raises exceptions.

test_string_bit_width()

Test that string num_bits raises InvalidBitWidthError.

test_valid_attribute_names()

Test that normal attribute names are accepted.

test_valid_operators_all_work()

Test that all supported operators work.

test_whitespace_only_policy()

Test that whitespace-only policy returns empty string.

test_zero_bit_width()

Test that num_bits=0 raises InvalidBitWidthError.

class policy_parser_stress_test.NumericAttributeTest(methodName='runTest')

Bases: TestCase

Tests for numeric attribute support using bag of bits encoding.

classmethod setUpClass()

Hook method for setting up class fixture before running tests in the class.

test_bit_encoding_correctness()

Test that bit encoding is correct for various values.

test_boundary_values()

Test boundary conditions for numeric comparisons.

test_compound_numeric_policy()

Test combined numeric comparisons.

test_equality()

Test attr == value comparison.

test_greater_than()

Test attr > value comparison.

test_greater_than_or_equal()

Test attr >= value comparison.

test_less_than()

Test attr < value comparison.

test_less_than_or_equal()

Test attr <= value comparison.

test_mixed_numeric_and_string_policy()

Test policies mixing numeric comparisons and string attributes.

test_zero_comparisons()

Test comparisons with zero.

class policy_parser_stress_test.NumericNegationTest(methodName='runTest')

Bases: TestCase

Tests for negation of numeric comparisons.

setUp()

Hook method for setting up the test fixture before exercising it.

test_helper_expand_negated_policy_equality()

Test expand_negated_policy for equality.

test_helper_expand_negated_policy_simple()

Test expand_negated_policy for simple operators.

test_helper_negate_comparison()

Test NumericAttributeHelper.negate_comparison method.

test_negate_at_max()

Test negation at max value boundary.

test_negate_at_zero()

Test negation at zero boundary.

test_negate_equality()

Test NOT (age == 21) becomes (age < 21) OR (age > 21).

test_negate_greater_equal()

Test NOT (age >= 21) becomes age < 21.

test_negate_greater_than()

Test NOT (age > 21) becomes age <= 21.

test_negate_invalid_operator()

Test that negating invalid operators raises error.

test_negate_less_equal()

Test NOT (age <= 21) becomes age > 21.

test_negate_less_than()

Test NOT (age < 21) becomes age >= 21.

test_negate_to_policy_equality()

Test negate_comparison_to_policy for equality.

test_negate_to_policy_simple()

Test negate_comparison_to_policy for simple operators.

test_negated_equality_satisfaction()

Test that negated equality works correctly end-to-end.

test_negated_policy_satisfaction()

Test that negated policies work correctly end-to-end.

class policy_parser_stress_test.PolicyParserEdgeCaseTest(methodName='runTest')

Bases: TestCase

Edge case tests for the policy parser.

classmethod setUpClass()

Hook method for setting up class fixture before running tests in the class.

test_case_insensitive_operators()

Test that AND/OR operators are case-insensitive.

test_parentheses_variations()

Test various parentheses patterns.

test_whitespace_handling()

Test handling of extra whitespace.

class policy_parser_stress_test.PolicyParserStressTest(methodName='runTest')

Bases: TestCase

Comprehensive stress tests for the ABE policy parser.

classmethod setUpClass()

Hook method for setting up class fixture before running tests in the class.

test_attribute_with_index()

Test attributes with numeric index suffix (used for duplicates).

test_balanced_tree()

Test balanced binary tree structure.

test_basic_and()

Test basic AND operations.

test_basic_or()

Test basic OR operations.

test_deep_nesting()

Test deeply nested expressions (20 levels).

test_duplicate_attributes()

Test handling of duplicate attributes.

test_duplicate_labeling()

Test that duplicate attributes get unique labels.

test_many_attributes()

Test policy with 100 attributes.

test_msp_coefficient_recovery()

Test coefficient recovery from MSP.

test_msp_complex_policy()

Test MSP conversion for complex policy.

test_msp_conversion_performance()

Test MSP conversion performance.

test_msp_simple_and()

Test MSP conversion for AND policy.

test_msp_simple_or()

Test MSP conversion for OR policy.

test_negated_attributes()

Test negated attribute parsing.

test_nested_expressions()

Test nested policy expressions.

test_parsing_performance()

Test parsing performance with 1000 iterations.

test_prune_and_policy()

Test policy satisfaction for AND policies.

test_prune_complex_policy()

Test policy satisfaction for complex policies.

test_prune_or_policy()

Test policy satisfaction for OR policies.

test_random_policies()

Generate and parse 100 random valid policies.

test_single_attribute()

Test parsing single attributes.

test_special_characters_in_attributes()

Test attributes with special characters.

test_underscore_limitation()

Test that underscore + non-digits fails (known limitation).

test_wide_or_tree()

Test wide OR tree with 50 branches.

policy_parser_stress_test.run_stress_test()

Run the stress test suite and print results.