构造原型时，主要考虑(8)，下列构造原型的技术中，(9)主要用于解决要求的验证问题，(10)是一种使要求说明过程自动化的技术。