AWS Duvet: a bidirectional link between implementation and specification
4 months ago
- #rust
- #specification
- #requirements-traceability
- Duvet is a tool for requirements traceability, linking implementation and specification.
- Requirements traceability involves tracking a requirement's lifecycle in both forward and backward directions.
- Duvet requires a Rust toolchain for installation.
- Install Duvet using the command: `cargo install duvet --locked`.
- Initialize a repository with Duvet, specifying the language and specification URL.
- Example initialization command: `duvet init --lang-rust --specification https://www.rfc-editor.org/rfc/rfc2324`.
- Implementation comments in the project link to specific sections of the specification.
- Example implementation comment: `//= https://www.rfc-editor.org/rfc/rfc2324#section-2.1.1`.
- Generate a report with the command: `duvet report`.