设ha和hb分别是两个带头结点的递增有序单链表，设计一个完整算法，将这两个有序链表的所有数据结点合并成一个递增有序的单链表hc，并用相关数据进行测试。

为了合并两个递增有序的单链表 ha 和 hb，我们可以创建一个新的头结点 hc，并逐步比较两个链表的节点值，将较小的那个添加到新链表中。以下是详细的步骤：

1. 初始化：
- 定义一个新的链表头结点 hc，设置其 next 指针为 null。
- 分别定义三个指针 pa、pb 和 pc，分别指向 ha、hb 的头结点以及 hc。

2. 遍历循环：
- 当 pa 或 pb 不为空时，执行以下操作：
a. 如果 pa 的值小于或等于 pb 的值，则将 pa 指向的节点添加到 hc，并将 pc 指针移动到当前节点。然后更新 pa 为 pa 的下一个节点（如果 pa 不为空）。
b. 否则，将 pb 指向的节点添加到 hc，同样将 pc 移动到当前节点并更新 pb 为 pb 的下一个节点。

3. 结束条件：
- 当其中一个链表遍历完之后，将另一个链表剩余部分直接连接到 hc 的尾部。

4. 返回结果：
- 最后，返回链表头结点 hc 即为合并后的有序链表。

以下是伪代码表示：

def merge_sorted_lists(ha, hb):
    # 初始化
    hc = ListNode(0)  # 新链表的头节点
    pa = ha
    pb = hb
    pc = hc

    while pa is not None and pb is not None:
        if pa.val <= pb.val:
            pc.next = pa
            pa = pa.next
        else:
            pc.next = pb
            pb = pb.next
        pc = pc.next

    # 将剩余部分连接至新链表
    if pa is not None:
        pc.next = pa
    elif pb is not None:
        pc.next = pb

    return hc

测试示例：
可以构建两个已排序的小链表，例如 ha: 1->3->5，hb: 2->4，合并后的链表应该为：1->2->3->4->5。在实际应用中，需要提供具体的链表实例进行函数调用和验证结果。