Module de.cuioss.test.generator
Package de.cuioss.test.generator.internal.net.java.quickcheck

Interface Characteristic<T>

Type Parameters:
T - type of generated random test instances
All Known Implementing Classes:
AbstractCharacteristic
public interface Characteristic<T>

A characteristic specifies an aspect of a system under test.

The characteristic stated is tested with a number of test data instances generated by a generator. All runs of a characteristic's specify(Object) method have to be valid. Invalid runs have to throw an exception.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    name()
    Unique name for this characteristic instance.
    void
    setUp()
    Set up operation before specify(Object) is executed.
    void
    specify(T instance)
    Checks the characteristic's specification for a test case instance.
    void
    tearDown()
    Clean up operation after specify(Object) was executed.

  • Method Details

    • specify

      void specify(T instance) throws Throwable
      Checks the characteristic's specification for a test case instance.
      Parameters:
      instance - for which to check the characteristic
      Throws:
      Throwable - if the instance does not confirm to the characteristic's specification

    • setUp

      void setUp() throws Exception
      Set up operation before specify(Object) is executed.
      Throws:
      Exception

    • tearDown

      void tearDown() throws Exception
      Clean up operation after specify(Object) was executed.
      Throws:
      Exception

    • name

      String name()
      Unique name for this characteristic instance.
      Returns:
      name of the characteristic.