tests
Class JUnit_ClockSpecification

java.lang.Object
  extended by tests.JUnit_ClockSpecification
Direct Known Subclasses:
JUnit_Clock

public abstract class JUnit_ClockSpecification
extends java.lang.Object

Unit tests for ClockSpecification

Version:
1
Author:
J Paul Gibson

Constructor Summary
JUnit_ClockSpecification()
           
 
Method Summary
abstract  void setUp()
          
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JUnit_ClockSpecification

public JUnit_ClockSpecification()
Method Detail

setUp

Initialise clockUnderTest as a concrete object to be tested

Throws:
java.lang.Exception

tearDown

Throws:
java.lang.Exception

test_getTime

Unit test for ClockSpecification.getTime()


test_invariant

Unit test for ClockSpecification.invariant()


test_resetClock

Unit test for ClockSpecification.resetClock()


test_setClock_exception

Unit test for exception case when argument is negative


test_setClock

Unit test for ClockSpecification.setClock(int )


test_tick_int_exception

Unit test for exception case when argument is negative


test_tick_int

Unit test for ClockSpecification.tick(int )


test_tick

Unit test for ClockSpecification.tick()