This applet is used to illustrate test generation using FSMs. Chow's W-method and its fault detection power is illustrated using this applet. Requirementsfor the applet were discussed during the class on Wedndesday September 30, 2009.

State: E: Enabled. D: Disabled. Ex or Dx: x indicates color in {w, r, g, b}. Thus, for example, [Ew Dg Er] means that the application is in a state where button A is enabled and white, button B is disabled and green, and button C is enabled and red. Note that the color of a disabled button is always gray; the r, g, or b color shows when the button is enabled. The application always starts in state [Ew Ew Ew].

Note that a button label might not be clearly visible when it is colored white. However, if enabled, it will respond to clicks.

Mail suggestions/comments to: Aditya Mathur