在探讨如何追加股东为被执行人这一问题时，我们首先要明确的是，这通常发生在公司财产不足以清偿债务，且股东存在特定违法行为或未履行相应义务的情况下。针对您提出的“是通过诉讼还是执行异议程序”的疑问，以下是一个详细且条理清晰的解答：

一、追加股东为被执行人的基本前提

在执行程序中，当公司无法清偿债务时，若股东存在未足额缴纳出资、抽逃出资、滥用公司法人独立地位等行为，法院可依法追加股东为被执行人。这是为了保障债权人的合法权益，确保债务能够得到有效清偿。

二、追加股东为被执行人的程序选择

1. 执行异议程序：

   • 适用情形：当债权人认为股东应被追加为被执行人，但执行法院尚未作出相关裁定时，债权人可以向执行法院提交书面申请，要求追加股东为被执行人。此时，执行法院会进行形式审查，并可能组成合议庭进行审查并公开听证。
   • 操作步骤：
     • 查阅相关法律文书，明确追加股东为被执行人的法律依据和事实认定。
     • 收集证据材料，如出资凭证、验资报告、财务账目等，以证明股东存在未履行出资义务或滥用公司法人独立地位等行为。
     • 向执行法院提交书面申请及相关证据材料，提出追加股东为被执行人的请求。
     • 参加执行法院组织的听证会，充分发表观点，展示证据，反驳可能存在的反对意见。

2. 执行异议之诉：

   • 适用情形：若执行异议被法院裁定驳回，股东或债权人可在法定期限内向执行法院提起执行异议之诉。这通常发生在股东对追加决定有异议，且希望通过诉讼程序来维护自身权益的情况下。
   • 操作步骤：
     • 撰写执行异议之诉的起诉状，明确诉讼请求、事实和理由。
     • 收集并整理相关证据材料，以支持自己的主张。
     • 向执行法院提交起诉状及相关证据材料，并缴纳诉讼费用。
     • 参加法院组织的庭审活动，充分发表意见，展示证据，进行辩论。

三、专业法律帮助的重要性

由于法律程序复杂且涉及专业知识，无论是通过执行异议程序还是执行异议之诉来追加股东为被执行人，都建议及时咨询专业的公司法或执行领域律师。律师可以提供准确的法律评估、有效的应对策略，并代理参与后续的法律程序，包括与法院、申请执行人的沟通以及执行异议之诉的提起等。

四、总结与建议

• 明确追加原因：在追加股东为被执行人之前，应首先核实追加原因和依据，确保自己的请求有法律依据和事实支持。
• 积极应对与提出异议：若对追加决定有异议，应及时提出执行异议或执行异议之诉，以维护自身权益。
• 寻求专业帮助：由于法律程序复杂，建议寻求专业律师的帮助，以确保法律程序的顺利进行和自身权益的有效维护。

综上所述，追加股东为被执行人可以通过执行异议程序或执行异议之诉来实现。具体选择哪种程序取决于具体情况和法律程序的要求。在操作过程中，应严格遵守相关法律法规和程序要求，确保自身权益得到有效维护。