Add Property Based Testing
Implement property-based testing with framework selection and invariant identification
npx claude-code-templates@latest --command testing/add-property-based-testing Scanned by NVIDIA SkillSpector
Automated static analysis (no LLM) · v2.12.0 · 2026-10-23
Partial analysis: some checks could not run on this component.
SkillSpector looks for patterns such as shell commands, credential access, network calls or unpinned dependencies. An observation is something worth reading in the files before you install, not a confirmed vulnerability. Components that run code locally, like hooks, MCP servers and security tooling, naturally show more of them.
No observations.
Learn more about NVIDIA SkillSpector.
Content
Add Property-Based Testing
Implement property-based testing framework with invariant analysis and test generation: $ARGUMENTS
Current Testing Context
- Language: !
find . -name "*.js" -o -name "*.ts" | head -1 >/dev/null && echo "JavaScript/TypeScript" || find . -name "*.py" | head -1 >/dev/null && echo "Python" || echo "Multi-language" - Test framework: !
find . -name "jest.config.*" -o -name "pytest.ini" | head -1 || echo "Detect framework" - Mathematical functions: Analysis of codebase for property-testable functions
- Business logic: Identification of invariants and properties in domain logic
Task
Implement comprehensive property-based testing with invariant analysis and automated test generation:
Language Focus: Use $ARGUMENTS to specify JavaScript, Python, Java, Haskell, Rust, Clojure, or auto-detect from codebase
Property-Based Testing Framework:
- Framework Selection - Choose appropriate tool (fast-check, Hypothesis, QuickCheck, proptest), install dependencies, configure integration
- Property Identification - Analyze mathematical properties, identify business invariants, discover symmetries, evaluate round-trip properties
- Generator Design - Create custom data generators, implement constraint-based generation, design composite generators, optimize generation strategies
- Property Implementation - Write property tests, implement preconditions, design postconditions, create invariant checks
- Shrinking Configuration - Configure test case shrinking, optimize failure minimization, implement custom shrinkers, enhance debugging
- Integration & Reporting - Integrate with existing test suite, configure reporting, setup CI integration, optimize execution performance
Advanced Features: Stateful property testing, model-based testing, custom generators, parallel property execution, performance property testing.
Quality Assurance: Property completeness analysis, edge case coverage, performance optimization, maintainability assessment.
Output: Complete property-based testing setup with identified properties, custom generators, integrated test suite, and performance optimization.