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

说明书

技术领域

本发明涉及软件测试领域，特别涉及一种基于模块建模与模型检测一体化系统检测装置。

背景技术

随着计算机技术的快速发展，软件的需求和增长越来越显著。软件的广泛应用及软件的复杂构造形成了近年来软件开发的两大特点，由此软件设计过程中的错误难以避免。软件的测试是检测软件正确性的一种常用方法。然而，软件测试很难完全找出软件的错误。模型检测理论是上世纪80年代提出的。该方法是基于形式化方法，通过遍历系统的状态空间来发现软件系统中所有的缺陷，从而保证系统的安全性、稳定性和可靠性。模型检测方法的虽然可以实现系统验证的自动化，以及发现问题后还可以提供反例及其路径，帮助用户对反例进行分析，找出并解决系统中存在的问题，然而该模型检测方法尚处在发展阶段，并且该方法过于专业化普通用户无法使用，只有具备专业知识的人员才能够使用，因此无法普及。另外，状态爆炸等问题也使得模型检测技术难于应用在软件检测。

发明内容

本发明的目的旨在至少解决上述的技术缺陷之一。

为此，本发明的目的在于提出一种基于模块建模与模型检测一体化系统检测装置。

为达到上述目的，本发明提出了一种基于模块建模与模型检测一体化系统检测装置，包括：软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；环境模块，用于通过所述原子模块库和组件模块库对所述待检测软件所处的环境建立环境模型；属性模块，用于根据所述待检测软件所需满足的要求生成属性；检查模块，用于对所述软件模型、所述环境模型和属性的有效性进行检查；整合优化模块，用于对所述软件模型和所述环境模型的检测代码进行整合和优化，以生成整个系统的模型检测代码；以及检测模块，用于通过模型检测工具对所述系统模型是否满足属性进行模型检测，以获得所述待检测软件的检测结果。

本发明的装置可以提高软件测试的效率，节省人力和时间，同时降低形式化建模的难度和建模错误率。

本发明的设计中，还包括：分析模块，用于当所述待检测软件有错误时，根据检测结果分析出错误发生的位置和相关结果报告。

本发明的设计中，还包括：修改模块，用于根据所述错误发生的位置和相关结果报告对所述待检测软件进行修改。

本发明的设计中，所述装置还包括：界面交互模块，用于显示用户的操作和检测结果。

本发明的设计中，所述界面交互模块具体包括：建模图形展示子模块，用于将所述软件模型和所述环境模型进行图形化的显示；功能子模块，用于显示所述装置的状态和用户对所述装置中工具栏的操作；建模窗口展示子模块，用于显示所述系统属性、模块的参数、语法错误和检测结果。

本发明的设计中，所述建模图形展示子模块具体包括：模块图形，用于表示原子模块、组件块和对应连线的图形；建模面板，用于将所述原子模块、组件块和对应连线连接，并依附在面板上；模块图形分布，用于提供包括布线操作、模块变化的模块图形的辅助信息。

本发明的设计中，所述建模窗口展示子模块具体包括：错误显示窗口，用于显示所述软件模型和环境模型的语法错误窗口的信息，其中，所述错误窗口的信息包括错误的类型和位置信息；参数设置窗口，用于设置所述原子模块、组件块和连线参数的窗口；属性建模窗口，用于对属性模块建立窗口；检测结果窗口，用于显示检测结果的窗口，并图形化的方式显示。

本发明附加的方面和优点将在下面的描述中部分给出，部分将从下面的描述中变得明显，或通过本发明的实践了解到。

附图说明

本发明上述的和/或附加的方面和优点从下面结合附图对装置架构的描述中将变得明显和容易理解，其中：

图1为根据本发明设计的基于模块建模与模型检测一体化系统检测装置的一个结构框图；

图2为根据本发明另一设计的基于模块建模与模型检测一体化系统检测装置的另一个结构框图；

图3为根据本发明设计的基于模块建模与模型检测一体化系统检测装置的再一个结构框图；以及

图4为根据本发明实施的基于模块建模与模型检测一体化系统检测装置的类继承结构图。

具体实施方式

下面详细描述本发明的实施方式，实施方式的示例在附图中示出，其中自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描述的实施方式是示例性的，仅用于解释本发明，而不能理解为对本发明的限制。