Blog Archives

20160531

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

Tagged with: , , , , , , , , , , , , , , , , , , , ,
Posted in 1) Memo

20160524

동시성 프로그램의 이해 – 프로그램을 충분히 테스팅했음을 어떻게 보장할 수 있을까? 테스팅의 진행도를 어떻게 측정할 수 있을까? 이러한 문제를 해결하기 위해 coverage라는 개념이 필요하다. 프로그램에 있는 전체 branch 명령어 중에 몇 개를 테스팅했는지의 정도를 branch coverage라고 하자. 더 적은 수의

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