发明名称 一种面向嵌入式软件的软件分析集成方法
摘要 本发明公开了一种面向嵌入式软件的软件分析集成方法。该方法包括软件分析方法集成模块、分析方法执行模块与软件分析方法分析结果追踪模块。该方法是采用基于Eclipse的分析方法集成机制,并在集成的过程中采用基于Eclipse的软件制品输入适配方法。通过本发明使得分析方法以插件的方式添加,软件分析方法不但能被用户直接使用,而且能够通过工具间的相互调用,实现功能组合,减少人工参与,提高软件分析效率,满足综合的软件分析需求。
申请公布号 CN102662661A 申请公布日期 2012.09.12
申请号 CN201210081950.2 申请日期 2012.03.23
申请人 中山大学 发明人 陈家熙;罗笑南;孟思明;罗育泽
分类号 G06F9/44(2006.01)I 主分类号 G06F9/44(2006.01)I
代理机构 代理人
主权项 一种面向嵌入式软件的软件分析集成方法,其特征在于,该方法包括软件分析方法集成模块、分析方法执行模块与分析方法结果追踪模块;采用基于Eclipse的软件分析方法集成机制,并在集成的过程中采用基于Eclipse的软件制品输入适配方法,具体的流程为:Step1:根据分析方法独一无二标识,在Eclipse平台提供的插件注册库中得到平台对于该分析方法的描述(IPluginDescripter),这些描述包括分析方法的安装地址,分析方法的名字,分析方法在平台上的扩展点等;如果该分析方法不存在,则返回;Step2:根据所得到的分析方法扩展点的描述(IPluginDescripter)得到分析方法的扩展点集合;Step3:利用Eclipse平台提供的ISelection,获得实际的输入制品,并根据实际的输入制品与分析方法所要求的制品之间的差异,调用相应的适配方法,并最终转换成分析方法所要求的制品的集合,提供给分析方法;Step4:根据Step2得到的分析方法的扩展点的集合,得到其中对于org.eclipse.ui.popupMenus扩展点的扩展,因为分析方法只有通过扩展该扩展点才能在Eclipse中右击相应的制品并启动分析方法;Step5:对于Step4中得到的结果,获得其中的配置点的集合(IConfigurationElement[]),因为对于每个扩展org.eclipse.ui.popupMenus的元素来说,可以存在多个配置项,这些配置项声明了该扩展点的输入类型,可以根据该输入类型对实际输入的软件制品进行输入适配;Step6:从上一步的配置点中得到相应的分析方法的函数集合,函数集合是指标签是由class声明的集合,由于一个分析方法可能有若干个不同类型的启动函数,因此本工具需要将其列出来由分析工具集成人员来选择正确的分析方法启动函数;Step7:由集成人员选出正确的启动函数后,本集成工具会将这些启动函数保存成为一个启动函数列表,在真正执行的时候供分析方法使用人员进行调用;Step8:在分析方法真正执行时利用回调方式启动该分析工具,并从Step3中得到与该分析方法相匹配的输入制品,分析方法对该制品进行分析,得到相应的分析结果。
地址 510006 广东省广州市番禺区大学城中山大学东校区教学实验中心C401
您可能感兴趣的专利