반응형
상태 폭발 문제
정형검증시 모든상태 체크, 지수적증가
'-요소: 크기,복잡도,중담없이동작,빠른반응요구,Time to market
-해결방안 : Verification(케이스한쪽), Analysis(결과시중단),기호적모델체킹(특성변이다이어그램),추상화기법, 릴레이모델체킹(나누어검사)
반응형
'T-prj > 1.SW공학' 카테고리의 다른 글
| [소공86]모델 체킹 (0) | 2012.08.20 |
|---|---|
| [소공84]소프트웨어 정형기술 검토(Formal Technical Review) (0) | 2012.08.20 |
| [소공83]동료검토 (0) | 2012.08.20 |
Recent Comment