完整性测试验证系统的各组成部分是否按照程序设计和系统设计规格说明协同工作。

Integration testing is the process of verifying that the components of a system work together as described in the program design and system design specifications.

youdao

该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。

We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.

youdao

每个分解级别都强制进行设计决策，提供正在进行的合成，连接需求和设计规格说明，并增加系统详细内容。

Each level of decomposition forces design decisions, providing ongoing synthesis, coupling of requirements and design specifications, and increasing system detail.

youdao