在决定追加股东为被执行人时，通常应首先考虑通过执行异议程序进行，若该程序不适用或无法达到目的，再考虑直接提起民事诉讼。以下是对这一问题的详细分析：
执行异议程序
适用情形：
- 当债权人认为执行行为（如对股东的财产执行）违反法律规定，或者认为股东作为被执行人的财产不足以清偿债务，但股东存在未缴纳或未足额缴纳出资、抽逃出资等情形时，债权人可以依据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》等相关法律规定，向执行法院提出书面异议，请求追加股东为被执行人。
程序优势：
- 效率较高：执行异议程序通常比直接提起民事诉讼更为迅速，能够更快地解决追加被执行人的问题。
- 成本较低：与民事诉讼相比，执行异议程序在时间和金钱上的成本通常较低。
注意事项：
- 证据充分：提出执行异议时，债权人需要提供充分的证据证明股东存在应被追加为被执行人的情形。
- 法律适用准确：需要准确理解和适用相关法律规定，以确保异议的合法性和有效性。
直接民事诉讼
适用情形：
- 如果执行异议程序不适用（如股东不存在未缴纳或未足额缴纳出资、抽逃出资等情形，或者执行异议程序未能达到追加被执行人的目的），债权人可以考虑直接提起民事诉讼，要求股东在未缴纳或未足额缴纳出资、抽逃出资等范围内承担清偿责任。
程序特点：
- 程序复杂：与执行异议程序相比，民事诉讼程序更为复杂，需要经历起诉、受理、审理、判决等多个阶段。
- 成本较高：民事诉讼在时间和金钱上的成本通常较高，且结果具有不确定性。
注意事项：
- 诉讼策略：在提起民事诉讼前，债权人需要制定合理的诉讼策略，包括选择合适的被告、确定诉讼请求、准备充分的证据等。
- 法律风险：民事诉讼存在败诉的风险，债权人需要充分评估法律风险并做好应对准备。
综合建议
- 优先尝试执行异议程序：在大多数情况下，债权人应优先尝试通过执行异议程序追加股东为被执行人，以节省时间和成本。
- 准备充分证据：无论选择哪种程序，债权人都需要准备充分的证据来证明股东存在应被追加为被执行人的情形。
- 咨询专业律师：由于法律程序复杂且涉及专业法律知识，债权人在决定追加股东为被执行人前，应咨询专业律师以获取准确的法律建议和指导。
如有更多关于公司法务的疑问，可以直接向我咨询。