您的位置： 专家智库 > >

徐辰

作品数：2 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇会议论文
  • 1篇科技成果

领域

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

主题

  • 1篇形式规约
  • 1篇形式化
  • 1篇形式化方法
  • 1篇有限状态自动...
  • 1篇软件测试
  • 1篇数据自动生成
  • 1篇状态自动机
  • 1篇自动机
  • 1篇自动生成
  • 1篇规约
  • 1篇反例
  • 1篇EFSM
  • 1篇测试数据
  • 1篇测试数据自动...

机构

  • 2篇中国科学院软...

作者

  • 2篇张健
  • 2篇王晓旭
  • 2篇徐辰

传媒

  • 1篇第六届中国人...

年份

  • 2篇2001
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于EFSM的测试数据自动生成及静态分析工具
目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),...
王晓旭徐辰张健
关键词：有限状态自动机测试数据
文献传递
反例生成技术与形式化方法
张健王晓旭徐辰
该成果主要研究如何用约束求解技术和形式化方法来发现软件及其规格说明中的错误,可以支持SQL的一个子集和一定形式的后断言。比如说，它能找出一些具体的表，使得以这些表为输入并执行某个SQL语句后，结果为空表，或者结果的某一项...
关键词：
关键词：形式规约软件测试
全选 清除 导出
共1页<1>
聚类工具0