结论前置：追加一人公司的股东对公司债务承担责任，既可以通过诉讼程序，也可以在特定情形下通过执行程序进行。具体选择哪种程序，取决于股东责任的具体情形和现有证据的充分性。

一、通过执行程序追加股东为被执行人

在执行程序中，特定情形下可以直接追加一人公司的股东为被执行人，这主要基于股东的出资责任、人格混同以及清算责任等法律规定。

1. 基于股东出资责任的追加

   • 未缴纳或未足额缴纳出资的股东：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，若一人公司财产不足以清偿生效法律文书确定的债务，且股东未缴纳或未足额缴纳出资，申请执行人可申请追加该股东为被执行人，要求其在尚未缴纳出资的范围内依法承担责任。
   • 抽逃出资的股东：依据相关法律规定，股东抽逃出资的行为构成对公司财产的侵害。当公司无法清偿债务时，法院可依据相关规定，追加抽逃出资的股东为被执行人，责令其在抽逃出资本息范围内承担补充赔偿责任。

2. 基于人格混同的追加（需初步证据）

   • 当股东与公司存在财务混同、业务混同等情形，导致公司丧失独立人格时，根据《公司法》的相关规定，股东需对公司债务承担连带责任。在执行程序中，若申请执行人能提供初步证据证明人格混同，可申请追加相关股东为被执行人。但需注意，人格混同的认定需结合具体证据进行实质审查，若证据不足，可能仍需通过诉讼程序确认。

3. 基于清算责任的追加

   • 未经合法清算即注销公司的股东：若一人公司作为被执行人被注销且未完成法定清算程序，根据相关规定，股东需对公司债务承担连带清偿责任。申请执行人可据此申请追加相关股东为被执行人。
   • 怠于履行清算义务的股东：在公司解散后，若股东未及时成立清算组导致公司财产贬值、流失或灭失，债权人可根据相关规定，主张股东在造成损失范围内承担赔偿责任，并申请追加其为被执行人。

二、通过诉讼程序追加股东为被告

若执行程序中无法直接追加股东为被执行人（如人格混同证据不足），或申请执行人希望更全面地追究股东责任，可通过诉讼程序进行。

1. 提起股东损害公司债权人利益责任纠纷之诉

   • 申请执行人可作为原告，以股东为被告，提起股东损害公司债权人利益责任纠纷之诉。在诉讼中，申请执行人需举证证明股东存在未缴纳或未足额缴纳出资、抽逃出资、人格混同、未依法清算等行为，导致公司无法清偿债务。
   • 法院经审理后，若认定股东需对公司债务承担责任，将判决股东在相应范围内承担清偿责任。此后，申请执行人可依据生效判决，申请强制执行股东的财产。

2. 在破产程序中申报债权并追究股东责任

   • 若一人公司进入破产程序，申请执行人可作为债权人申报债权。同时，若发现股东存在未缴纳或未足额缴纳出资、抽逃出资等行为，可向管理人提出异议，并要求管理人追究股东责任。
   • 管理人将根据相关规定，对股东的责任进行审查，并可能通过诉讼程序追究股东责任。最终，股东需在相应范围内对债权人承担清偿责任。

三、法律建议

1. 充分收集证据：在申请追加股东为被执行人或提起诉讼前，应充分收集股东存在未缴纳或未足额缴纳出资、抽逃出资、人格混同、未依法清算等行为的证据。
2. 选择合适的程序：根据证据的充分性和股东责任的具体情形，选择合适的程序进行追加或诉讼。若证据充分且符合执行程序追加的条件，可选择执行程序以更快实现债权；若证据不足或需更全面地追究股东责任，可选择诉讼程序。
3. 咨询专业律师：在处理此类复杂法律问题时，建议咨询专业律师以获取更具体的法律建议和操作指导。

示例说明：假设甲是一人公司乙的股东，乙公司因经营不善无法清偿债务。债权人丙发现甲存在未足额缴纳出资的行为，且乙公司财务与甲个人财务混同。在此情形下，丙既可在执行程序中申请追加甲为被执行人（需提供初步证据证明人格混同），也可提起股东损害公司债权人利益责任纠纷之诉（需全面举证证明甲的责任）。具体选择哪种程序，取决于丙的证据收集情况和法律策略考虑。

如有任何疑问或需要进一步的法律帮助，请直接向我咨询。