nz.ac.waikato.modeljunit.examples
Class StringSetTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          nz.ac.waikato.modeljunit.examples.StringSetTest

All Implemented Interfaces:

junit.framework.Test

public class StringSetTest
extends junit.framework.TestCase

A simple example of a JUnit test that uses model-based test generation, from the model SimpleSetWithAdaptor.

Author:

marku

Constructor Summary

StringSetTest(java.lang.String arg0)

Method Summary

void

testSet()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StringSetTest

public StringSetTest(java.lang.String arg0)

Method Detail

testSet

public void testSet()
             throws java.io.IOException

Throws:

java.io.IOException