执行异议之诉不属于执行程序，而是属于民事诉讼中的一类特殊诉讼程序。以下是对这一问题的详细解析：
一、执行异议之诉的定义与性质
执行异议之诉，是指在执行过程中，案外人对执行标的主张足以排除强制执行的实体权利，向执行法院提出书面异议被驳回后，依法向人民法院提起的诉讼。它旨在通过诉讼程序解决案外人与申请执行人之间的实体权利争议，因此，其本质是一种诉讼程序，而非执行程序。
二、执行异议之诉与执行程序的区别
目的不同：执行程序的主要目的是实现生效法律文书所确定的权利义务，通过强制执行措施促使被执行人履行义务。而执行异议之诉的目的则是解决案外人对执行标的的实体权利争议，判断案外人是否享有足以排除强制执行的民事权益。
程序性质不同：执行程序是一种强制执行措施的实施过程，具有强制性和程序性。而执行异议之诉则是一种诉讼程序，需要遵循特定的起诉条件、审理程序和裁判规则，其结果具有终局性。
参与主体不同：执行程序的参与主体主要是申请执行人、被执行人和执行法院。而执行异议之诉的参与主体则包括案外人、申请执行人、被执行人以及执行法院，其中案外人是提起诉讼的关键主体。
三、执行异议之诉的法律依据与特点
法律依据：执行异议之诉主要依据《中华人民共和国民事诉讼法》及相关司法解释，如《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第三百零四条至第三百一十条等条款。这些条款明确了执行异议之诉的起诉条件、审理程序和裁判规则。
特点：
四、执行异议之诉的实践应用
在实际操作中，如果案外人对执行标的提出书面异议被驳回后，认为自己对执行标的享有足以排除强制执行的民事权益，可以依法向人民法院提起执行异议之诉。法院将依法受理并审理该诉讼，根据审理情况作出判决。如果案外人胜诉，则执行程序将中止或终结对该执行标的的执行；如果申请执行人胜诉，则继续执行原裁判确定的义务。
综上所述，执行异议之诉不属于执行程序，而是属于民事诉讼中的一类特殊诉讼程序。它旨在通过诉讼程序解决案外人与申请执行人之间的实体权利争议，确保执行的公正性和合法性。如果您在执行过程中遇到相关问题或需要进一步的法律帮助，请直接向我咨询。