---
type: bookmarks
tags: ['sdd', 'spec-driven-development', 'pbt', 'fast-check', 'bombadil', 'antithesis', 'model-based-testing', 'test']
status: release
ctime: 2026-05-31
mtime: 2026-06-02
---

SDD(Kiro): 스펙을 `requirements → design → tasks`로 문서화하고, acceptance criteria에서 testable property를 뽑아낸다 — 명세가 곧 테스트의 원천.

신선한 지점: 보통 테스트는 코드 뒤에 짜는데, SDD는 명세 단계에서 검증 가능한 불변식을 먼저 규정한다.

- 그 property를 PBT(fast-check)로 검증 (순수 함수에서 강력)
- UI로 확장하면 Bombadil = "action generator + property"

## 참고

- [Kiro — Specs](https://kiro.dev/docs/specs/) — requirements → design → tasks 스펙 워크플로우
- [fast-check](https://github.com/dubzzz/fast-check) — JavaScript PBT 프레임워크
- [Bombadil (Antithesis)](https://github.com/antithesishq/bombadil) — 웹 UI property-based testing (TS로 property + action generator 작성)