采用静态测试方法和动态测试方法相结合的方法，检查每个软件单元能否正确地实现设计说明中的功能、性能、接口和其它设计约束等要求，发现单元内可能存在的各种错误。

检查单元和部件之间的接口关系，验证软件部件是否符合设计要求。

基于模型的维度和规则，结合GJB 5236-2004定义的软件质量特性，设计与被测软件相匹配的测试用例集，检验软件配置项与软件需求规格说明的一致性。

在真实系统工作环境下，检验完整的软件配置项能否和系统正确连接，并满足系统/子系统设计文档和软件开发任务书规定的要求。