根据GB／T 11457-2006《信息技术软件工程术语》的规定，_______是计算机程序中的一个点，在此点检验或记录程序的状态、状况或结果。