结论：追加未实际出资股东为被执行人，并不必然需要经过执行异议程序，但若对法院追加裁定不服，相关方可以提起执行异议之诉。以下从多个角度详细分析：
一、追加未实际出资股东为被执行人的法律依据与条件
法律依据：
- 《公司法》第二十八条第一款：股东应按期足额缴纳认缴的出资额。
- 《公司法司法解释三》第十三条第二款：公司债权人可请求未履行或未全面履行出资义务的股东承担补充赔偿责任。
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条：作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人可申请变更、追加未缴纳或未足额缴纳出资的股东为被执行人，在尚未缴纳出资的范围内依法承担责任。
追加条件：
- 股东未缴纳或未足额缴纳出资：需通过公司章程、股东出资协议等工商档案材料确认。
- 公司财产不足以清偿债务：需提供如终结本次执行裁定书等证据证明。
二、追加未实际出资股东为被执行人的程序
收集证据材料：
- 主体信息证据：营业执照、法定代表人身份证明等。
- 出资证明材料：调取工商档案，确认股东出资情况。
- 终结本次执行裁定书：证明公司无法清偿债务。
撰写并提交申请书：
- 明确申请追加的股东信息及申请理由。
- 详细阐述公司债务情况、股东未出资事实及其关联性。
- 引用相关法律法规，增强申请的合法性。
法院受理与审查：
- 受理：法院对申请材料进行形式审查，符合条件的予以受理。
- 审查方式：书面审查或听证。对于复杂或存在争议的案件，法院会组织听证，申请执行人需积极参与，提供质证和辩论。
- 审查内容：法院重点审查申请是否符合法定追加情形，证据是否充分合法，以及追加是否会损害其他当事人权益。
裁定结果与救济途径：
- 裁定结果：如申请符合法定条件，法院将裁定追加未缴纳出资股东为被执行人；如申请不符合条件，法院将裁定驳回申请。
- 救济途径：对裁定不服的，可在规定期限内向上一级法院申请复议或提起执行异议之诉。在执行异议之诉中，法院将对追加被执行人是否有充分依据进行实体审查，并作出最终判决。
三、执行异议之诉的适用情形
- 对追加裁定不服：若申请执行人或被追加股东对法院的追加裁定不服，可以提起执行异议之诉。
- 实体审查：执行异议之诉中，法院将对追加被执行人是否有充分依据进行实体审查，包括股东是否未履行出资义务、股权转让是否合法等焦点问题。
- 最终判决：法院将根据实体审查结果作出最终判决，确定是否追加被执行人及责任范围。
四、注意事项
- 证据充分性：确保提供的证据材料充分、确凿，以支持申请理由。
- 法律程序严谨性：严格遵守法律程序，确保申请的合法性和有效性。
- 股东出资加速到期：特定情况下，如公司已具备破产原因但不申请破产，股东的出资义务可能加速到期，此时可追加股东为被执行人。
示例说明：假设A公司对B公司享有到期债权，经强制执行发现B公司无可供执行财产。经查，B公司股东C认缴500万元但仅实缴100万元，且在债务发生后以0元对价转让股权给D。此时，A公司可以向法院申请追加C为被执行人，要求其在未出资范围内承担责任。若C对追加裁定不服，可以提起执行异议之诉，通过审判程序最终确认责任。
建议：在追加未实际出资股东为被执行人的过程中，建议申请执行人充分了解相关法律法规，准备充分的证据材料，并密切关注法院的审查进展和听证安排。如有任何疑问或需要进一步的法律帮助，请直接向我咨询。