李坤
- 作品数：5 被引量：19H指数：3
- 供职机构：西北工业大学软件与微电子学院更多>>
- 发文基金：国家自然科学基金陕西省工业科技攻关项目中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 基于模型的移动应用兼容性测试方法研究被引量：1
- 2015年
- 在分析研究移动应用测试验证技术机理的基础上,提出一种基于测试价值权重语义树模型的移动应用兼容性测试方法。该方法的主要特点是能够生成所有移动应用兼容性测试环境,并可根据其测试价值进行排序和选择,从而能提高测试效率,降低测试成本,减少测试时间。
- 成静朱怡安张涛周文强李坤王海鹏
- 航空发动机装配数据结构化建模及应用被引量：6
- 2014年
- 针对航空发动机装配数据结构化程度低及数据追溯困难等问题,分析了航空发动机装配数据构成及特点,提出了一个装配生产准备数据和装配生产过程数据的定义模型。针对装配生产过程数据特点,建立了以装配数据单元为核心的装配数据模型,给出了电子化履历本的实现过程,验证了方法的有效性。
- 李坤莫蓉
- 关键词：数据模型
- 移动应用众包测试人员评价模型被引量：8
- 2017年
- 移动应用众包测试人员具有匿名、非契约的特性,这使得任务发布者难以准确评估众包测试人员的能力与测试质量。针对该问题,提出了一种移动应用众包测试人员层次分析法(AHP)评价模型。该模型从活跃度、测试能力、诚信度等多指标分层综合评估众包测试人员能力,通过构造判断矩阵、一致性检验计算各层次指标的组合权重向量,并引入需求列表与描述列表改进本模型,使测试人员与众包任务更加匹配。实验结果表明,所提模型能够实现对测试人员能力的准确评估,支持基于评估结果的众包测试人员选择与推荐,提高了移动应用众包测试效率与质量。
- 刘莹张涛李坤李楠
- 关键词：层次分析法
- 一种基于K-Mean算法的移动应用兼容性测试方法被引量：3
- 2015年
- 随着移动应用市场的快速发展,移动应用兼容性测试问题日显突出和紧迫。本文提出了一种基于K-Mena算法的移动应用兼容性测试设备选择方法。该方法首先建立移动应用兼容性测试设备的特征树模型,确定各个基本特征的测试值,定义初始K值和中心点。然后给出一种基于设备特征树模型的特征距离计算方法。最后基于K-Mean聚类算法,对移动设备进行聚类,从各个聚类中选择适合的移动应用兼容性测试设备。通过实例进行验证分析,结果表明该方法能够帮助测试人员选择适合的测试设备,从而降低测试成本,提高测试效率和测试质量。
- 张涛周文强李坤王海鹏成静
- MPSoC可调度性分析的价格时间自动机模型被引量：1
- 2017年
- 多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。
- 汪群博赵政文张涛程胜朱海涛李坤
- 关键词：UPPAAL可调度性
