Menu
At a glance
What COVE is
-
Air-gapped -
Requirements conscious -
Generative MC/DC unit tests -
Deep integration into SM tool -
Fast generation -
Low cognitive load -
Gap analysis -
On-site, locally administered
On-premise
It runs in your facility
COVE is a physical appliance, not a service. It is delivered, installed and administered on site.
Our hardware appliance, installed in your facility You control access Air-gapped — no network egress, no cloud operations All processing occurs in our local AI cluster No AI cloud token fees — processing runs on the appliance
Workflow
How a run works
- Requirements conscious
- Design meta data
- User code assist
- MC/DC unit test generation
- In-line pipeline flow
- Test results, analysis and reports
Determinism
The MC/DC Verity Gate
COVE runs an MC/DC Verity Gate that enforces 100% branch coverage output.
Verity Gates are used to satisfy deterministic authorized outputs. These guard rails ensure output is accurate and verified.
The Verity Gate runs outside of the LLMs, containing data and action integrity.
Truthfulness of the output is ensured by deterministic checks and guard rails that run outside the model.
Generation
Coverage generation options
How deep a run reaches into the code base, chosen per run.
| Mode | What it does | When to use it |
|---|---|---|
| Mock | Replace every function and data source with a controlled stand-in. | Incomplete or early code, before the surrounding implementation exists. |
| Shallow | Use existing functions and data, one level deep. | — |
| Mix | Attempt full deep generation, mock whatever is missing, and report every mock it had to create. | — |
| Deep | Find existing functions and data and drill to the bottom with zero mocks. Errors and reports on anything missing. | Ready for full MC/DC certification generation. |
Integration
Integrates where your team already works
IDE integration Pipeline integration SM tool integration - Integrates with issue tracking and project management tools such as Jira and Codebeamer.
On-site product integration
Engineering services
Pipeline integration support
Beyond the products: hands-on engineering inside your facility, on your program, under your security posture.
End-to-end pipeline design Integration across development, build, test and deploy stages Automation enablement and orchestration
Engineering services
SM tool connectivity support
Deep integration and configuration of SM tools Connectivity validation and troubleshooting Data flow, interface and communication layer support Best practice guidance
Support
Languages and frameworks
Languages
C C++ Rust Go JavaScript (CJS, ESM)
Test frameworks
CFS (utest) Check Cargo test Node.js assert go test
Outputs
What a run gives you
Identify dead code Out-of-scope implementation Code gap analysis Requirement analysis Automated certification data package output
Analysis
Interrogate the code
Drill into what the code actually does, not what the requirements say it should.
- Drill into the code’s purpose and implementation
- Perform gap analysis
- Analyze against requirement
- Analyze against intent
- Generate requirements
- Using the code, generate requirements describing the actual implementation and compare them to the existing set.
- Summarize
- Generate a description of a function.
Evidence
Every coverage criterion, evidenced
