<기말> State based Testing, Embedded SW Testing

<The statechart>

1. Statechart는 Finite State Machine에다가 orthogonal, broadcast, hierarchy 섞은 거임

2. Statechart는 state, transition으로 구성되며 transition은 event[condotion]/action1,action2 이렇게 작성된다.

3. Statechart의 hierarchy는 사각형 단계로 구분되며 밖에 위치한 상위 hierarchy의 transition이 우선 순위가 높다.

4. Statechart에서 orthogonal하다는 것은 한 state에서 여러 component가 concurrent하게 존재하는 것을 말한다.

5. transition이 세부 state가 아니라 큰 묶음을 가르키면 해당 state의 초기상태로 돌아간다.

6. history는 이전 상태로 돌아가는 것을 이야기 하며 H*의 경우엔 이전 상태 내부의 초기값이 아니라 leaf단계까지 내려가서 이전 상태로 돌아가는 것을 말한다(deep history).

7. 의사state중 initial, final, deep history, shallowhistory만 강조하셨다.

8. composite state는 한 state내에서 구성된 여러 state를 의미하고 각각을 region이라 한다.

== statechart, hierarchy, orthogonal, broadcast, history, composite state

 

<System Testing>

1. Statechart로 하는 System testing은 covering FSM(즉 Statechart 덮기이다.)

2. Node coverage : 모든 state 실행, Edge coverage : transition coverage, Edge pair coverage : transition pair coverage, Data Flow coverage는 불가능하다. FSM에는 data의 흐름이 나타나지 않기 때문이다.

3. State event table : event에 따른 state의 변화를 기록하며 해당사항이 없다면 no response event이다.(비워두거나 *하면 된다.)

4. Transition tree는 state가 vertex, transition이 ebde가 되는 것으로 동일한 state가 나오면 중지(leaf)이다.

5. test case를 작성할 때는 항상 마지막에는 초기상태로 전환되어야 한다.

6. test case for no response, test case for guards가 있다.

== State evenet table, response, guard

 

<Embedded SW testing>

1. Embedded SW는 HW와 SW가 tightly하게 연관된 computing system이다. Main component로는 Seonsors, Actuators, Controller가 있다

2. Embedded SW는 test case가 실행되면 state를 유지한다(memory), 이 state에 따라 test case의 결과가 달라지므로,  test case를 sequencial하게 작성하여야 한다.

3. Embedded SW는 operator와 environment와 interact한다. 만약 environment가 없다면 open loop가 된다. system을 testing 할 때 environment를 handling하는 것은 쉽지 않다.

4. Embedded SW testing 단계는 MiL, SiL, HiL, ST를 거친다.

5. Mil은 Model in the loop의 약자로 SW model과 environment model간의 interaction으로 performed된다.

6. Sil은 SW in the loop의 약자로 SW가 PC에서 실행되고 부가 장비, 환경 모두 simulated 환경에서 테스팅된다. 이때 host에서 testing하기 때문에 결과 확인이 용이하다.

7. Hil은 HW in the loop의 약자로 SW가 target hardware에서 실행되고 experimental HW를 사용하여 simulated 환경에서 testing된다.

== embedded SW, 2가지 어려움, Mil, Sil, Hil