연구 분야: Software Development
학회: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
To address the problem of assuring complex modern systems, we propose assurance driven development where the inferences of assurance are themselves directly tested. We refer to this as test-driven-assurance-based development, or TDABD. TDABD focuses development on continuously testable argument reasoning with incremental and improving delivery of improving assurance targets.
| 발행 연도 | 2020년 |
|---|---|
| 인용수 | 71 |
| 출판 국가 | Comoros |
| 사이트 | IEEE |
| 좋아요 수 | 0 |