[发明专利]一种面向嵌入式软件的软件分析集成方法

说明书

技术领域

本发明涉及嵌入式技术领域，尤其涉及一种面向嵌入式软件的软件分析集成方法。

背景技术

目前已经有很多软件分析方法的集成框架，这些集成框架所针对的分析方法有的是基于模型的分析方法，有的是基于源代码的分析方法；有的分析框架所集成的是动态的分析方法，有的集成的是静态的分析方法；有的是基于web的分析方法集成框架，有的则非基于web的分析方法集成框架。

比较典型的工作有以下几项：

基于模型转换的软件分析方法集成框架

DUALLY[Malavolta 09]是意大利拉奎拉大学(Universit`a dell’Aquila，Italy)提出的一个提供软件体系结构语言和工具进行交互的自动框架。DUALLY框架的方法总览如图1所示。

DUALLY的基于模型转换技术，为不同ADL之间的转换提供了简单且可复用的描述方式，并且为自动转换提供了工具支持。除此之外，DUALLY有着良好的扩展性。由于框架中集成的ADL与A0之间的星形关系，新加入到DUALLY框架的ADL能够获得与框架中所有已集成的ADL之间进行互操作的能力。

运行时刻的分析方法集成框架

KAMI(Keep Alive Models with Implementations)[Epifani 09]是意大利米兰理工大学(Politecnico di Milano，Italy)提出的一个运行时刻系统分析框架。KAMI为分析方法的集成提供了一个基于插件的框架，如图2所示。

模型插件(Model plugin)支持KAMI通过解析模型文件来获得不同的模型。在此基础上，模型插件还负责基于需求对模型进行分析。当需求不能满足时，则调用在系统模型中定义好的异常处理。

输入插件(input plugin)负责在模型与运行系统之间建立联系。运行系统通过监控获得数据，并将数据反馈给模型。输入插件的目标是处理运行时刻系统提供的使用不同输入格式和协议的数据。

运行系统模型不停地被更新，模型插件以模型为输入，进行持续的分析，以验证需求是否得到满足。当出现需求违背的情况，KAMI抛出异常，记录事件，并调用相关的异常处理程序。异常处理程序是用户提供的Java代码。使用这种方法，模型插件可以将异常的约束作为警告或者根据异常对系统进行重配置，从而支持自适应过程。

基于web的分析方法集成框架

SOFAS是一个基于web的轻量级软件分析方法集成框架，该框架基于目前软件分析方法无论从种类还是从数量上都变得越来越多，但分析方法与分析方法之间很少存在协同作用的现实情况，提出了一种轻量级的框架一SOFAS，一个分布式的软件分析工具集成平台，该平台使得分析方法之间能够无缝协同作用。软件分析方法作为一种web Service的形式被组装进该平台。此外，软件分析人员能够根据自身需要选择、组装、调用已被集成于平台中的分析方法，分析能够独立地执行，分析人员从中提取分析结果。这样，软件开发人员，软件测试人员以及QA就能够对该软件系统的质量属性有一个充分的了解。

不同的分析方法集成框架所针对集成的分析方法各不相同，一方面，分析方法由于设计与实现的独立性其分析目的各不相同，有些分析方法针对的是运行时的软件系统，而有些分析方法针对的是代码，而代码又可以分为源代码与目标代码两种，有些分析方法分析的是源代码，有些分析方法分析的是目标代码。因此由于分析方法设计与实现的独立性，分析方法集成框架的设计与实现也各不相同。因此分析方法集成框架中有些分析方法所针对的是运行时的软件系统，所集成的运行时候软件分析工具，而且的分析方法所针对的软件系统软件架构方法的属性，所以所针对分析的是软件架构方面的属性。不同的分析方法集成框架的要求各不相同，由于目前基于Eclipse存在很多开源并且可用的分析方法，这种分析方法以插件的形式体现。本发明为了克服现有技术的缺陷，提供了一种基于Eclipse的分析方法集成工具。

发明内容

本发明的目的是为了克服现有技术的缺陷，提供一种面向嵌入式软件的软件分析集成方法，通过本发明使得分析方法以插件的形式体现，软件分析方法不但能被用户直接使用，而且能够通过工具间的相互调用，实现功能组合，减少人工参与，提高软件分析效率。

一种面向嵌入式软件的软件分析集成方法，该方法包括软件分析方法集成模块、分析方法执行模块与分析方法结果追踪模块；采用基于Eclipse的分析方法集成机制，并在集成的过程中采用基于Eclipse的输入适配方法，具体的流程为：