您的位置： 专家智库 > >

夏默

作品数：5 被引量：1H指数：1
供职机构：清华大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 4篇模块库
  • 4篇环境模型
  • 3篇一体化
  • 3篇模块化
  • 3篇模块化建模
  • 2篇硬件
  • 2篇硬件模型
  • 2篇软件模型
  • 2篇组件
  • 2篇组件库
  • 2篇系统模型
  • 2篇错误率
  • 1篇形式化
  • 1篇形式化建模
  • 1篇软件测试
  • 1篇数据流
  • 1篇控制流
  • 1篇并发系统

机构

  • 5篇清华大学

作者

  • 5篇夏默
  • 4篇罗贵明
  • 2篇罗建
  • 2篇孙冕

年份

  • 1篇2017
  • 1篇2016
  • 1篇2015
  • 2篇2013
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种模块建模与模型检测一体化自动检测方法
本发明提出了一种模块建模与模型检测一体化自动检测方法，包括以下步骤：建立多个原子模块，并由多个原子模块组成原子模块库；建立多个组件模块，由多个组件模块构造组件库；根据原子模块库和组件库对待检测软件或硬件进行建模以分别得到...
罗贵明夏默罗建
文献传递
基于模块建模与模型检测一体化系统检测装置
本发明提出一种基于模块建模与模型检测一体化系统检测装置，包括：软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；环境模块，用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型；属性模块，用于根据待...
罗贵明夏默孙冕刘湖钰卢欣晔
文献传递
并发系统的建模与验证一体化方法的研究
现代软硬件系统变得越来越复杂和智能化,并具有并发的特征。随着并发系统的广泛应用,尤其在关系人们生命财产安全的领域,其可靠性受到高度重视。传统的安全性保障方法主要基于测试技术,难以保证测试用例覆盖系统的所有可能执行路径。模...
夏默
关键词：并发系统模块化建模控制流数据流
文献传递
一种模块建模与模型检测一体化自动检测方法
本发明提出了一种模块建模与模型检测一体化自动检测方法，包括以下步骤：建立多个原子模块，并由多个原子模块组成原子模块库；建立多个组件模块，由多个组件模块构造组件库；根据原子模块库和组件库对待检测软件或硬件进行建模以分别得到...
罗贵明夏默罗建
文献传递
基于模块建模与模型检测一体化系统检测装置
本发明提出一种基于模块建模与模型检测一体化系统检测装置，包括：软件模块，用于通过原子模块库和组件模块库对待检测软件建立模型；环境模块，用于通过原子模块库和组件模块库对待检测软件所处的环境建立环境模型；属性模块，用于根据待...
罗贵明夏默孙冕刘湖钰卢欣晔
全选 清除 导出
共1页<1>
聚类工具0