填空题 程序设计说明书是以一个（）为单位，并对其进行定义的书面文件。

填空题 程序调试时，测试数据除采用正常数据外，还应编造一些（）和（）以检验程序的正确性。

填空题 程序调试的内容包括程序的（）调试和（）检查。