Test Colorbutton and Colorscreen in Lab Recruits

[deid00]

Write a new EFSM model to represent a Lab Recruits level with a single room without doors. The model should be designed to test the features of Colorbutton and Colorscreen. The model should consider 3 buttons with different colors connected to a single screen. An example of Lab Recuits level involving screens and color buttons can be found here.

Then, write a test suite to check if the model works. Example of a test suite for the traffic light example can be found here.

[deid00]

Good work @guss-alberto

I have some notes:

• try to implement some unit tests for your model. Examples of unit tests are LabRecruitsButtonDoors1 and LabRecruitsButtonDoors1Fire in package eu.fbk.iv4xr.mbt.efsm (in the folder src/test/java). In particular, write a test to verify that from bb is possible to reach br and bg
• in your model, state cs cannot be reached
• does the behavior of your model reflect the real Lab Recruits behavior? Try to generate a test case with the tool and to manually replicate its execution in the game. For instance, I have generated a test whose first three transitions are:
  CBb-{toggle[TOGGLE]; }->CBb
  CBb-{explore[EXPLORE]; }->CBr
  CBr-{toggle[TOGGLE]; }->CBr
  If you execute these actions in the game, does the value of the variable screen_color of the model correspond to the color you observe in the game?