作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

运行时异常对软件静态测试的影响研究  CNKI文献

当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交...

金大海 宫云战... 《计算机学报》 2011年06期 期刊

关键词: 软件测试 / 静态分析 / 运行时异常 / 异常模式

下载(273)| 被引(16)

软件代码测试技术  CNKI文献

在白盒测试技术中,代码缺陷模式检测和测试数据自动生成是两个典型的测试技术,目前虽然面向此类技术的工具众多,但其实现原理及应用效果却各不相同。文章基于对缺陷模式及用例生成技术的深入研究,提出一种有效的软件代...

金大海 宫云战... 《信息通信技术》 2015年03期 期刊

关键词: 软件测试 / 单元测试 / 缺陷检测 / 数据生成

下载(85)| 被引(9)

数据驱动自动化测试方法研究  CNKI文献

介绍了一种数据驱动方法,用以实现自动化测试。通过对测试数据的产生及选取、控制数据调度的 研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试 表,即可完成全面的自...

金大海 宫云战 《装甲兵工程学院学报》 2004年02期 期刊

关键词: 数据驱动 / 自动化测试 / 测试数据 / 控制数据

下载(341)| 被引(42)

过程约束信息在软件静态测试中的应用  CNKI文献

为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向...

金大海 宫云战... 《计算机辅助设计与图形学学报》 2011年03期 期刊

关键词: 软件测试 / 静态分析 / 过程约束信息 / 约束状态机

下载(128)| 被引(4)

函数后置信息在软件静态测试中的应用  CNKI文献

为了提高基于模式的代码缺陷检测精度,提出一种应用函数后置信息(PFI)软件静态测试方法.采用PFI描述函数中本地修改集、全局修改集以及参数和返回对数据流的影响,应用控制流迭代技术生成PFI.该方法以较低的计算复杂性...

金大海 宫云战... 《北京邮电大学学报》 2010年06期 期刊

关键词: 软件测试 / 静态测试 / 函数后置信息 / 控制流迭代

下载(100)| 被引(2)

何须浅碧深红色 自是花中第一流——听伊金霍洛旗第四小学...  CNKI文献

近日,我有幸在学校录播室聆听了伊旗第四小学骨干教师韩飞和王俊梅的语文示范课,他们气定神闲的姿态让我自愧不如,作为一名已从教五年的"菜鸟"级教师,我要从他们身上学习的东西太多了,真的是:高山仰止,景行...

金大海 《内蒙古教育》 2019年10期 期刊

关键词: 小学骨干教师 / 示范课 / 伊金霍洛旗 / 深红色

下载(22)| 被引(0)

朴实·扎实·厚实——参加余映潮老师讲学活动有感  CNKI文献

近年来,聆听余老师的课例及讲座,可谓百感交集:有过"徒有羡鱼情"的无可奈何,亦有过"云深不知处"的茫然失措,而今,庆幸终有找到一丝"源头活水"的"漫卷诗书喜欲狂"。余老师的每...

金大海 《内蒙古教育》 2019年04期 期刊

关键词: 字词教学 / 余映潮

下载(11)| 被引(0)

万山磅礴有主峰 龙衮九章挈一领——听余映潮《杨氏之子》...  CNKI文献

清朝文学家曾国藩在《复陈右铭太守书》中所言:"一篇之内,端绪不宜繁多,譬如万山旁薄,必有主峰;龙衮九章,但挈一领。否则首尾衡决,陈义芜杂,滋足戒也。"我想,教学亦如此,尤其是听完余映潮老师的《杨氏之子》...

金大海 《内蒙古教育》 2019年19期 期刊

关键词: 余映潮 / 《杨氏之子》

下载(1)| 被引(0)

基于现场总线的数据采集及其组网的实现  CNKI文献

分析了现场总线CAN在大规模数据采集系统中的应用优势,设计出一种基于CAN总线网络的通用型高精度数据采集电路。详细介绍了该采集电路的硬/软件设计,最后给出了该电路在大坝监测系统中的CAN组网实现。

金大海 《工矿自动化》 2005年05期 期刊

关键词: 监测系统 / 数据采集 / 组网 / CAN总线

下载(101)| 被引(1)

基于RF无线射频的机械加工条形码数据采集系统  CNKI文献

