执行异议诉讼并非必须使用普通程序，但实践中通常适用普通程序进行审理。以下是对这一问题的详细分析：
一、法律依据与规定
《民事诉讼法》及相关司法解释：
- 根据《中华人民共和国民事诉讼法》及其相关司法解释，执行异议之诉的审理程序并未被明确限定为必须采用普通程序。然而，由于此类案件往往涉及复杂的法律关系和事实认定，实践中多倾向于适用普通程序进行审理，以确保案件的公正、公平裁判。
《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第三百零八条：
- 该条规定了人民法院审理执行异议之诉案件时，适用普通程序。这一规定为执行异议之诉适用普通程序提供了明确的法律依据。但值得注意的是，该条款并未排除在特定情况下适用其他程序的可能性，只是强调了普通程序的适用性。
二、实践中的做法与考量
普通程序为主：
- 在司法实践中，执行异议之诉通常适用普通程序审理。这是因为此类案件往往涉及对执行标的物权利的归属和性质的判断，需要全面、深入地审查相关证据和法律关系。普通程序的严格性和全面性能够满足这一需求，确保案件得到公正、公平的审理。
简易程序的可能性：
- 虽然普通程序是主流做法，但在某些情况下，如果案件事实清楚、权利义务关系明确、争议不大，且符合简易程序的适用条件，法院也可以考虑适用简易程序进行审理。不过，这种情况相对较少见，因为执行异议之诉往往涉及复杂的法律问题和事实认定。
三、普通程序的优势与必要性
全面审查：
- 普通程序允许法院更全面地审查案件事实和证据，有助于准确判断案外人的权利主张是否成立。在执行异议之诉中，这一优势尤为重要，因为案件往往涉及对执行标的物权利的归属和性质的判断。
充分辩论：
- 普通程序提供了更充分的辩论机会，使当事人能够充分阐述自己的观点和理由。这有助于法院作出公正的裁决，确保当事人的诉讼权利得到充分保障。
保障公正与公平：
- 执行异议之诉涉及实体权利的争议和对执行程序合法性的审查。适用普通程序可以确保案件的深入、细致审理，充分保障当事人的各项诉讼权利，从而维护法律的权威性和公信力。
四、特殊情况下的程序选择
- 在某些特殊情况下，如案件事实清楚、权利义务关系明确、争议不大，且符合简易程序的适用条件时，法院可能会考虑适用简易程序进行审理。但这种情况需要严格把握适用条件，并确保当事人的诉讼权利得到充分保障。
总结来说，执行异议诉讼并非必须使用普通程序，但实践中通常适用普通程序进行审理。这是因为普通程序能够满足案件复杂性对审理程序的需求，充分保障当事人的诉讼权利和合法权益。如果您在执行异议诉讼中遇到任何问题或需要进一步的法律帮助，请直接向我咨询。