您的位置： 专家智库 > >

陆皓

作品数：6 被引量：23H指数：3
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：中国航空科学基金清华大学自主科研计划北京市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇软件架构
  • 2篇自动化
  • 2篇自动化测试
  • 2篇架构
  • 2篇标准符合性
  • 1篇约束满足问题
  • 1篇实时系统
  • 1篇属性约减
  • 1篇数据生成
  • 1篇接口
  • 1篇决策表
  • 1篇基于接口
  • 1篇本体
  • 1篇本体模型
  • 1篇OWL-S
  • 1篇测试数据
  • 1篇测试数据生成
  • 1篇WEB服务

机构

  • 6篇清华大学
  • 2篇北京大学
  • 2篇中国人民解放...
  • 1篇解放军总医院...
  • 1篇中国酒泉卫星...
  • 1篇亚利桑那州立...

作者

  • 6篇陆皓
  • 5篇白晓颖
  • 2篇张任伟
  • 1篇李树芳
  • 1篇周立柱
  • 1篇王博
  • 1篇郁莲
  • 1篇侯可佳
  • 1篇汪明
  • 1篇张瑶

传媒

  • 2篇计算机科学
  • 1篇清华大学学报...
  • 1篇软件学报
  • 1篇航空科学技术

年份

  • 1篇2015
  • 2篇2013
  • 1篇2012
  • 2篇2011
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
模型驱动的IMA标准符合性测试自动化技术研究被引量：3
2015年
随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中处理与融合。针对IMA开放式体系结构的模块化、标准化等特点,本文提出了一种基于接口语义模型的测试自动化技术。其中,标准接口的语义模型对接口数据、功能和行为进行抽象,测试模型内建测试策略与测试计划。从接口模型到测试模型,研究探讨了测试用例的自动生成、部署、和调度执行的方法。研究成果在国产机载操作系统ARINC653标准符合性测试中进行了初步应用,有效提高了测试的系统性、效率和工作质量。
王博陆皓白晓颖
关键词：自动化测试标准符合性
基于模型的标准符合性自动化测试研究与实现
陆皓
关键词：自动化测试
实时系统时间约束验证被引量：2
2012年
为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。
白晓颖汪明陆皓蔡维德
关键词：实时系统约束满足问题
一种基于模型的测试充分性评估方法被引量：1
2013年
测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评估结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评估方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。
张瑶白晓颖张任伟陆皓
基于接口语义契约的Web服务测试数据生成被引量：10
2013年
测试是Web服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC的测试数据生成技术,给出了分区生成算法以及测试数据生成的模拟退火算法.实验结果表明,与随机测试相比,该方法能够采用10%的测试用例数量达到同样的测试覆盖率;在同样的测试用例数量上,最高可提高50%的测试覆盖率.
侯可佳白晓颖陆皓李树芳周立柱
关键词：数据生成本体模型OWL-S
决策表的属性约减算法综述被引量：7
2011年
介绍决策表的基本概念,分析决策表冲突条件以及判定条件组合爆炸的问题,明确决策表冲突检测属性约减的必要性。从本质描述、算法分类、算法效率等几个方面,对决策表冲突检测算法和属性约减算法进行了系统的综述和比较。最后,探讨了决策表的构建、效率、应用规模等6个属性约减研究的热点问题。
张任伟白晓颖郁莲陆皓
关键词：决策表属性约减
全选 清除 导出
共1页<1>
聚类工具0