用于编写ICT测试程序的软件包括以下几种：
Python：
Python是一种简单易学的高级编程语言，广泛应用于测试自动化和脚本编写。它具有丰富的库和框架，适用于各种不同类型的测试任务。
Java：
Java是一种广泛使用的编程语言，具有稳定性和可移植性。它的语法相对较复杂，适合构建大型和复杂的测试系统。
C：
C是微软开发的一种面向对象的编程语言，主要用于开发Windows应用程序。它在测试自动化中也得到了广泛应用，尤其适合与.NET框架和Visual Studio集成。
JavaScript：
JavaScript是一种用于开发Web应用程序的脚本语言，它可以与HTML和CSS结合使用。在Web测试中，JavaScript可用于处理用户界面交互和执行各种浏览器相关的操作。
Selenium：
Selenium是一个用于Web应用程序测试的开源工具集，支持多种编程语言，包括Java、Python和C等。通过Selenium，测试人员可以模拟用户对Web应用程序的操作，自动化执行测试用例，并生成测试报告。
Appium：
Appium是一个用于移动应用程序测试的开源工具，支持测试Android和iOS应用程序。它使用WebDriver协议驱动设备或模拟器，可以模拟用户在移动应用上的各种操作。
JUnit：
JUnit是Java语言的一个开源测试框架，用于编写单元测试。它提供了一系列的注解和断言方法，方便测试人员编写、运行和管理测试用例。
Robot Framework：
Robot Framework是一个通用的自动化测试框架，适用于Web、桌面和移动应用程序的测试。它采用关键字驱动的方法，测试脚本可以使用自然语言编写，并支持Python、Java、C等多种编程语言。
Postman：
Postman是一个专业的API测试工具，用于测试和调试Web服务接口。它提供了直观的用户界面，可以轻松地创建请求、发送请求、验证响应，并生成测试报告。
Katalon Studio：
Katalon Studio是一款在网页应用、移动和网页服务方面功能强大的自动化测试解决方案。基于Selenium和Appium框架，Katalon Studio集成了这些框架在软件自动化方面的优点。这个工具支持不同层次的测试技能集，非程序员也可以快速上手一个自动化测试项目。
根据具体的测试需求和场景，可以选择合适的编程语言和工具来编写ICT测试程序。例如，对于Web应用程序测试，可以选择使用Selenium或JavaScript；对于移动应用程序测试，可以选择使用Appium；对于API测试，可以选择使用Postman。