填空题 为了把握软件开发各个环节的正确性和协调性，人们需要进行（）和（）工作。（）的目的是想证实在一给定的外部环境中软件的逻辑正确性。它包括（）和（），（）则试图证明在软件生存期各个阶段，以及阶段间的逻辑（）、（）和正确性。

填空题 软件测试是软件质量保证的主要手段之一，测试的费用已超过（）的30%以上。因此，提高测试的有效性十分重要。“高产”的测试是指（）。根据国家标准GB 8566–88《计算机软件开发规范》的规定，软件的开发和维护划分为8个阶段，其中，单元测试是在（）阶段完成的，集成测试的计划是在（）阶段制定的，确认测试的计划是在（）阶段制定的。

问答题 软件复杂性有哪几类？软件复杂性度量模型应遵循哪些基本原则？