Documentation
AridNova product tutorial
AridNova is an evidence-driven microservice analysis workbench for release security, architecture visibility, and automated RBAC testing.
Core promise: AridNova turns each release into a repeatable workflow — recover architecture, verify authorization policy, compare drift, generate focused scenarios, create tests, and execute them against a target system.
What AridNova does
Each capability below maps to one stage of the release workflow. Together they take you from raw microservice repositories to verified security evidence and targeted tests.
Recover architecture
Generate IR from repositories and visualize microservices.
Teams see the real dependency graph behind a release.
Verify policy
Run formal verification and review endpoint-level role inconsistencies.
Security teams move from manual policy review to explicit evidence.
Compare versions
Use Change Impact and Policy Drift across commits or branches.
Release managers see what changed and whether security risk improved or regressed.
Generate tests
Create RBAC scenarios, LLM prompts, Java test suites, and executor payloads.
QA teams validate the highest-risk behavior instead of testing blindly.
How to use these docs
This tutorial follows the same order an operator would use during a live demo or release review. Start with the canvas and source setup, then work through architecture, verification, and testing. Use the Next link at the bottom of each page to move through the workflow, the sidebar to jump between topics, and the On this page panel to navigate within a page.