9.4 与型号设计有关的软件生存周期数据 .......................................................................................644
10.0 航空器或发动机合格审定概述 ......................................................................................................644
10.1 合格审定基础 .............................................................................................................................644
10.2 合格审定的软件方面考虑 .........................................................................................................644
10.3 符合性确定 .................................................................................................................................645
11.0 软件生存周期数据 ..........................................................................................................................645
11.1 软件合格审定计划 .....................................................................................................................646
11.2 软件开发计划 .............................................................................................................................646
11.3 软件验证计划 .............................................................................................................................647
11.4 软件配置管理计划 .....................................................................................................................647
11.5 软件质量保证计划 .....................................................................................................................648
11.6 软件需求标准 .............................................................................................................................649
11.7 软件设计标准 .............................................................................................................................649
11.8 软件编码标准 .............................................................................................................................649
11.9 软件需求数据 .............................................................................................................................650
11.10 设计描述 ...................................................................................................................................650
11.11 源代码 .......................................................................................................................................651
11.12 可执行目标码 ...........................................................................................................................651
11.13 软件验证用例和规程 ...............................................................................................................651
11.14 软件验证结果 ...........................................................................................................................651
11.15 软件生存周期环境配置索引 ...................................................................................................651
11.16 软件配置索引 ...........................................................................................................................652
11.17 问题报告 ...................................................................................................................................652
11.18 软件配置管理记录 ...................................................................................................................652
11.19 软件质量保证记录 ...................................................................................................................652
11.20 软件完成总结 ...........................................................................................................................652
12.0 额外的考虑 ......................................................................................................................................653
12.1 先前开发软件的使用 .................................................................................................................653
12.1.1
先前开发软件的修改
........................................................................................................654
12.1.2
航空器安装的变更
..............................................................................................................654
12.1.3
应用或开发环境的变更
......................................................................................................654
12.1.4
开发基线升级
......................................................................................................................655
12.1.5
软件配置管理考虑
..............................................................................................................655
12.1.6
软件质量保证考虑
..............................................................................................................656
12.2 工具鉴定 ......................................................................................................................................656
12.2.1
软件开发工具鉴定准则
......................................................................................................657
12.2.2
软件验证工具鉴定准则
......................................................................................................657
12.2.3
工具鉴定数据
......................................................................................................................657
12.2.3.1 工具鉴定计划 ............................................................................................................................658
12.2.3.2 工具操作要求 ............................................................................................................................658
12.2.4 工具鉴定许可 ...............................................................................................................................658
12.3 替代方法 .....................................................................................................................................658
12.3.1
形式化方法
..........................................................................................................................659
12.3.2
穷举输入测试
......................................................................................................................660
12.3.3
多版本非相似软件验证的考虑
..........................................................................................660
12.3.3.1 多版本非相似软件的独立性 ....................................................................................................661
12.3.3.2 处理器相关的多重验证 .............................................................................................................661
