用于验证软件需求的原型有两种，分别是______和______。