在Python中，assert语句用于检查特定条件是否为真。如果条件为假，assert语句会抛出AssertionError异常并打印出相应的错误信息。

调试程序时，可以使用assert语句来验证程序的某个假设是否成立。如果断言失败，即条件为假，程序将抛出异常并停止执行。这样可以快速发现错误并定位问题所在。

下面是使用assert语句调试程序的方法：

1. 找出问题所在：在出现问题的代码段前后插入assert语句来检查变量的值、条件是否满足等。
2. 编写断言条件：编写一个断言条件，用于检查某个假设是否成立。
3. 运行程序：运行程序并观察是否出现AssertionError异常。
4. 分析错误信息：如果断言失败，即抛出了AssertionError异常，根据异常信息定位到断言失败的位置，并分析问题所在。

以下是一个简单的示例程序，演示了如何使用assert语句进行调试：

def divide(a, b):  
    assert b != 0, "除数不能为0"  
    return a / b  
result = divide(10, 0)  
print(result)  

运行上述程序时，会抛出AssertionError异常，并打印出错误信息除数不能为0。根据这个信息，我们知道在执行除法运算时，除数不能为零，因此可以修改代码来处理这种情况，避免出现错误。

需要注意的是，默认情况下，Python解释器在执行代码时会忽略-O选项（优化选项），这会禁用所有的assert语句。如果想要启用assert语句，可以使用-O选项运行Python程序。也可以在代码中使用-O开关来启用或禁用assert语句：

import __builtin__  
if not __debug__:  
    __builtin__.assert = lambda *args: None  

这样，assert语句就会被禁用，相当于没有写入代码中。