软件质量保证的措施主要有，基于非执行的测试（也称为复审）、基于执行的测试和程序正确性的证明。