终本后追加股东为被执行人和追加、变更被执行人异议之诉并不是同一个概念，它们在法律程序、目的以及适用情形上均存在显著差异。以下是对这两个概念的详细解释和比较：
终本后追加股东为被执行人
定义与目的：
- 终本，即终结本次执行程序，通常发生在法院经过调查后，发现被执行人没有可供执行的财产，或者财产不足以清偿全部债务时。
- 追加股东为被执行人，是在终本后，如果发现被执行人的股东存在未履行出资义务、抽逃出资、滥用公司法人独立地位和股东有限责任逃避债务等情形，法院可以依申请或依职权将股东追加为被执行人，以扩大执行范围，保障债权人的利益。
适用情形：
- 股东未履行或未全面履行出资义务。
- 股东抽逃出资。
- 股东滥用公司法人独立地位和股东有限责任，逃避债务，严重损害公司债权人利益的。
法律程序：
- 通常需要债权人提出申请，并提供相关证据证明股东存在上述情形。
- 法院经过审查后，如果认为符合追加条件，会作出追加股东为被执行人的裁定。
追加、变更被执行人异议之诉
定义与目的：
- 追加、变更被执行人异议之诉，是当申请执行人认为法院应当追加或变更被执行人，而被执行人或其他相关方提出异议时，申请执行人可以向法院提起的诉讼。
- 其目的在于通过诉讼程序，确认是否应当追加或变更被执行人，以保障申请执行人的合法权益。
适用情形：
- 申请执行人认为法院应当追加或变更被执行人，但被执行人或其他相关方提出异议。
- 例如，在终本后，申请执行人发现被执行人的股东存在应当追加为被执行人的情形，但股东提出异议，此时申请执行人可以提起追加、变更被执行人异议之诉。
法律程序：
- 申请执行人需要向法院提起诉讼，并提交相关证据证明其主张。
- 法院会组织双方进行庭审，听取双方的陈述和辩论，并作出判决。
两者区别
法律程序不同：
- 追加股东为被执行人通常是通过申请和审查程序进行，不需要经过完整的诉讼程序。
- 追加、变更被执行人异议之诉则需要经过完整的诉讼程序，包括起诉、庭审、判决等。
目的与适用情形不同：
- 追加股东为被执行人主要是为了扩大执行范围，保障债权人的利益。
- 追加、变更被执行人异议之诉则是为了解决是否应当追加或变更被执行人的争议。
结果不同：
- 追加股东为被执行人的结果是股东被纳入执行范围，需要承担相应的执行责任。
- 追加、变更被执行人异议之诉的结果是法院作出判决，确认是否应当追加或变更被执行人。
总结与建议：
- 终本后追加股东为被执行人和追加、变更被执行人异议之诉是两个不同的法律程序，它们在目的、适用情形以及法律程序上均存在显著差异。
- 如果您在终本后发现被执行人的股东存在应当追加为被执行人的情形，但股东提出异议，您可以考虑提起追加、变更被执行人异议之诉来维护自己的合法权益。
- 在处理此类法律问题时，建议您咨询专业律师，以确保您的权益得到充分保障。如果您有任何疑问或需要进一步的法律帮助，请随时向我咨询。