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 Detail

      • 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
      • name

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