Skip to content
Kiro IDE Workshop

Design & Architecture

The design phase is where Kiro produces detailed technical architecture for your application.

Property-Based Testing

Section titled “Property-Based Testing”

Kiro's Property-Based Testing feature in the design document

Kiro includes Property-Based Testing (PBT) — a feature that automatically translates natural language requirements into executable tests. These tests validate general system behaviours (“properties”) across a wide range of automatically generated inputs, finding bugs that traditional example-based unit tests might miss.

Architecture diagram

Section titled “Architecture diagram”

  1. Review the architecture diagram

    Kiro generates an architecture diagram as part of the design document, giving you a visual overview of how the system components interact.

    Architecture diagram generated by Kiro showing system components

  2. Preview the design document

    Since spec documents are Markdown-based, you can preview them in a rendered view for easier reading.

    Preview button for the Markdown-based design document

  3. Review the rendered preview

    The preview shows the full design document with formatted diagrams, tables, and structured content.

    Rendered preview of the design document

    You can preview all spec documents this way — requirements, design, and task list.