公开(公告)号：CN107402759B

公开(公告)日：2020-07-17

申请号：CN201710597752.4

申请日：2017-07-20

Applicant: 北京计算机技术及应用研究所

Inventor： 杨雨婷 ,  柯文俊 ,  达一菲 ,  侯敏 ,  陈静 ,  王泊涵 ,  王坤龙

IPC: G06F8/20 ,  G06F8/35

Abstract: 本发明涉及一种基于AADL扩展附件的软件系统堆栈分析方法，属于软件开发技术领域。本发明通过新增属性集，设计了一种基于AADL扩展附件的软件系统堆栈分析方法，其基于树结构实现任务栈空间计算和栈空间调整。利用系统AADL模型信息来构建树，自定义树结点数据结构，计算系统栈空间，并将其与内存大小对比，若设计的栈空间大小超出实际内存大小则进行调整，调整设计的堆栈数据以满足系统要求。该方法可以实现在模型设计阶段进行栈空间分析，提高软件开发效率。

公开(公告)号：CN107402759A

公开(公告)日：2017-11-28

申请号：CN201710597752.4

申请日：2017-07-20

Applicant: 北京计算机技术及应用研究所

Inventor： 杨雨婷 ,  柯文俊 ,  达一菲 ,  侯敏 ,  陈静 ,  王泊涵 ,  王坤龙

IPC: G06F9/44

Abstract: 本发明涉及一种基于AADL扩展附件的软件系统堆栈分析方法，属于软件开发技术领域。本发明通过新增属性集，设计了一种基于AADL扩展附件的软件系统堆栈分析方法，其基于树结构实现任务栈空间计算和栈空间调整。利用系统AADL模型信息来构建树，自定义树结点数据结构，计算系统栈空间，并将其与内存大小对比，若设计的栈空间大小超出实际内存大小则进行调整，调整设计的堆栈数据以满足系统要求。该方法可以实现在模型设计阶段进行栈空间分析，提高软件开发效率。