Search Gradle plugins

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

• #verification
• #testing
• #model-checking
• #formal-methods
• #jbmc
• #bmc

Runs STIG checks on STIG models inside Gradle builds.

• #safety
• #cybersecurity
• #automotive
• #mbd
• #quality

This plugin simplifies the process of collecting JUnit XML test reports and publishing them to a Fern test reporting service. It parses JUnit XML reports, converts them to Fern's data model, and sends them to your Fern instance through its API. To learn more about Fern, check out its repository: https://github.com/guidewire-oss/fern-reporter

• #testing
• #testing-tools
• #reporter
• #fern
• #test-reporter

Asyncwright brings contract-first AsyncAPI validation and model-based generation to Gradle builds and CI. It validates a defined subset of AsyncAPI 3.0.0 YAML and JSON documents, resolves local JSON Pointer references, and produces JSON and text diagnostic reports. A Groovy/Kotlin DSL configures specifications and project rules; validation integrates with the check task so contract errors fail the build. The Java extension API lets teams supply custom validation rules and generators that work with a typed model. Generation runs through explicitly invoked tasks using user-supplied generators. Validation and generation tasks support the Gradle build cache and configuration cache, and run in classloader-isolated Gradle workers without requiring Node.js. Custom extensions must declare their inputs and produce deterministic outputs for correct caching. The supported subset excludes external references, traits, YAML aliases and non-default schema formats. See the project documentation for setup, examples and the full validation scope.

• #asyncapi
• #validation
• #code-generation
• #java