Class WMethodEQOracle<I>

    • Constructor Detail

      • WMethodEQOracle

        public WMethodEQOracle​(MembershipOracle<I,​Boolean> sulOracle,
                               int lookahead)
        Constructor. Convenience method for WMethodEQOracle(MembershipOracle, int, int) that sets expectedSize to 0.
        Parameters:
        sulOracle - interface to the system under learning
        lookahead - the maximum length of the "middle" part of the test cases
      • WMethodEQOracle

        public WMethodEQOracle​(MembershipOracle<I,​Boolean> sulOracle,
                               int lookahead,
                               int expectedSize)
        Constructor. Convenience method for WMethodEQOracle(MembershipOracle, int, int, int) that sets batchSize to 1.
        Parameters:
        sulOracle - interface to the system under learning
        lookahead - the (minimal) maximum length of the "middle" part of the test cases
        expectedSize - the expected size of the system under learning
      • WMethodEQOracle

        public WMethodEQOracle​(MembershipOracle<I,​Boolean> sulOracle,
                               int lookahead,
                               int expectedSize,
                               int batchSize)
        Constructor. Uses Math.max(lookahead, expectedSize - hypothesis.size()) to determine the maximum length of sequences, that should be appended to the transition-cover part of the test sequence to account for the fact that the system under learning may have more states than the current hypothesis.
        Parameters:
        sulOracle - interface to the system under learning
        lookahead - the (minimal) maximum length of the "middle" part of the test cases
        expectedSize - the expected size of the system under learning
        batchSize - size of the batches sent to the membership oracle
        See Also:
        WMethodTestsIterator