提出一种基于RF的机械加工条形码数据采集系统.介绍了系统解决方案及软硬件实现方法.该系统将具有RF无线射频通信功能的条形码数据采集器组网进行数据的传输,解决了人工填单将生产现场的数据信息上报管理系统的实际问...

金大海 《西安工程大学学报》 2008年06期 期刊

关键词: 条形码 / 射频通信 / 数据采集

下载(74)| 被引(0)

机械加工业条形码数据采集系统的网络构建  CNKI文献

利用现场总线CAN BU S实现机械加工生产车间的数据采集与通信.将具有CAN总线通信功能的条形码数据采集器组网并进行数据的传输,实现了企业管理层与现场层的数据信息共享,从而实现企业信息化管理系统中生产现场的数据采...

金大海 《西安工程科技学院学报》 2005年03期 期刊

关键词: 条形码 / 现场总线 / 数据采集

下载(59)| 被引(2)

基于缺陷关联的静态分析优化  CNKI文献

缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种...

张大林 金大海... 《软件学报》 2014年02期 期刊

关键词: 静态分析 / 优化 / 缺陷关联 / 抽象解释

下载(385)| 被引(18)

交流变频软启动同步切换的实现  CNKI文献

主要解决使用一台变频器带载软启动多台设备时所遇到的同步切换问题.借助锁相技术可使从变频器向工频电源切换的瞬间电压的大小频率和相位一致,达到平稳切换的目的.切换过程中电机电流不超过其额定电流的1.5倍,...

金大海 丁学文 《西北纺织工学院学报》 1999年02期 期刊

关键词: 同步切换 / 锁相环 / 变频器

下载(111)| 被引(0)

基于三层网络互联实验平台的实现  CNKI文献

介绍了管理层、控制层和现场设备层以TCP IP技术和现场总线(CAN)技术为基础通过网关或路由器进行互联的监控网络实验平台,着重论述了本实验平台的软硬件设计方法和功能。

金大海 王艳 《实验室研究与探索》 2005年05期 期刊

关键词: 网络互联 / 以太网 / 现场总线

下载(49)| 被引(0)

基于区域内存模型的C程序静态分析  CNKI文献

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及...

董玉坤 金大海... 《软件学报》 2014年02期 期刊

关键词: 可寻址表达式 / 内存模型 / 静态分析 / 符号化函数摘要

下载(239)| 被引(11)

分布式变频调速实验系统  CNKI文献

介绍了利用自制的交流变频调速实验装置 ( JTS- 1)实现的分布式计算机控制交流调速实验系统 ,管理级由 PC机承担 ,控制级为交流变频调速实验装置 ,PC机和实验装置之间的通信使用了计算机串行接口标准 RS2 32 / 4 2 2。

金大海 《实验室研究与探索》 2001年03期 期刊

关键词: 分布式计算机控制 / 实验装置 / 通信

下载(24)| 被引(2)

小型空心砌块填充墙抹灰后出现裂缝的原因及防治  CNKI文献

本文针对轻集料混凝土小型空心砌块墙体出现裂缝的原因进行分析,并根据实践经验提出防治措施。

金大海 刘桂兰... 《科技信息》 2011年10期 期刊

关键词: 轻集料混凝土小型空心砌块墙体 / 裂缝 / 原因 / 防治

下载(12)| 被引(0)

入侵检测技术的初步探究  CNKI文献

入侵检测系统是现代网络安全的重要组成部分。入侵检测就是通过监视特定的计算机或网络,检测可能的攻击。主要有两类入侵检测系统:基于主机的和基于网络的。前者监视整个网络或部分网段,后者监视特定的计算机。如将两...

金大海 《现代计算机(专业版)》 2001年03期 期刊

关键词: 实时检测 / 网络引擎 / 系统代理

下载(22)| 被引(0)

可编程控制器在皂洗机上的应用  CNKI文献

介绍可编程控制器在印染厂皂洗机电气控制中的应用,包括硬件结构、软件设计和程序梯形图等。

金大海 丁学文 《西北纺织工学院学报》 1995年02期 期刊

关键词: 可编程控制器 / 皂洗机 / 同步

下载(12)| 被引(0)

Java中空指针引用故障的静态检测方法  CNKI文献

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故...

杨睿 金大海... 《清华大学学报(自然科学版)》 2011年S1期 期刊

关键词: 软件测试 / 静态分析 / 空指针引用故障 / 状态机

下载(172)| 被引(7)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》