执行异议之诉并不属于执行程序本身，而是属于民事诉讼中的一类特殊诉讼程序。以下是对这一问题的详细解释：
一、执行异议之诉的定义与性质
执行异议之诉，是指在执行过程中，案外人对执行标的主张足以排除强制执行的实体权利，向执行法院提出书面异议被驳回后，依法向人民法院提起的诉讼。它旨在通过诉讼程序解决案外人与申请执行人之间的实体权利争议，因此，从性质上看，它属于民事诉讼的范畴，而非执行程序的一部分。
二、执行异议之诉与执行程序的区别
目的不同：
- 执行程序的主要目的是实现生效法律文书所确定的权利义务，通过强制执行措施来保障债权人的权益。
- 执行异议之诉的目的则是解决案外人对执行标的的实体权利争议，判断案外人是否享有足以排除强制执行的民事权益。
程序性质不同：
- 执行程序是强制性的，一旦启动，执行法院会依法采取一系列执行措施。
- 执行异议之诉则是诉讼性的，需要遵循民事诉讼的起诉、受理、审理、判决等程序规则。
结果不同：
- 执行程序的结果通常是实现债权人的权益，如查封、扣押、拍卖财产等。
- 执行异议之诉的结果则是法院对案外人的权利是否足以排除强制执行作出判决，可能中止或终结对执行标的的执行，也可能继续执行原裁判确定的义务。
三、执行异议之诉的法律依据与特点
法律依据：
- 执行异议之诉主要依据《中华人民共和国民事诉讼法》及相关司法解释，如《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第三百零四条至第三百一十条等条款。
特点：
- 目的明确：旨在通过诉讼程序解决案外人与申请执行人之间的实体权利争议。
- 程序严格：需遵循特定的起诉条件、审理程序和裁判规则。
- 结果具有终局性：法院的判决对当事人具有约束力，不得再就同一执行标的重复提起异议。
四、实践中的应用与注意事项
证据准备：
- 当事人在提起执行异议之诉时，应充分准备证据材料，以证明自己对执行标的享有足以排除强制执行的民事权益。
明确诉讼请求：
- 诉讼请求应清晰明确，直接关联到执行标的的实体权利争议。例如，案外人可能请求停止对执行标的的执行并确认权利，而申请执行人则可能请求继续执行或撤销原裁判。
依法提起诉讼：
- 向有管辖权的人民法院提起诉讼，并遵循法律规定的程序和要求。通常，执行异议之诉应向执行法院提出。
法院审理原则：
- 法院在审理执行异议之诉时，应严格遵循法律规定和司法解释，确保公正、高效地处理案件，保护当事人的合法权益。
总结与建议：
执行异议之诉并不属于执行程序本身，而是民事诉讼中的一类特殊诉讼程序。它旨在解决案外人对执行标的的实体权利争议，具有明确的目的、严格的程序和终局性的结果。如果您在执行过程中遇到类似情况，建议充分准备证据材料，明确诉讼请求，并依法向有管辖权的人民法院提起诉讼。如有任何疑问或需要进一步的法律帮助，请随时向我咨询。