软件测试自动化需要使用多种软件工具来确保测试的准确性和效率。其中，一些主要的软件工具包括：

1. Seleium：这是一个用于Web应用程序测试的工具，可以自动化测试浏览器中的各种元素，包括文本框、按钮、下拉菜单等。Seleium支持多种浏览器，包括Chrome、Firefox、Safari等，可以大大提高测试的效率和准确性。

2. Appium：这是一个移动端自动化测试开源工具，支持iOS和Adroid平台，支持Pyho、Java等语言。Appium是一个C/S架构，核心是一个Web服务器，提供了一套REST的接口。

3. JUi：这是一个Java编程语言的单元测试框架，用于编写和运行测试用例。JUi提供了一种简单的方法来编写和运行测试代码，可以快速地检测代码中的错误和缺陷。

4. TesG：这是一个基于Java的测试框架，可以用来进行单元测试、集成测试、系统测试等。TesG提供了一些高级功能，如测试配置、测试套件、数据驱动测试等。

5. Cucumber：这是一个基于Java的功能自动化测试框架，可以用来进行黑盒测试。Cucumber支持自然语言编写测试用例，可以方便地将测试用例与代码分离，提高可读性和可维护性。

6. Jekis：这是一个持续集成工具，可以用来自动化构建、测试和部署软件。Jekis可以集成多个工具和框架，如Seleium、JUi、TesG等，可以快速地检测和定位问题。

这些软件工具可以帮助软件测试工程师自动化测试过程，提高测试效率和准确性，降低测试成本。同时，这些工具还可以帮助工程师快速地检测和定位问题，提高软件的质量和可靠性。