追加、变更被执行人异议之诉属于诉讼程序。以下是对此结论的详细分析：

一. 执行审查程序与诉讼程序的区别

1. 执行审查程序：主要是在执行过程中，对执行行为的合法性、执行标的的权属等问题进行审查，如执行行为异议、案外人异议等，其审查结果一般通过裁定形式作出。

2. 诉讼程序：则涉及对当事人之间实体权利义务的争议进行审理和裁判，包括一审、二审、再审等，其审理结果通过判决、调解等形式作出。

二. 追加、变更被执行人异议之诉的性质

1. 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》及相关司法解释，当事人对追加、变更被执行人的裁定不服的，有权在法定期限内向人民法院提起诉讼。

2. 诉讼特点：此类异议之诉涉及对是否应当追加、变更被执行人的实质性审查，需要当事人提供证据，法院进行审理后作出裁判，这符合诉讼程序的特点。

3. 裁判形式：追加、变更被执行人异议之诉的审理结果，法院会作出判决，而非简单的裁定，这也进一步体现了其诉讼程序的性质。

三. 实际操作

• 在实际操作中，当事人对追加、变更被执行人的裁定不服时，需要按照诉讼程序的要求，向法院提起诉讼，提交起诉状、证据等材料，并参加庭审，由法院进行审理后作出判决。

综上所述，追加、变更被执行人异议之诉属于诉讼程序，而非执行审查程序。如有进一步需要，您可以继续咨询我。