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