发那科系统使用的编程软件包括以下几种：

Fanuc Roboguide：

这是一款功能强大的仿真和离线编程软件，专门用于Fanuc机器人的编程和仿真。用户可以通过拖放和编辑图形化的编程块来创建机器人程序，支持离线编程和模拟仿真。

Fanuc CNC Guide：

这款软件专门用于Fanuc数控系统编程，适用于PC上的离线编程和模拟，然后将编程数据上传到Fanuc数控系统中。它具有直观的界面和丰富的功能，适用于各种不同的加工任务。

Fanuc TP （Teach Pendant）：

这是发那科机器人上的编程控制器，用于在线编程和机器人控制。通过FANUC TP，用户可以直接在机器人上进行编程和控制，实现实时交互。

Fanuc PCDK （Programming Tool Kit）：

这是发那科机器人的开发工具包，适用于高级用户和开发人员。PCDK提供了丰富的API和函数库，可用于创建自定义的应用程序和功能，如机器人的路径规划、运动控制和外部设备的集成。

Fanuc FASOPC （Factory Automation System for Open Communication）：

这是一个用于与发那科机器人进行通信的软件，基于OPC （OLE for Process Control）标准，可以实现与其他设备和系统的数据交换，如PLC、SCADA系统等。它提供了简单易用的接口，使用户能够方便地监控和控制机器人的状态和运行。

建议根据具体的应用需求和操作习惯选择合适的编程软件。对于大多数常规的机器人编程任务， Fanuc Roboguide和 Fanuc CNC Guide是常用的选择。对于需要更高级编程功能或开发自定义应用程序的情况，则可以考虑使用 Fanuc PCDK和 Fanuc FASOPC。