追加股东为被执行人的执行异议之诉确实属于诉讼程序。以下是对此问题的详细分析：
一、执行异议之诉的性质
执行异议之诉是诉讼程序的一种，它发生在执行过程中，当案外人对执行标的提出书面异议，且法院对该异议进行审查后作出裁定，案外人或申请执行人对该裁定不服时，可以提起执行异议之诉。这一程序旨在通过诉讼方式解决执行过程中的争议，保护当事人的合法权益。
二、追加股东为被执行人的法律依据与程序
法律依据：
- 在执行程序中，若需要追加股东为被执行人，通常基于股东未履行出资义务、抽逃出资、滥用公司法人独立地位和股东有限责任逃避债务等情形。这些情形在《中华人民共和国公司法》及其相关司法解释中有明确规定。
- 例如，《公司法》第二十条第三款规定：“公司股东滥用公司法人独立地位和股东有限责任，逃避债务，严重损害公司债权人利益的，应当对公司债务承担连带责任。”这为追加股东为被执行人提供了实体法依据。
追加程序：
- 申请人需向执行法院提交书面申请，详细说明追加股东为被执行人的事实和理由，并提供相关证据。
- 法院将对申请进行审查，包括形式审查和实质审查。形式审查主要检查申请书格式、内容完整性及证据材料是否齐全；实质审查则综合判断股东是否存在未履行出资义务、抽逃出资等情形。
- 若法院认为需要追加股东为被执行人，将作出裁定。若股东或申请人对该裁定不服，可以提起执行异议之诉。
三、执行异议之诉的具体应用
起诉条件：
- 案外人或申请执行人需对法院作出的追加被执行人裁定不服。
- 需在法定期限内（通常为裁定送达之日起十五日内）向执行法院提起诉讼。
诉讼过程：
- 法院将组织庭审，允许各方陈述、举证、质证和辩论。
- 法院将根据庭审情况，结合相关法律法规和证据材料，作出判决。
法律后果：
- 若法院判决追加股东为被执行人，股东将承担相应的法律责任，如履行出资义务、偿还债务等。
- 若法院判决不追加股东为被执行人，则原执行程序将继续进行，但不得对股东采取执行措施。
四、实际操作中的注意事项
- 证据收集：申请人需充分收集证据以证明股东存在未履行出资义务、抽逃出资等情形。证据可以包括公司章程、出资协议、银行转账记录、审计报告等。
- 法律适用：在提起执行异议之诉时，需准确适用相关法律法规和司法解释，以确保诉讼的合法性和有效性。
- 诉讼策略：根据案件具体情况和证据情况，制定合理的诉讼策略，如选择适当的诉讼请求、举证方式等。
总结来看，追加股东为被执行人的执行异议之诉确实属于诉讼程序。它发生在执行过程中，旨在通过诉讼方式解决执行过程中的争议。在实际操作中，需充分收集证据、准确适用法律、制定合理的诉讼策略，以确保诉讼的顺利进行和合法权益的保护。如有任何疑问或需要进一步的法律帮助，请直接向我咨询。