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

摘要

本发明提出一种基于模块建模与模型检测一体化系统检测装置，包括：软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；环境模块，用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型；属性模块，用于根据待检测软件所需满足的要求生成属性；检查模块，用于对软件模型、环境模型和属性的有效性进行检查；整合优化模块，用于对软件模型和环境模型的检测代码进行整合和优化，以生成整个系统的模型检测代码；检测模块，用于通过模型检测工具对系统模型是否满足属性进行模型检测，以获得待检测软件的检测结果。本发明的装置可以提高软件测试的效率，节省人力和时间，同时降低形式化建模的难度和错误率。

主权项

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