[发明专利]基于模块建模与模型检测一体化系统检测装置

权利要求书

1.一种基于模块建模与模型检测一体化系统检测装置，其特征在于，包括：

软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；

环境模块，用于通过所述原子模块库和组件模块库对所述待检测软件所处的环境建立环境模型；

属性模块，用于根据所述待检测软件所需满足的要求生成属性；

检查模块，用于对所述软件模型、所述环境模型和属性的有效性进行检查；

整合优化模块，用于对所述软件模型和所述环境模型的检测代码进行整合和优化，以生成整个系统的模型检测代码；以及

检测模块，用于通过模型检测工具对所述系统模型是否满足属性进行模型检测，以获得所述待检测软件的检测结果。

2.如权利要求1所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，还包括：

分析模块，用于当所述待检测软件有错误时，根据检测结果分析出错误发生的位置和相关结果报告。

3.如权利要求1所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，还包括：

修改模块，用于根据所述错误发生的位置和相关结果报告对所述待检测软件进行修改。

4.如权利要求1所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，还包括：

界面交互模块，用于显示用户的操作和检测结果。

5.如权利要求4所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，所述界面交互模块具体包括：

建模图形展示子模块，用于将所述软件模型和所述环境模型进行图形化的显示；

功能子模块，用于显示所述装置的状态和用户对所述装置中工具栏的操作；

建模窗口展示子模块，用于显示所述系统属性、模块的参数、语法错误和检测结果。

6.如权利要求5所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，所述建模图形展示子模块具体包括：

模块图形，用于表示原子模块、组件块和对应连线的图形；

建模面板，用于将所述原子模块、组件块和对应连线连接，并依附在面板上；

模块图形分布，用于提供包括布线操作、模块变化的模块图形的辅助信息。

7.如权利要求5所述的基于模块建模与模型检测一体化系统检测装置，其特征在于，所述建模窗口展示子模块具体包括：

错误显示窗口，用于显示所述软件模型和环境模型的语法错误窗口的信息，其中，所述错误窗口的信息包括错误的类型和位置信息；

参数设置窗口，用于设置所述原子模块、组件块和连线参数的窗口；

属性建模窗口，用于对属性模块建立窗口；

检测结果窗口，用于显示检测结果的窗口，并图形化的方式显示。