Blog Archives

20160614

동시성 프로그램의 이해 – 운영체제의 커널은 테스팅하기가 어렵다. 코드가 복잡하고, 멀티 쓰레드이며, 유닛 테스팅이 어렵고, 테스팅 툴이 부족하다. 유닛 테스팅을 하려면 해당 유닛이 실행되기 위한 환경을 제공해야 한다. 하지만 monolithic kernel에서 하나의 유닛만 떼어내기가 힘들다. 커널은 고성능이어야 하며, 정확해야 한다.

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

20160607

동시성 프로그램의 이해 – 실제 프로그램과 model checking language 사이에는 차이가 있다. 변환하는 과정에서 오류가 있다면? Model-based testing에서 실제 프로그램을 model checking language로 얼마나 정확하게 변환하느냐는 중요한 문제이다. – Spin에서 statements를 atomic으로 묶으면 interleaving 없이 실행하게 된다. atomic block 중에

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

20160531

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

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