堆栈分析工具项目公告

6

总体要求

6.1

工具组成

堆栈分析工具，针对DSP2812、DSP28335、DSP28377、ARM STM32F407、ARM MIMX8QM6AVUFFAB、MPC5554平台软件适航中对软件堆栈分析的要求，完成对软件堆栈使用情况的分析。依据DO-330标准要求，堆栈分析工具需要开展等级为TQL-5的工具鉴定以表明适航符合性，并提供工具鉴定包。

6.1.1

堆栈分析功能模块

该模块主要用于DSP2812、DSP28335、DSP28377、ARM STM32F407和ARM MIMX8QM6AVUFFAB、MPC5554平台的堆栈分析，避免软件出现堆栈溢出等安全性问题。

该模块支持每个任务、进程、中断的最大堆栈使用量分析，支持从任意入口点（函数）开始进行最大堆栈分析，并提供详细的堆栈分析方法。

6.1.2

工具鉴定模块

工具鉴定模块提供堆栈分析功能模块和耦合分析功能模块鉴定包的鉴定服务，佐证软件功能对适航要求的符合性。具体如下：

1）提供符合DO-330 TQL-5的堆栈分析功能模块鉴定包；

2）提供堆栈分析功能模块鉴定包的鉴定服务；

3）提供符合DO-330 TQL-5的耦合分析功能模块鉴定包；

4）提供耦合分析功能模块鉴定包的鉴定服务。

6.1.3

耦合分析功能模块

该模块主要用于嵌入式软件的耦合分析，确保软件部件之间的交互和依赖关系正确。

耦合分析功能模块对各种函数模块进行测试，包括功能测试、结构覆盖和耦合分析。其功能如下：

1）支持验证功能是否符合需求；

2）提供测试的结构覆盖率分析；

3）支持分析软件的数据耦合和控制耦合关系，并统计测试对耦合关系的覆盖率情况。

6.1.4

在线文档生成功能

该功能主要用于对嵌入式软件测试结果进行文档生成，有文档生成、在线编辑、文档预览等功能。

7

详细技术要求

7.1

堆栈分析功能模块

7.1.1

堆栈分析整体要求

7.1.1.1

软件具备简洁、友好的人机界面。

7.1.1.2

软件应操作便利，支持丰富的快捷键操作。

7.1.1.3

购买的软件必须是最新版本，并提供证明文件。

7.1.1.4

投标方必须提供符合性方法论,包括详细的堆栈分析方法,随交付提供。

7.1.1.5

工具具有可扩展性，需要因业务需求新购目标处理器平台分析模块应具备插件式安装部署，不应对原有工具使用造成影响。

*7.1.1.6

支持1个license。