Este capítulo discute a funcionalidade básica do Gerador de Evidências, o que ele requer como entrada e o que ele produz. Compreendendo o que ele requer como entrada, você deve ter uma ideia clara de quais arquivos o desenvolvedor precisa produzir para usar o Gerador de Evidências. Este capítulo também discute o que pode e o que não pode ser alcançado com o Gerador de Evidências.