6

總體要求

6.1

工具組成

堆棧分析工具，針對DSP2812、DSP28335、DSP28377、ARM STM32F407、ARM MIMX8QM6AVUFFAB、MPC5554平臺軟件適航中對軟件堆棧分析的要求，完成對軟件堆棧使用情況的分析。依據(jù)DO-330標準要求，堆棧分析工具需要開展等級為TQL-5的工具鑒定以表明適航符合性，并提供工具鑒定包。

6.1.1

堆棧分析功能模塊

該模塊主要用于DSP2812、DSP28335、DSP28377、ARM STM32F407和ARM MIMX8QM6AVUFFAB、MPC5554平臺的堆棧分析，避免軟件出現(xiàn)堆棧溢出等安全性問題。

該模塊支持每個任務(wù)、進程、中斷的最大堆棧使用量分析，支持從任意入口點（函數(shù)）開始進行最大堆棧分析，并提供詳細的堆棧分析方法。

6.1.2

工具鑒定模塊

工具鑒定模塊提供堆棧分析功能模塊和耦合分析功能模塊鑒定包的鑒定服務(wù)，佐證軟件功能對適航要求的符合性。具體如下：

1）提供符合DO-330 TQL-5的堆棧分析功能模塊鑒定包；

2）提供堆棧分析功能模塊鑒定包的鑒定服務(wù)；

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

4）提供耦合分析功能模塊鑒定包的鑒定服務(wù)。

6.1.3

耦合分析功能模塊

該模塊主要用于嵌入式軟件的耦合分析，確保軟件部件之間的交互和依賴關(guān)系正確。

耦合分析功能模塊對各種函數(shù)模塊進行測試，包括功能測試、結(jié)構(gòu)覆蓋和耦合分析。其功能如下：

1）支持驗證功能是否符合需求；

2）提供測試的結(jié)構(gòu)覆蓋率分析；

3）支持分析軟件的數(shù)據(jù)耦合和控制耦合關(guān)系，并統(tǒng)計測試對耦合關(guān)系的覆蓋率情況。

6.1.4

在線文檔生成功能

該功能主要用于對嵌入式軟件測試結(jié)果進行文檔生成，有文檔生成、在線編輯、文檔預(yù)覽等功能。

7

詳細技術(shù)要求

7.1

堆棧分析功能模塊

7.1.1

堆棧分析整體要求

7.1.1.1

軟件具備簡潔、友好的人機界面。

7.1.1.2

軟件應(yīng)操作便利，支持豐富的快捷鍵操作。

7.1.1.3

購買的軟件必須是最新版本，并提供證明文件。

7.1.1.4

投標方必須提供符合性方法論,包括詳細的堆棧分析方法,隨交付提供。

7.1.1.5

工具具有可擴展性，需要因業(yè)務(wù)需求新購目標處理器平臺分析模塊應(yīng)具備插件式安裝部署，不應(yīng)對原有工具使用造成影響。

*7.1.1.6

支持1個license。