您的位置: 专家智库 > >

丁兆伟

作品数:3 被引量:2H指数:1
供职机构:中国科学院计算技术研究所更多>>
发文基金:创新研究群体科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

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

主题

  • 2篇软件开发
  • 2篇软件开发工具
  • 2篇重放
  • 2篇开源
  • 2篇开源软件
  • 1篇有限状态自动...
  • 1篇切片技术
  • 1篇状态自动机
  • 1篇自动机
  • 1篇F

机构

  • 3篇中国科学院
  • 1篇中国科学院研...

作者

  • 3篇张兆庆
  • 3篇冯晓兵
  • 3篇李丰
  • 3篇霍玮
  • 3篇丁兆伟
  • 2篇王雪
  • 2篇陈聪明
  • 2篇于洪涛
  • 1篇桑春雷

传媒

  • 1篇计算机学报

年份

  • 1篇2013
  • 1篇2012
  • 1篇2010
3 条 记 录,以下是 1-3
排序方式:
一种提高时序安全属性静态检测实用性的方法被引量:2
2012年
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
霍玮李丰丁兆伟桑春雷张兆庆冯晓兵
关键词:有限状态自动机切片技术
软件开发工具的测试方法及系统
本发明涉及软件开发工具的测试方法及其系统,方法包括:步骤1,配置模块获得并存储开源软件项目的构建命令,保存配置的对所述构建命令的修改方式;步骤2,测试执行模块读取存储的构建命令,依据配置的修改方式修改所述构建命令流,以将...
霍玮丁兆伟于洪涛李丰陈聪明王雪张兆庆冯晓兵
软件开发工具的测试方法及系统
本发明涉及软件开发工具的测试方法及其系统,方法包括:步骤1,配置模块获得并存储开源软件项目的构建命令,保存配置的对所述构建命令的修改方式;步骤2,测试执行模块读取存储的构建命令,依据配置的修改方式修改所述构建命令流,以将...
霍玮丁兆伟于洪涛李丰陈聪明王雪张兆庆冯晓兵
文献传递
共1页<1>
聚类工具0