您的位置: 专家智库 > >

黄陇

作品数:15 被引量:96H指数:5
供职机构:北京航空航天大学计算机学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术军事电气工程更多>>

文献类型

  • 14篇期刊文章
  • 1篇会议论文

领域

  • 15篇自动化与计算...
  • 1篇电气工程
  • 1篇军事

主题

  • 5篇软件测试
  • 5篇数据生成
  • 5篇测试数据
  • 4篇基于UML
  • 4篇测试数据生成
  • 3篇顺序图
  • 3篇UML
  • 3篇UML顺序图
  • 3篇测试用例
  • 2篇软件测试数据
  • 2篇软件测试数据...
  • 2篇自动化
  • 2篇WEB应用
  • 2篇测试用例生成
  • 1篇电路控制
  • 1篇多态
  • 1篇多态性
  • 1篇遥控
  • 1篇元模型
  • 1篇软件编程

机构

  • 10篇中国人民解放...
  • 6篇北京航空航天...
  • 2篇中国人民解放...

作者

  • 15篇黄陇
  • 10篇陈致明
  • 8篇于洪敏
  • 4篇金茂忠
  • 3篇吴际
  • 3篇刘超
  • 2篇李诺
  • 1篇郭玉福

传媒

  • 2篇计算机应用与...
  • 2篇计算机应用
  • 1篇计算机与网络
  • 1篇无线电工程
  • 1篇南京大学学报...
  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇北京航空航天...
  • 1篇计算机科学
  • 1篇军事运筹与系...
  • 1篇2005’全...

年份

  • 2篇2007
  • 3篇2006
  • 5篇2005
  • 3篇2004
  • 2篇2003
15 条 记 录,以下是 1-10
排序方式:
实用型红外遥控多功能开关的设计与实现被引量:2
2003年
该文讨论了一种基于单片机的红外遥控多功能开关的设计思路及具体的实现方法,通过将硬件电路控制和软件编程巧妙地结合起来,使所开发的系统具有较强的新颖性和实用性。文中同时给出了总控框图和核心电路图。
黄陇
关键词:红外自动控制时钟电路控制软件编程
模型驱动的Web应用测试
2007年
为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。
李诺黄陇吴际金茂忠刘超
关键词:WEB应用测试用例生成
基于DataPool的Web测试数据生成与维护方法被引量:3
2006年
针对Web应用测试数据所具有的特点,本文提出了一种基于DataPool的Web应用测试数据生成与维护方法。在形式化定义DataPool和明确其语义描述的基础上,根据浏览器端不同的输入域类型在DataPool的编辑视图中提供了相对应的测试数据生成方式,并提供了各种维护功能。在DataPool浏览视图中,支持以单个和批量的方式选择测试数据。
黄陇李诺金茂忠刘超
关键词:WEB测试测试数据数据维护
软件测试数据生成中的区间削减方法研究
在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,本文提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区...
黄陇陈致明
关键词:软件测试数据生成
文献传递
基于UML的软件测试自动化研究被引量:23
2004年
测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用 ,基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上 ,详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程 ,对其中的主要问题进行了理论分析 。
黄陇于洪敏陈致明于秀山
关键词:UML软件测试测试自动化
一种Web应用测试数据生成与组织架构被引量:2
2006年
随着Web应用的不断普及,Web应用软件的测试越来越重要。论文针对Web应用的测试数据生成和组织结构问题,提出了一种元模型驱动的数据池技术,并实现了一个测试数据生成与组织框架。该框架依据Web页面上的输入域类型、输入变量的数据类型以及实例化约束条件,支持手工或自动产生测试数据。
黄陇吴际金茂忠刘超
关键词:WEB应用测试数据
UML顺序图的结构化操作语义研究被引量:13
2005年
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。
黄陇于洪敏陈致明
关键词:UML顺序图结构化操作语义
基于UML的软件测试用例自动生成技术研究被引量:20
2004年
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。
黄陇陈致明于洪敏于秀山
关键词:UML模型测试用例软件测试自动生成技术软件自动化
基于UML和IDEF的装备保障C^3I系统体系结构建模研究被引量:5
2004年
UML和IDEF模型对复杂系统体系结构的分析具有重要价值。根据装备保障C3I系统的特点 ,对其体系结构进行了深入研究 ,通过建立系统功能模型、IDEF1X对象静态模型以及UML动态交互模型 ,从不同侧面较完整地描述了装备保障C3I系统体系结构框架 ,并提出了相应的物理实现模型 ,对复杂系统的建模具有一定的理论和实际意义。
黄陇陈致明于洪敏
关键词:UMLIDEFC3I系统
软件测试数据生成中的区间削减方法研究被引量:2
2005年
在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.
黄陇陈致明
关键词:软件测试测试数据
共2页<12>
聚类工具0