Test-driven summarization: combining formative assessment with teaching document summarization