Joonghee's Laboratory

임의의 key operation에 따른 function(or others)들간의 call flow를 trace할 수 있을 것이다. 순차적인 function call list를 state의 단위로 가져간다. 그리고 나머지 개념은 앞에서 생각한 것을 적용할 수 있을 것이다. 단, 일부 state는 블랙홀(?)과 같이 한 번 들어가면 다시는 못 나오는 것도 있을 것이다.(이는 fail일 듯 ..

버스안에서 두 가지 방안을 문득 생각해 보게 되었다. 1. monkey test event invokation은 간단할 듯 하다. 즉, random하게 생성하면 되는 것이다. 문제는 verdict이다. 이를 위해서는 image comparison issue가 있을 것이다. all event에 대해서 image의 변화가 없을 때 fail로 판명될 수 있다면 부분적인 verdict가 가능할 것이다. ..

기존의 menu tree기반 manual test에서는 menu tree를 보고 tester가 직접 test case를 작성하고 구현해야했다. state diagram기반 test에서는 menu tree를 xml로 변환할 수 있고 이를 기반으로 자동으로 test case를 생성하여 수행하는 것이 가능하다. 상대적인 이점을 아래 요소의 관점에서 비교해 볼 수 있을 것이다. - time cos..

Generating Test Sequences from UML Sequence Diagrams and State Diagrmas Our technique can be applied to positive and negative test cases. basic secenario는 sequence diagram을 기반으로 생성한다. alternative(negative) scenario는 state diagram을 참조하여 생성할 수 있다고 설명한다. ex) state diagram을 기반으로 object의 state와 consistent하지 않은 message를 보..

http://ieeexplore.ieee.org/iel5/8553/27061/01203716.pdf?arnumber=1203716 논문의 핵심은 Requirment기반 State/Event Tree 만들고 이로부터 Test case를 뽑아내는 것이다. 이러한 방법은 이전에 많이 연구가 되었는데 논문에서는 실제 적용 사례를 소개하면서 practical approach라는 것을 강조한다.... 그리고 SET(state/event tree)를 어떻게 ..

Scenario-Based Test Case Generation for State-Based Embedded Systems e.g.) highly used scenarios should be tested more to ensure the system reliability. This follows the Pareto's principle.

ex) if(nEvent==E2) { m_toState = S2; } if(nEvent==E3) // <= else if { m_toState = S4; } else { m_toState = m_curState; }

http://jerry.c-lab.de/~wolfgang/isng05.pdf 본 논문은 UML2.0기반 설계에서 자동 수행까지의 모델을 설명한다. 제목과 같이 VM machine기반 byte code를 생성하기 때문에 target에 independent하면서도 바로 실행이 가능한 모델 설계가 가능하다고 설명한다. 필요한 diagram은 세가지이다. - state transition diagram - sequence diagram - cla..

단위 테스트 사례를 비교해 보는 논문은 어느정도 마무리가 되었다.(하지만 장책임님께 리뷰를 받으면 전체적인 틀이 다시 바뀔지도 모르겠다...ㅡ.ㅡ;;) 다소 작업이 빠르게 끝나 4회의실에서 State chart적용에 대한 연구 방안을 구상해 보았다... 무언가 생각이 잘 안 날때 나는 회의실에 들어가 문을 잠..