Papers/System Test based on a State Chart
fault injection
tomato13
2008. 2. 15. 13:43
ex)
if(nEvent==E2)
{
m_toState = S2;
}
if(nEvent==E3) // <= else if
{
m_toState = S4;
}
else
{
m_toState = m_curState;
}