Questo capitolo fornisce informazioni sulla funzionalità di base del generatore di prove, cosa richiede come input e cosa produce. Conoscendo cosa è necessario utilizzare come input, risulterà chiaro il tipo di file che lo sviluppatore dovrà produrre per utilizzare il generatore di prove. In questo capitolo viene anche descritto cosa è possibile e cosa non è possibile realizzare con il generatore di prove.