boofun.testing

Testing utilities and validation tools for BooFun library.

This module provides comprehensive testing tools for Boolean function analysis, including property validation, representation consistency checks, and performance testing.

Functions

quick_validate(function[, verbose])	Quick validation of a Boolean function.
validate_representation(representation[, n_vars])	Quick validation of a representation implementation.

Classes

BooleanFunctionValidator(function[, verbose])	Comprehensive validator for Boolean function implementations.
PerformanceProfiler()	Performance profiler for Boolean function operations.
PropertyTestSuite()	Comprehensive test suite for Boolean function properties.
RepresentationTester(representation)	Specialized tester for Boolean function representations.

class boofun.testing.BooleanFunctionValidator(function: BooleanFunction, verbose: bool = False)

Comprehensive validator for Boolean function implementations.

Validates correctness, consistency, and performance of Boolean functions across different representations and operations.

__init__(function: BooleanFunction, verbose: bool = False)

Initialize validator.

Parameters:

• function – Boolean function to validate

• verbose – Whether to print detailed validation messages

validate_all() → Dict[str, Any]

Run comprehensive validation suite.

Returns:

Dictionary with validation results

validate_basic_properties() → Dict[str, Any]

Validate basic Boolean function properties.

validate_representation_consistency() → Dict[str, Any]

Validate consistency across different representations.

validate_evaluation_correctness() → Dict[str, Any]

Validate evaluation correctness.

validate_space_handling() → Dict[str, Any]

Validate space conversion and handling.

validate_edge_cases() → Dict[str, Any]

Validate handling of edge cases.

print_validation_report() → None

Print detailed validation report.

class boofun.testing.RepresentationTester(representation: BooleanFunctionRepresentation)

Specialized tester for Boolean function representations.

Tests individual representations for correctness, performance, and compliance with the representation interface.

__init__(representation: BooleanFunctionRepresentation)

Initialize representation tester.

Parameters:

representation – Representation to test

test_interface_compliance(n_vars: int = 3) → Dict[str, Any]

Test that representation implements required interface methods.

test_create_empty(n_vars: int = 3) → Dict[str, Any]

Test create_empty method.

test_storage_requirements(n_vars_range: List[int] = [1, 2, 3, 4]) → Dict[str, Any]

Test storage requirements computation.

class boofun.testing.PropertyTestSuite

Comprehensive test suite for Boolean function properties.

Tests various mathematical properties and their detection algorithms.

__init__()

Initialize property test suite.

test_known_functions() → Dict[str, Any]

Test property detection on functions with known properties.

class boofun.testing.PerformanceProfiler

Performance profiler for Boolean function operations.

Measures timing and memory usage of various operations.

__init__()

Initialize performance profiler.

profile_evaluation(function: BooleanFunction, n_trials: int = 1000) → Dict[str, Any]

Profile evaluation performance.

boofun.testing.quick_validate(function: BooleanFunction, verbose: bool = False) → bool

Quick validation of a Boolean function.

Parameters:

• function – Function to validate

• verbose – Whether to print detailed results

Returns:

True if validation passed, False otherwise

boofun.testing.validate_representation(representation: BooleanFunctionRepresentation, n_vars: int = 3) → Dict[str, Any]

Quick validation of a representation implementation.

This is a utility function for validating representation implementations, not a pytest test.

Parameters:

• representation – Representation to validate

• n_vars – Number of variables for testing

Returns:

Validation results dictionary