技术总结
本发明提出一种基于模块建模与模型检测一体化系统检测装置，包括：软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；环境模块，用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型；属性模块，用于根据待检测软件所需满足的要求生成属性；检查模块，用于对软件模型、环境模型和属性的有效性进行检查；整合优化模块，用于对软件模型和环境模型的检测代码进行整合和优化，以生成整个系统的模型检测代码；检测模块，用于通过模型检测工具对系统模型是否满足属性进行模型检测，以获得待检测软件的检测结果。本发明的装置可以提高软件测试的效率，节省人力和时间，同时降低形式化建模的难度和错误率。
技术研发人员：罗贵明;夏默;孙冕;刘湖钰;卢欣晔
受保护的技术使用者：清华大学
文档号码：201310350096
技术研发日：2013.08.13
技术公布日：2017.05.31