（）是有关计算机程序功能、设计、编制使用的文字或图形资料。

如果测试数据满足条件覆盖，则必然满足判定覆盖。

判断题如果测试数据满足条件覆盖，则必然满足判定覆盖。

结构化程度设计方法能改善程序结构，提高程序的运行效率。

判断题结构化程度设计方法能改善程序结构，提高程序的运行效率。

软件测试只能证明程序有错误，不能证明程序没有错误。

判断题软件测试只能证明程序有错误，不能证明程序没有错误。