Property Based Testing
插件 已验证 活跃Property-based testing guidance for multiple languages and smart contracts
To guide developers in leveraging property-based testing for more robust and comprehensive test coverage across different languages and smart contract frameworks.
功能
- Guidance on property-based testing patterns
- Support for multiple programming languages
- Coverage for smart contract testing frameworks
- Identification of suitable code constructs for PBT
- Recommendations for testing libraries and properties
使用场景
- Writing property-based tests for serialization and parsing logic
- Designing new features with testability in mind using PBT
- Reviewing code to identify areas that would benefit from PBT
- Improving test coverage for pure functions and data structures
非目标
- Automatically generating tests for all code
- Replacing example-based testing entirely
- Providing specific language runtimes or libraries
- Testing code with side effects that cannot be isolated
安装
请先添加 Marketplace
/plugin marketplace add trailofbits/skills/plugin install property-based-testing@trailofbits质量评分
已验证类似扩展
Entry Point Analyzer
96Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level, and generates structured audit reports.
Blockchain Web3
98Smart contract development with Solidity, DeFi protocol implementation, NFT platforms, and Web3 application architecture
Arm Cortex Microcontrollers
100ARM Cortex-M firmware development for Teensy, STM32, nRF52, and SAMD with peripheral drivers and memory safety patterns
Cypress
100创建、更新和修复 Cypress 测试。连接到 Cypress Cloud 以查看测试结果并利用数据来管理您的测试套件。
Debugging Code
98Interactively debug source code — set breakpoints, step through execution, inspect live variables, evaluate expressions, and trace root causes.
Ruflo Ruvector
98Self-learning vector database via npx ruvector@0.2.25 — HNSW, adaptive LoRA embeddings, code-graph clustering, hooks routing, brain/SONA, 103 MCP tools