Zum Hauptinhalt springen
Dieser Inhalt ist noch nicht in Ihrer Sprache verfügbar und wird auf Englisch angezeigt.

Property Based Testing

Plugin Verifiziert Aktiv
Teil von:Trailofbits

Property-based testing guidance for multiple languages and smart contracts

1 Skill 0 MCPs
Zweck

To guide developers in leveraging property-based testing for more robust and comprehensive test coverage across different languages and smart contract frameworks.

Funktionen

  • 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

Anwendungsfälle

  • 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

Nicht-Ziele

  • 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

Installation

Zuerst Marketplace hinzufügen

/plugin marketplace add trailofbits/skills
/plugin install property-based-testing@trailofbits

Enthält 1 Erweiterungen

Skill (1)

Property Based Testing Skill Skill

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.

99

Qualitätspunktzahl

Verifiziert
97 /100
Analysiert about 16 hours ago

Vertrauenssignale

Letzter Commit3 days ago
GitHub-Inhaber trailofbits (opens in new tab)
Sterne5.2k
LizenzCC-BY-SA-4.0
Status
Quellcode ansehen

Ähnliche Erweiterungen

Entry Point Analyzer

96

Analyzes 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.

Plugin
trailofbits

Blockchain Web3

98

Smart contract development with Solidity, DeFi protocol implementation, NFT platforms, and Web3 application architecture

Plugin
wshobson

Arm Cortex Microcontrollers

100

ARM Cortex-M firmware development for Teensy, STM32, nRF52, and SAMD with peripheral drivers and memory safety patterns

Plugin
wshobson

Cypress

100

Erstellen, aktualisieren und beheben Sie Cypress-Tests. Verbinden Sie sich mit Cypress Cloud, um Testergebnisse anzuzeigen und Daten zur Verwaltung Ihrer Testsuite zu verwenden.

Plugin
cypress-io

Debugging Code

98

Interaktives Debuggen von Quellcode – setzen Sie Haltepunkte, durchlaufen Sie die Ausführung, inspizieren Sie Live-Variablen, werten Sie Ausdrücke aus und verfolgen Sie die Ursachen.

Plugin
AlmogBaku

Ruflo Ruvector

98

Self-learning vector database via npx ruvector@0.2.25 — HNSW, adaptive LoRA embeddings, code-graph clustering, hooks routing, brain/SONA, 103 MCP tools

Plugin
ruvnet