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

EFSM

© Sun Technologies Inc. 2

Fig: EFSM for Apply Leave Component

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

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

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