Materi
NASA §6.2 meminta keterlacakan dua arah antara harapan pemangku kepentingan, kebutuhan, desain, dan rencana serta prosedur uji. Setiap kebutuhan ditelusur ke induk atau sumbernya, atau dinyatakan sebagai kebutuhan turunan sendiri yang disetujui tingkat di atasnya. Kebutuhan tanpa induk yang juga bukan turunan sah berarti proses penelusurannya cacat, atau kebutuhan itu “gold plating” yang harus dibuang. Arah sebaliknya juga diperiksa: semua kebutuhan induk harus sudah dialokasikan ke bawah.
Supaya bisa ditelusur, setiap kebutuhan punya nomor unik (Appendix C.4). Matriks verifikasi di Appendix D hanya memuat pernyataan shall, masing-masing dengan ID unik dan dokumen sumbernya, lalu menetapkan cara memverifikasinya. C.4 menyebut empat cara: uji, demonstrasi, inspeksi, dan analisis.
| Kebutuhan | Skenario | Uji otomatis | Cara verifikasi |
|---|---|---|---|
| K-01 tolak pesanan stok 0 | S-01, S-02 | checkout.feature | Uji |
| K-02 nota ke surel | — | — | Belum ada |
| K-03 jadwal ≤2 detik | S-05 | beban-jadwal | Uji |
Di Cucumber, tag @ bisa dipasang di atas Feature, Rule, Scenario, Scenario Outline, dan Examples. Tag bisa merujuk ID di alat manajemen kebutuhan, misalnya @K-01, dan tag diwarisi elemen di bawahnya.
