Examples

We are explaining our implementation by taking some Simulink/Stateflow models.

I. Sample of simulink/stateflow model that is a simple model.

1. Construct sample simulink model

It is the sample simulink model which is drawn with the help of simulink soft- ware tool by dragging a chart block from stateflow library and dropped into it. This chart block is used to capture reactive systems in the sample simulink model.

Figure 3.1: Sample simulink model.

2. Construct sample stateflow model

This model is drawn in the chart block by using the stateflow design tool. Here we draw the sample stateflow model of the reactive systems. There are A, B and C states. Where, each state contains an entry, during and exit action as required.

Figure 3.2: Sample stateflow model.

3. Generate XML file for sample simulink model

Here, we generated XML file of the sample simulink model. By using this file specification, we are generating intermediate graph for the sample stateflow of the model.

Figure 3.3: Generated XML file of sample simulink model.

4. Generate intermediate graph for sample stateflow model

Here we parse the generated XML file to transform the sample stateflow model into an intermediate graph to represent the possible design of the reactive systems of the sample stateflow model.

3.3 Implementation

Figure 3.4: Generated intermediate graph for sample stateflow model.

5. Generation of Test cases for sample Stateflow model

Here we generate Test cases by analyzing intermediate graph and searching the executable transitions.

Figure 3.5: Generated Test cases for sample stateflow model.

1. Construct Fan simulink model

It is the Fan simulink model which is drawn with the help of simulink software tool by dragging simulink blocks such as signal Builder, Display blocks from the simulink library and chart block from stateflow library which are dropped into a GUI editor and connecting ports to the blocks for external input and output. This chart block is used to capture reactive systems in the Fan simulink model.

Figure 3.6: Fan simulink model.

2. Construct Fan stateflow model

This Fan stateflow model is drawn on the chart block present in Fan simulink model with the help of a stateflow design tool. Here we drag states and transitions from design palette to draw the stateflow of the reactive systems. In the Fan state- flow model, there are Off and On states where,On is a composite state because it contains child states named as one, two, three and four working as regulator of Fan.

3.3 Implementation

3. Generate XML file for Fan simulink model

In this we generated XML file of the Fan simulink model. By using this file specification, we are generating intermediate graph for the Fan stateflow part of the simulink model.

Figure 3.8: Generated XML file for Fan simulink model.

4. Generate intermediate graph for Fan stateflow model

Here we parse the generated XML file to transform the Fan stateflow model into an intermediate graph. This intermediate graph represents possible configuration of the Fan reactive systems.

5. Generation of Test cases for Fan stateflow model

Here we generate Test cases by analyzing intermediate graph of the Fan reactive systems and searching the executable transitions.

Figure 3.10: Generated Test cases for Fan stateflow model.

III. Simulink model of a composite object- Boiler.

1. Construct Boiler simulink model

It is the Boiler simulink model which is drawn with the help of simulink soft- ware tool by dragging simulink blocks such as Constant, SubSystem, Scope blocks, etc. from the simulink library and chart block from stateflow library which are dropped into a GUI editor and connecting ports to the blocks for external input and output. This chart block is used to capture reactive systems of the Boiler simulink model.

3.3 Implementation

Figure 3.11: Boiler simulink model.

2. Construct Boiler stateflow model

It is the model which is drawn on the chart block present in the Boiler simulink model with the help of a stateflow design tool. Here we drag states and transitions from design palette to draw the stateflow of the Boiler reactive systems. In the Boiler stateflow model, Heater state contains Off, On, Flash state where, Heater state contains cold() function state, Off state contains turn-boiler(OFF) function state, Flash state contains flash-LED() function state.

Figure 3.12: Boiler stateflow model.

In this, On state is a composite state because it contains child states named as HIGH, NORM and function state named as turn-boiler(ON), flash-LED() and warm().

Figure 3.13: On state of Boiler stateflow model.

This turn-boiler(mode) function state contains junctions and transitions to perform this particular function.

Figure 3.14: turn-boiler(mode) state of Boiler stateflow model.

This flash-LED() function state contains junctions and transitions to perform the color changing operation of the LED.

3.3 Implementation

This cold() function state contains junction and a default transition to compare the input temperature with the given reference temperature of the Boiler.

Figure 3.16: cold() state of Boiler stateflow model.

3. Generate XML file for Boiler simulink model

In this we generated XML file of the Boiler simulink model. By using this file specification, we are generating intermediate graph for the Boiler stateflow part of the Simulink model.

Figure 3.17: Generated XML file of Boiler simulink model.

4. Generate intermediate graph for Boiler stateflow model

Here we parse the generated XML file to transform the Boiler stateflow model into an intermediate graph. This intermediate graph represents possible configu- ration of the Boiler reactive systems.

Figure 3.18: Generated intermediate graph for Boiler stateflow model.

5. Generation of Test cases for Boiler stateflow model

Here we generate Test cases by analyzing intermediate graph of the Boiler reactive systems and searching the executable transitions.

3.3 Implementation