执行异议之诉属于诉讼程序，而非执行程序。以下是对这一结论的详细解释：

一、执行异议之诉的定义与性质

执行异议之诉，是指在执行过程中，当事人和案外人对执行标的的实体权利存在争议，进而请求执行法院解决该争议而引发的诉讼。这一制度在《中华人民共和国民事诉讼法》及其相关司法解释中得到了详细的规定和阐述。从定义上看，执行异议之诉是一种特殊的诉讼程序，其目的在于通过诉讼方式解决实体权利争议，而非执行程序中的程序性救济。

二、执行异议之诉与执行程序的区别

1. 目的不同：

   • 执行程序的主要目的是实现生效法律文书所确定的债权，通过强制执行措施迫使被执行人履行义务。
   • 执行异议之诉的目的则是解决案外人对执行标的提出的实体权利争议，保护案外人的合法权益。

2. 程序不同：

   • 执行程序遵循的是执行法规和司法解释中关于执行措施、执行程序等规定。
   • 执行异议之诉则遵循民事诉讼法中关于诉讼程序的规定，如起诉、立案、审理、判决等。

3. 结果不同：

   • 执行程序的结果通常是执行完毕或终结执行。
   • 执行异议之诉的结果则是判决是否停止对执行标的的执行，或确认案外人对执行标的的权利。

三、执行异议之诉的法律依据与程序

1. 法律依据：

   • 《民事诉讼法》第二百三十四条规定了案外人对执行标的提出书面异议的权利，以及法院对异议的审查和处理程序。
   • 《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》等相关司法解释进一步细化了执行异议之诉的起诉条件、管辖法院、审理程序等。

2. 程序：

   • 案外人或申请执行人应在法定期限内向执行法院提起执行异议之诉。
   • 法院应依法受理并审理执行异议之诉，根据事实和法律作出判决。
   • 判决对当事人具有约束力，不得再就同一执行标的重复提起异议。

四、实践应用中的注意事项

1. 证据准备：当事人在提起执行异议之诉时，应充分准备证据材料，以证明自己对执行标的享有足以排除强制执行的民事权益。
2. 明确诉讼请求：诉讼请求应清晰明确，直接关联到执行标的的实体权利争议。
3. 依法提起诉讼：向有管辖权的人民法院提起诉讼，并遵循法律规定的程序和要求。

举例说明：假设在执行过程中，案外人A对执行标的（如一套房产）主张所有权，认为该房产不应被执行。此时，A可以向执行法院提起执行异议之诉，请求法院判决停止对该房产的执行。法院将依法受理并审理该案，根据事实和法律作出判决。如果判决支持A的诉讼请求，则执行程序将中止对该房产的执行；如果判决驳回A的诉讼请求，则执行程序将继续进行。

综上所述，执行异议之诉属于诉讼程序，而非执行程序。它在保护案外人合法权益、解决实体权利争议方面发挥着重要作用。如果您在执行过程中遇到相关问题，可以直接向我咨询。