您的位置： 专家智库 > >

郭健强

作品数：9 被引量：59H指数：5
供职机构：西安电子科技大学计算机学院软件工程研究所更多>>
发文基金：电科院预研基金更多>>
相关领域：自动化与计算机技术电子电信医药卫生更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 2篇学位论文

领域

  • 8篇自动化与计算...
  • 1篇电子电信
  • 1篇医药卫生

主题

  • 3篇面向对象
  • 3篇程序设计
  • 2篇软件测试
  • 2篇软件开发
  • 2篇面向对象程序
  • 2篇超媒体
  • 2篇超文本
  • 1篇对象技术
  • 1篇对象模型
  • 1篇牙科
  • 1篇牙科手术
  • 1篇中耳
  • 1篇中耳手术
  • 1篇软件体系结构
  • 1篇手术
  • 1篇数据流
  • 1篇数据流异常
  • 1篇体系结构
  • 1篇图论
  • 1篇人机

机构

  • 9篇西安电子科技...

作者

  • 9篇郭健强
  • 4篇蔡希尧
  • 2篇龚杰民
  • 1篇刘晓霞
  • 1篇刘西洋

传媒

  • 5篇西安电子科技...
  • 1篇计算机研究与...
  • 1篇计算机科学

年份

  • 2篇2000
  • 1篇1999
  • 4篇1998
  • 1篇1997
  • 1篇1996
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
一个超文本原型系统的设计与实现
该论文深入分析了超文本数据模型,并详细讨论了新一代超媒体系统应引入的机制和功能.论文对国际上普遍接受的Dexter超媒体参考模型作了介绍并给予评价.针对超文本存在的"迷路"问题,该论文提出了两种解决方法:生成树方法和语义...
郭健强
关键词：超文本超媒体人机交互
基于系统稳定理论的程序自适应模型
1998年
系统从任意状态开始最终收敛到某个封闭状态集的能力是系统稳定理论的研究内容．文中在给出了系统稳定理论的基本概念后，提出了程序自适应性的形式定义．该形式模型与具体应用和实现技术无关，对指导具有收敛性的自适应程序的设计有重要价值，并能用于验证程序的自适应性．
郭健强蔡希尧
关键词：自适应程序
一种检查面向对象程序中数据流异常的方法被引量：5
2000年
数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况．仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法．当类中方法的调用顺序符合该类的方法序列规范时，应用提出的方法能保证发现所有的介于不同方法之间的数据流异常．
郭健强蔡希尧
关键词：数据流异常程序静态分析面向对象程序设计
耳科手术训练的计算机模拟系统
1998年
外科医生经常需要利用人体标本设计手术过程，医科学生也要利用人体标本学习和训练必要的手术技巧．一个能用来模拟人体中耳手术过程的模拟训练系统用逼真的计算机建模、模拟和可视化系统来辅助这类活动，从而降低培训成本，并给予医学和医科学生学习和设计手术过程更大的灵活性．该系统也能作为牙科医生进行牙齿钻孔的训练工具．
刘晓霞郭健强
关键词：计算机模拟外科手术中耳手术牙科手术
基于图重写理论的分析/设计模型变换初探
1998年
以ＯＯ可视化建模语言的进一步扩充为出发点，提出面向特定领域的分析／设计模型变换概念．进而在深入剖析以Ｓｈｌａｅｒ－Ｍｅｌｏｒ方法为代表的现有研究工作的基础上，进一步提出基于图重写理论的模型变换方法．并以ＣＡＳＥ集成环境为特定域，给出应用这种方法的一个实例．
刘西洋郭健强蔡希尧
关键词：程序设计软件体系结构软件开发
构件软件与面向对象技术被引量：31
1998年
阐明了以构件软件为目标的ＯＬＥ技术与面向对象编程的关系，指出ＯＬＥ技术是一种系统级对象技术，它是对面向对象编程的进一步补充．在介绍构件对象模型ＣＯＭ中核心概念的基础上，讨论了ＣＯＭ中的对象机制，着重研究ＣＯＭ是如何解决构件软件必须解决的问题，并指出ＣＯＭ引入的接口概念是对“对象”概念的重要发展，它成功解决了新旧版本的兼容问题，使分布式。
郭健强龚杰民
关键词：构件对象模型OLE面向对象编程
面向对象软件测试理论与技术的研究
进入90年代,面向对象范型(OO范型)受到了研究界和工业界的普遍重视并获得广泛应用.OO为软件测试提出了很多新问题,但当前对OO软件测试的研究还很薄弱.能否找到有效的适用于OO软件的测试技术,很大程度上决定着OO能还真正...
郭健强
关键词：软件测试面向对象面向对象程序设计
超文本中的迷路问题被引量：10
1997年
基于图论算法提出了两种减少迷路问题的方法：层次化方法和语义聚集方法．此外。
郭健强龚杰民
关键词：超文本迷路问题超媒体图论
基于方法序列规范的测试用例生成被引量：11
2000年
1 引言面向对象软件测试技术的研究是最近几年才引起重视的一个新领域。OO程序由于引入了封装、继承、多态等概念和机制,在程序的组织结构和运行机制上与传统的程序有很大差别,因而也对软件测试技术提出了新要求。无论是传统程序还是OO程序,测试活动通常分4个步骤进行:(1)确定测试准则;(2)
郭健强蔡希尧
关键词：软件测试测试用例软件开发
全选 清除 导出
共1页<1>
聚类工具0