安全是产品不可或缺的内在属性。现代社会对自动扶梯的使用越来越频繁,因此对于设备质量和功能等方面的要求也越来越严格。传统的自动扶梯在应对危险或风险时所执行的安全功能是由其主控制系统来实施的。为了进一步提高自动扶梯的功能安全性和可靠性,最新的自动扶梯国家标准要求将自动扶梯安全检测功能与其主控制系统相分离。本文针对自动扶梯可编程电子安全相关系统的软件在其软件生命周期阶段开展了相应的验证工作,以确保软件产品能够达到规定的安全完整性等级。将可编程电子安全相关系统应用于自动扶梯之中,满足了最新标准这一安全性要求,提高了自动扶梯设备的功能安全性和可靠性,具有一定的实践性和探索性。由于本文验证的对象是基于可编程电子安全相关系统的软件,故以最新的功能安全国际标准为参照,基于其安全系统软件测试模型,选定了相关的技术/措施进行验证。采用了主流的嵌入式软件验证工具LDRA Testbed/TBrun,在静态测试阶段进行了编码规则的定制和检查、复杂度指标的多项分析、静态数据流分析、软件质量结果报告分析及图形化显示分析等多项工作,使得验证工作更加严谨,并给出了软件在各项指标下的改进建议。动态测试阶段研究了单元测试覆盖指标,并研究了最少测试用例数的设计,使动态测试的效率得以提高。经过测试过程中生成的数据证明,其动态测试满足了预期的实施效果,有效地达到了对应的软件安全完整性等级下的覆盖率指标的要求。