com.github.dakusui.jcunit.fsm.spec.FSMSpec Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jcunit Show documentation

Automated combinatorial testing framework on top of JUnit

There is a newer version: 0.8.17

package com.github.dakusui.jcunit.fsm.spec;

import com.github.dakusui.jcunit.fsm.StateChecker;

/**
 * A base interface to model SUT as a finite state machine.
 *
 * You can implement this interface as an 'enum' and it is the easiest way to define a
 * finite state machine in JCUnit.

 *
 * @param  Software under test.
 */
public interface FSMSpec extends StateChecker {
  FSMSpec