SW정형검증1 [IT보안] SW정형검증 1. SW정형 검증 개요 1) SW정형기법(Formal Method)의 정의 - 논리학이나 이산 수학을 이용하여 요구 사항 명세, 설계 및 구현 과정에서 사용하는 기법 입니다. - 정형 기법에는 정형 명세(Formal Specification), Formal Synthesis, 정형 검증(Formal Verification) 등이 있습니다. 2) SW정형 검증(Formal Specification)의 정의 - 논리학과 이산 수학을 기반으로 하여 시스템의 동작을 표현하는 정형 명세[Formal Specification]가 시스템이 만족해야 할 특성[Property]을 만족시킴을 논리적으로 검증하는 소프트웨어 검증 기법입니다. - 회로디자인과 같은 HW분석, 요구 명세와 같은 정적인 SW 분석에 주로 사용되.. 2022. 12. 17. 이전 1 다음
