반응형
소프트웨어 정형기술 검토(Formal Technical Review)
시스템동작 및 요구사항을 논리식이나 수학식 같이 정형화된 명세어로 기술하고 정형검증기법으로 증명
Logic,이산수학으로 요구사항 명세, 설계구현과정사용/모든상태/행동철저조사검증
'-목적 : SW조기품질확보
-필요성 : SW변형성, 비예측성증가로 시험으로 SW정확성 보장불가
-방안 : Theorem proving, Modelchecking, equivalence checking, SAT
반응형
'T-prj > 1.SW공학' 카테고리의 다른 글
| [소공85]상태 폭발 문제 (0) | 2012.08.20 |
|---|---|
| [소공83]동료검토 (0) | 2012.08.20 |
| [소공82]Walkthrough (0) | 2012.08.20 |
Recent Comment