2026轨道交通安全软件白盒测试技术要求

Interimtechnologicalrequirementsforwhiteboxtestingofrailwaysafety-related 范 缩略 附录A（参考性附录）轨道交通安全软件静态测试检查示 附录B（参考性附录）轨道交通安全软件单元测试用例示 附录C（参考性附录）轨道交通安全软件集成测试策略示 EN50716-2023RailwayApplicationsRequirementsforsoftwaredevelopmentGB/T11457-2006信息技术软件工程术语GB/T15532-2008GB/T28808-2021TJ/DW230-2020TJ/DW231-2020GB/T11457-2006GB/T28808-2021GB/T11457-2006GB/T28808-2021softwaresafetyintegrity[GB/T28808-2021，白盒测 white-box[GB/T11457-2006，static[GB/T11457-2006，software[GB/T11457-2006，unit[GB/T11457-2006，integrationGB/T11457-test[GB/T25000.51-2016测试桩GB/T11457-SIL：安全完整性等级（SafetyIntegrityMCDC：修正条件判定覆盖率（ModifiedConditionDecision；11.2.3.4.5.default100%100%的分支/判定覆盖率时，可以确保所有的判定结果都被执行过。MCDC设计适当数量的用例，运行被测程序，检测每个判断中每个条件以及条件组合的执行率。对于可对软件集成中具有精度要求的项点（如，数据处理精度、时间控制精度等）1234（参考性附录A.1疑问需要再讨论或确认，不满足和有疑问的项应在问题记录列描述清楚问题或从功能和安全的角度解释原因。A.1/×/-准备程序GUI（形用户界面）GUI（形用户界面）形用户界面）函数是否可扩展（水平和垂直扩展A.2数据引用数据声明控制流程I/O程序未正确处理类似于“FileNotFound”可读性检if..elseif…elseifswitch-case20％编译器相volatile（参考性附录针对以下案例，本附录给出了语句覆盖率、分支/判定覆盖率、MCDCunsingedintfunction(unsignedinta,unsignedintunsignedintreturn100a=2u，b=4u100%的分支覆盖率，可设计以下两个用例：100%100%100%并不意B.1a==xC1，b==2xC2，B.1MCDC（参考性附录C.1Interimtechnologicalrequirementsforwhiteboxtestingofrailwaysafety-related 范 缩略 附录A（参考性附录）轨道交通安全软件静态测试检查示 附录B（参考性附录）轨道交通安全软件单元测试用例示 附录C（参考性附录）轨道交通安全软件集成测试策略示 EN50716-2023RailwayApplicationsRequirementsforsoftwaredevelopmentGB/T11457-2006信息技术软件工程术语GB/T15532-2008GB/T28808-2021TJ/DW230-2020TJ/DW231-2020GB/T11457-2006GB/T28808-2021GB/T11457-2006GB/T28808-2021softwaresafetyintegrity[GB/T28808-2021，白盒测 white-box[GB/T11457-2006，static[GB/T11457-2006，software[GB/T11457-2006，unit[GB/T11457-2006，integrationGB/T11457-test[GB/T25000.51-2016测试桩GB/T11457-SIL：安全完整性等级（SafetyIntegrityMCDC：修正条件判定覆盖率（ModifiedConditionDecision；11.2.3.4.5.default100%100%的分支/判定覆盖率时，可以确保所有的判定结果都被执行过。MCDC设计适当数量的用例，运行被测程序，检测每个判断中每个条件以及条件组合的执行率。对于可对软件集成中具有精度要求的项点（如，数据处理精度、时间控制精度等）1234（参考性附录A.1疑问需要再讨论或确认，不满足和有疑问的项应在问题记录列描述清楚问题或从功能和安全的角度解释原因。A.1/×/-准备程序GUI（形用户界面）GUI（形用户界面）形用户界面）函数是否可扩展（水平和垂直扩展A.2数据引用数据声明控制流程I/O程序未正确处理类似于“FileNotFound”可读性检if..elseif…elseifswitch-case20％编译器相volatile（参考性附录针对以下案例，本附录给出了语句覆盖率、分支/判定覆盖率、MCDCunsingedintfunction(unsigne