张任伟
- 作品数：18 被引量：8H指数：1
- 供职机构：清华大学更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法
- 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法，涉及软件测试与基于模型的测试自动化领域，所述方法适用于嵌入式组件的测试，针对组件接口操作、数据和行为，采用带有约束条件的自动机模型进行描述，基于图搜索和约束求解技术生...
- 白晓颖张任伟
- 文献传递
- 基于ARM平台的航拍目标检测系统
- 基于ARM平台的航拍目标检测系统，搭载于无人机上，包括：CMOS接口摄像头，采集航拍区域的图像信息，ARM开发板，接收CMOS接口摄像头所采集的信息，执行基于归一化二值梯度直方图的目标检测算法，对可疑目标进行检测；通信模...
- 覃征徐凯平王国龙李志鹏李胜男张任伟杨晓陈旭徐涛黄晨婕
- 文献传递
- 一种位置获取方法
- 本发明公开了一种位置获取方法，该方法包括：相对路径获取步骤，获取目标的惯性导航数据，根据惯性导航数据获取目标的相对路径；绝对路径获取步骤，获取目标所处无线网络的网络信号，根据网络信号获取目标的绝对路径；位置信息确定步骤，...
- 覃征李胜男张任伟杨晓单来祥
- 文献传递
- 一种针对类型属性图模型的模型元素匹配方法
- 本发明公开了一种针对类型属性图模型的模型元素匹配方法，所述方法包括：构建待分析模型的带权多维搜索树；针对待匹配模型元素在所述带权多维搜索树上进行区域搜索，从而获取所述待匹配模型元素的相似节点集；分别计算所述相似节点集中的...
- 覃征张任伟李胜男杨晓
- 一种位置获取方法
- 本发明公开了一种位置获取方法，该方法包括：相对路径获取步骤，获取目标的惯性导航数据，根据惯性导航数据获取目标的相对路径；绝对路径获取步骤，获取目标所处无线网络的网络信号，根据网络信号获取目标的绝对路径；位置信息确定步骤，...
- 覃征李胜男张任伟杨晓单来祥
- 一种基于Spark平台的口令哈希值恢复方法和装置
- 本发明公开了一种基于Spark平台的口令哈希值恢复方法和装置，其设计方法包括口令哈希表到彩虹表数据生成步骤和彩虹表解密步骤，记彩虹链链首节点值为SV(Start Value)，链尾节点值为EV(End Value)，本发...
- 覃征李志鹏黄凯叶树雄杨晓张任伟徐凯平
- 文献传递
- 一种基于模糊推理的分布式拒绝服务网络攻击检测方法和系统
- 本发明提供一种基于模糊推理的分布式拒绝服务网络攻击检测方法和系统，系统包络网络数据包采集模块、报文格式识别模块、模糊推理模块和报警模块；其中网络数据采集模块、报文格式识别模块先后串联，报文格式识别模块传递出流量属性信息给...
- 覃征李志鹏黄凯叶树雄杨晓张任伟徐凯平
- 文献传递
- 一种基于模型的测试充分性评估方法被引量：1
- 2013年
- 测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评估结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评估方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。
- 张瑶白晓颖张任伟陆皓
- 一种针对类型属性图模型的模型元素匹配方法
- 本发明公开了一种针对类型属性图模型的模型元素匹配方法，所述方法包括：构建待分析模型的带权多维搜索树；针对待匹配模型元素在所述带权多维搜索树上进行区域搜索，从而获取所述待匹配模型元素的相似节点集；分别计算所述相似节点集中的...
- 覃征张任伟李胜男杨晓
- 文献传递
- 一种基于标准数据元素统一约束的可视化建模平台
- 一种基于标准数据元素统一约束的可视化建模平台，该平台包括供建模平台传输数据的数据交换层，经过统一约束和应用标准数据元素的模型层，用于执行模型构建、模型维护、模型存储、模型加载和模型实例化的运算控制层，用于将数据元素中的模...
- 覃征张任伟王国龙崇昊熊渴翔李胜男杨晓徐凯平叶文文李志鹏
- 文献传递
