Blog Archives

20160531

동시성 프로그램의 이해 – SW coverage criteria에서 가장 강력한 coverage인 complete value coverage(CVC)를 테스팅하는 것이 model checking 기법이다. Model checking 기법은 각 변수의 모든 가능한 값을 대상으로 프로그램을 검증한다. 매우 많은 프로그램 상태가 발생하고, 따라서 작은 프로그램도 model checking하기는 쉽지

Tagged with: , , , , , , , , , , , , , , , , , , , ,
Posted in 1) Memo
누적 방문자 수
  • 101,726 hits