Monthly Archives: May 2016

이화동, Epitone Project

Advertisements

Tagged with: ,
Posted in 2) My Playlist

Protected: 20160531 – Research

There is no excerpt because this is a protected post.

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

Protected: 20160530 – Research

There is no excerpt because this is a protected post.

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

20160527

MARSSx86 오류 MARSSx86을 Ubuntu 16.04 LTS에서 빌드했더니 오류가 발생했다. 우선 gnutls_anon_server_credentials를 gnutls_anon_server_credentials_t로 변경해야 한다. 다음 패치 파일을 참고해 qemu/ui/vnc-tls.c 파일을 수정한다 ([PATCH 1/3] Avoid the use of deprecated gnutls gnutls_*_set, Qemu-devel). Reference: [PATCH 1/3] Avoid the use of deprecated gnutls

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

20160526

동시성 프로그램의 이해 2) Testing Concurrent Programs to Achieve High Synchronization Coverage – Testing framework는 높은 coverage를 빠르게 달성하는 것이 중요하다. – Synchronization pair는 lock pair에 대한 coverage를 측정한다. 같은 thread라 하더라도 lock pair를 만들 수 있음. – Thread scheduling을

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

20160524

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

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