等价类划分、边界值分析、决策分析法、因果图分析、错误推测法等。

软件测试以检验是否满足需求为目标。

使用人工和自动手段来运行或测试某个系统的过程，其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差异

V模型是瀑布模型的变种，反映了测试活动与分析、设计的关系。

文档测试包括文档完整性、文档正确性、文档一致性玉文档易理解性检查。

易用性度量是检测软件能被理解、学习和操作，能吸引用户，以及遵循易用性法规和指南的程度。