控制测试可以使用 多种程序，具体包括以下几种：
询问：
向被审计单位适当员工获取与内部控制运行情况相关的信息。
观察：
直接查看操作流程，获取有关控制是否有效运行的直观信息。
检查：
通过检查相关文件和记录，验证控制是否得到执行。
重新执行：
在询问、观察和检查程序仍无法获得充分证据时，通过重新执行相关控制来验证其有效性。
穿行测试：
通过追踪交易在财务报告信息系统中的处理过程，来证实注册会计师对控制的了解、评价控制设计的有效性，以及确定控制是否得到执行。
此外，还可以使用不同的 编程语言来实现控制测试，例如：
Python：简单易学、功能强大，适用于不同的控制测试场景。
C/C++：高效，适用于需要直接控制硬件的测试场景。
Java：跨平台、具有良好的可移植性和扩展性，适用于不同操作系统和设备的控制测试程序。
JavaScript：用于Web开发，可以实现网页自动化控制和测试。
MATLAB：专业的数值计算和数据可视化编程语言，适用于需要进行数据分析和处理的控制测试场景。
综上所述，控制测试可以使用多种程序和编程语言，具体选择应根据测试需求和场景来决定。