【正确答案】将完成如下任务: (1)增量计划。开发一个采用增量策略的项目计划，建立每个增量的功能、它的项目大小，以及净室开发进度表。 (2)需求收集。为每个增量开发一个客户级需求的更详细的描述。 (3)盒结构规约。使用一个运用盒结构的规约方法来描述功能规约。 (4)形式化设计。使用盒结构方法，净室设计是规约的自然的无缝的扩展。虽然，在两个活动间可进行清楚的区分，但规约(称为“黑盒”)是被递进地求精(在一个增量内)以成为类似于体系结构的和过程的设计(分别称为“状态盒”和“清晰盒”)。 (5)正确性验证。净室小组对设计及代码进行一系列严格的正确性验证活动。正确性验证的第一层次通过应用一组“正确性问题”来进行，如果这没有证明规约是正确的，则使用更形式化的验证方法。 (6)代码生成、检查和验证。以某种专门语言表示的盒结构规约被转换为合适的程序设计语言。然后，使用标准的搜查或检查技术来保证代码和盒结构的语义相符性，以及代码的语法正确性。然后，对源代码进行正确性验证。 (7)统计性测试计划。分析软件的项目级使用情况，计划和设计一组执行用途的“概率分布”的测试用例。 (8)统计性使用测试。由于对计算机软件进行彻底测试几乎是不可能的，因此，总需要设计有限数量的测试用例。统计性使用技术执行一系列由特定对象的所有用户的所有可能的程序执行的统计样本所导出的测试。 (9)认证。一旦完成验证、检查和使用测试，则开始进行增量集成前的认证工作。