R4에서

상쾌한 토요일이다. 도착하자마자 잠시 어제의 버그를 살펴보았다. 생각에는 SUT에 문제가 있는 듯 한데 조금 더 보고 있다. 만일 버그라면 재현할 수 있어야할 것이다. 버그를 잡았는가 했는데 이 글을 쓰면서 다시 발견되었다. random하게 navigate를 하고 또한 문제가 발생하는 시간까지 많은 시간이 소요되어 작업이 쉽지가 않다. 여러 log message를 남겨보고 이리저리 추정을 해 보고 있다. 방금 다시 잡았는데 문제는 처음 생각한 SUT상의 문제일 듯 한데 제대로 대처를 못한 듯 하다. State machine이 어느정도 안정화되면 몇가지 고민을 해보아야할 것 들이 있다. menu tree에서 state machine을 자동생성하는 것은 구현이 가능할 것이다. 그런데 문제는 oracle이다. 잠깐 instrumentor 도구를 만드는 것을 생각해 보았다. 모든 함수마다의 정보를 남기는 것이다. 물론 이것으로 자동 pass/fail의 판정은 하지 못할 것이다. 그러나 regression test는 자동화할 수 있을 것으로 기대를 해 본다. 자, 오늘도 화이팅이다~