Testing Models: The Requirements Model