Examples of nz.ac.waikato.modeljunit.timing.examples.PhoneModel

Package nz.ac.waikato.modeljunit.timing.examples

Examples of nz.ac.waikato.modeljunit.timing.examples.PhoneModel

nz.ac.waikato.modeljunit.timing.examples.PhoneModel
A simple example class to test the TimedModel class. In this model keys can be pressed at any time. If there is a delay of more than 10 seconds between key presses then the system attempts to dial the number. If more than 7 digits have been entered then it can call the number, otherwise dialing fails. If a call is successfully started then exactly 60 seconds later the phone will be hung up. @author Scott Thompson

{


  @Test
  public void testLoadModel()
  {
    TimedModel model = new TimedModel(new PhoneModel());


    //make sure the Time and 2 Timeouts were read properly
    assertEquals(0, model.getTime());
    assertEquals(2, model.getNumTimeouts());
    assertEquals("dialTimeout", model.getTimeoutName(0));

View Full Code Here

  }


  @Test
  public void testGetTime()
  {
    PhoneModel phoneFSM = new PhoneModel();
    TimedModel model = new TimedModel(phoneFSM);


    assertEquals(0, phoneFSM.now);
    assertEquals(0, model.getTime());

View Full Code Here

TOP

Related Classes of nz.ac.waikato.modeljunit.timing.examples.PhoneModel

nz.ac.waikato.modeljunit.timing.TimedModelTest

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.