The document describes an Extended Finite State Machine (EFSM) model for an apply leave component in a human resource management system. It includes operations like launch, login, logout, apply leave, and continue. The EFSM diagram and test cases are provided to cover all the transitions in the model. The test cases are reduced using a technique called Test Suite Reduction Rate (TSRR) while maintaining coverage of all transitions and states. The results show the reduction in number of test cases and improvement in TSRR after applying risk analysis.

1. Extended Finite State Machine (EFSM)
• It is an Modelling Approach
• Used for wide range of systems
Ex: The HRM class Apply Leave Component supports the following
the operations:
Void Launch (String URL)
Void Login (String UN, String PWD)
Void Logout ()
Void Continue ()
Void CheckLeaveBalance ()
Void ApplyLeave (String LeaveType, int no_of_days)
© Sun Technologies Inc. 1

2. EFSM
© Sun Technologies Inc. 2
Fig: EFSM for Apply Leave Component

3. EFSM
• The following are the test cases designed so that all the transitions are covered.
© Sun Technologies Inc. 3
TC# Test Case Transitions Covered
TC1 Launch(URL)
Login(abcd, ab12)
ApplyLeave(PL, 5)
Continue()
ApplyLeave(Pl, 1)
Continue()
ApplyLeave(CMP,1)
Continue()
ApplyLeave(LOP,2)
Continue()
Logout()
T1-T4-T8-T11-T7-T11-T9-T11-T10-T11-T5
TC2 Launch (URL)
Login (mnop, 12cd)
Login (pqrs, a34d)
Login (ghij, a25d)
Logout ()
T1-T2-T2-T2-T3

4. TSRR (Test Suite Reduction Rate) & FSM (Finite State Machine)
© Sun Technologies Inc. 4
Where:
|T| = Number of test cases in the original suite and
|Tred| = Number of test cases in the minimized/reduced suite

5. RESULTS
© Sun Technologies Inc. 5
Performance Parameters
Before risk
analysis
After risk
analysis
3 11 18 12 33.33 78 66 84.61
FSM
coverage
in %
No. of
states
Total No.
of
transitions
Original
test suite
Reduced
Test suite
Test Suite Reduction
Rate (TSRR) in %
No. of transitions covered