黄陇
- 作品数:15 被引量:95H指数:5
- 供职机构:北京航空航天大学计算机学院更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术军事电气工程更多>>
- 实用型红外遥控多功能开关的设计与实现被引量:2
- 2003年
- 该文讨论了一种基于单片机的红外遥控多功能开关的设计思路及具体的实现方法,通过将硬件电路控制和软件编程巧妙地结合起来,使所开发的系统具有较强的新颖性和实用性。文中同时给出了总控框图和核心电路图。
- 黄陇
- 关键词:红外自动控制时钟电路控制软件编程
- 模型驱动的Web应用测试
- 2007年
- 为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。
- 李诺黄陇吴际金茂忠刘超
- 关键词:WEB应用测试用例生成
- 基于DataPool的Web测试数据生成与维护方法被引量:3
- 2006年
- 针对Web应用测试数据所具有的特点,本文提出了一种基于DataPool的Web应用测试数据生成与维护方法。在形式化定义DataPool和明确其语义描述的基础上,根据浏览器端不同的输入域类型在DataPool的编辑视图中提供了相对应的测试数据生成方式,并提供了各种维护功能。在DataPool浏览视图中,支持以单个和批量的方式选择测试数据。
- 黄陇李诺金茂忠刘超
- 关键词:WEB测试测试数据数据维护
- 软件测试数据生成中的区间削减方法研究
- 在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,本文提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区...
- 黄陇陈致明
- 关键词:软件测试数据生成
- 文献传递
- 基于UML的软件测试自动化研究被引量:22
- 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个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.
- 黄陇陈致明
- 关键词:软件测试测试数据