Abstract : The category of software testing and verification project is particularized firstly.Then this paper explains why these projects would exist and their characteristics.

• 摘 要 ： 首先总结了软件测试和验证项目的类型, 然后揭示了出现这些项目的原因和这些项目的特点。