korat.testing
Interface IKoratSearchStrategy

All Known Implementing Classes:

StateSpaceExplorer

public interface IKoratSearchStrategy

Author:

Aleksandar Milicevic

Method Summary

IIntList	getAccessedFields() Gets the list of accessed fields during the last search.
int[]	getCandidateVector() Gets candidate vector that corresponds to the test case returned last.
Object	nextTestCase() Searches for next test case.
void	reportCurrentAsValid() Reports the current test case as valid structure The current test case is the last one returned with nextTestCase.
void	setEndCandidateVector(int[] endCV)
void	setStartCandidateVector(int[] startCV)

Method Detail

nextTestCase

Object nextTestCase()

Searches for next test case. If state space has been exausted, returns null.

Returns:

next test case

getCandidateVector

int[] getCandidateVector()

Gets candidate vector that corresponds to the test case returned last.

Returns:

candidate vector

getAccessedFields

IIntList getAccessedFields()

Gets the list of accessed fields during the last search.

Returns:

accessed fields

setStartCandidateVector

void setStartCandidateVector(int[] startCV)

setEndCandidateVector

void setEndCandidateVector(int[] endCV)

reportCurrentAsValid

void reportCurrentAsValid()

Reports the current test case as valid structure The current test case is the last one returned with nextTestCase. If this method is executed before first nextTestCase, the behaviour is undefined