ex)
if(nEvent==E2)
{
m_toState = S2;
}
if(nEvent==E3) // <= else if
{
m_toState = S4;
}
else
{
m_toState = m_curState;
}
'Papers > System Test based on a State Chart' 카테고리의 다른 글
Generating Test Sequences from UML Sequence Diagrams and State Diagrma (0) | 2008.02.17 |
---|---|
Scenario-Based Test Case Generation for State-Based Embedded Systems (0) | 2008.02.16 |
highly used scenarios should be tested more (0) | 2008.02.16 |
A UML Virtual Machine for Embedded Systems (0) | 2008.02.10 |
R4 회의실4에서 (0) | 2008.02.08 |