在软件质量保证中，()是用于保证前面的活动是满足特定需求的，强调的是过程的正确性，即正确地构造产品。