您的位置: 专家智库 > >

王志海

作品数:6 被引量:16H指数:3
供职机构:西安交通大学电子与信息工程学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 4篇自动生成
  • 3篇测试数据
  • 2篇地震
  • 2篇地震信息
  • 2篇地震信息系统
  • 2篇信息系统
  • 2篇数据自动生成
  • 2篇自动生成算法
  • 1篇地震波
  • 1篇地震波形
  • 1篇远程
  • 1篇远程调用
  • 1篇震波
  • 1篇数据库
  • 1篇数据流
  • 1篇浏览
  • 1篇浏览系统
  • 1篇控制流
  • 1篇白盒
  • 1篇白盒测试

机构

  • 6篇西安交通大学
  • 2篇西北核技术研...
  • 1篇湖南涉外经济...

作者

  • 6篇王志海
  • 5篇沈钧毅
  • 3篇陈继锋
  • 2篇郑学锋
  • 2篇孙鹏
  • 2篇王欣峻
  • 1篇靳平
  • 1篇朱利
  • 1篇严峰
  • 1篇刘勇

传媒

  • 2篇微电子学与计...
  • 1篇计算机工程
  • 1篇核电子学与探...
  • 1篇计算机科学

年份

  • 2篇2007
  • 4篇2006
6 条 记 录,以下是 1-6
排序方式:
基于B/S方式的远程地震波形浏览系统设计与实现
2006年
基于网络B/S模式地震波形数据实时浏览,在现代地震研究与数据服务方面具有重要作用并且技术亟待提高。全面阐述了基于B/S方式实现地震波形数据远程实时浏览的基本思路,软件实现方法、系统体系结构框架以及编程实现。重点研究了远程数据调用、大数据的显示以及JAVA程序开发等关键技术问题。
郑学锋沈钧毅孙鹏靳平王志海严峰
关键词:远程调用地震信息系统JAVA
一种结构测试数据自动生成的框架被引量:4
2007年
针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。
陈继锋沈钧毅王志海王欣峻
关键词:控制流数据流测试数据自动生成
基于迭代松弛法的白盒测试数据自动生成技术研究
王志海
一种基于数据流准则的测试数据自动生成算法被引量:6
2007年
提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU-PATHS覆盖准则,应用Warshall算法来计算判定DU对的可行可测性,通过优化选取覆盖DU对的测试序列,给出了基于测试序列的测试数据自动生成的方法,最后通过实例和实验进行了验证。
陈继锋沈钧毅王欣峻刘勇王志海
关键词:测试数据
一种基于Java2D的均匀大数据集曲线表达快速算法被引量:3
2006年
基于网络B/S模式地震波形数据实时浏览,在现代地震研究与数据服务方面具有重要作用并且技术亟待提高。文章解决了基于B/S模式动态调阅服务器端数据库系统中的波形数据并即时显示、编辑的问题,重点研究了Java2D在波形曲线表达方面的局限性,并针对由均匀大数据集构成的曲线表达提出了较为快速的算法,最后给出了该算法在实际中的应用。
郑学锋王志海孙鹏沈钧毅黄文辉
关键词:JAVA2数据库地震信息系统
一种基于分支覆盖的测试数据自动生成算法被引量:3
2006年
通过构造新的程序流图,利用Fibonacci法优化选取路径,为指定的分支生成测试数据。提出了路径测试数据生成代价的概念,并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时,直接求解线性约束集即可生成测试数据,或判定路径不可行;当分支谓词含有非线性表达式时,利用均差近似导数将非线性函数线性化,通过简单的迭代,亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行,则选取新的路径,重复以上过程,直至求出所期望的数据,或无新的路径被选取,给定分支不可达。实例和实验表明,算法可行、有效。
陈继锋朱利沈钧毅王志海
共1页<1>
聚类工具0