Tests
Derives
Component
code
Test
outputs
b. BB
Input test data
Inputs causing
anomalous
behaviour
System
Oe
Model desain dan analisis tidak dapat diuji dalam arti yang konvensional karena
model ini tidak dapat dieksekusi, maka kajian teknis formal dapat digunakan
untuk menguji kebenaran dan konsistensi model analisis dan model desain
11. Kenapa perangkat lunak harus dapat di ukur? Dan kualitas perangkat lunak itu apa aja sih
?