李吟 作品数:21 被引量:31 H指数:3 供职机构: 中国船舶重工集团公司 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 军事 更多>>
基于复杂网络模型的故障传播路径仿真方法 本发明公开了一种基于复杂网络模型的故障传播路径仿真方法,属于故障传播与故障定位领域,该方法包括:将复杂系统中各组成单元抽象为网络节点,根据节点与节点之间的通信关系构造出复杂网络模型;通过随机故障注入进行网络故障仿真;统计... 杨召 方建勇 王丽 姜婷婷 黄沈 李吟 杨锡森 江涌涛 罗环环 苗壮文献传递 基于接口契约的有状态Web服务用例集生成 被引量:3 2017年 Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法,该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法. 李吟关键词:扩展有限状态机 语义标注 可变力度组合测试的Web服务用例集生成方法 Web服务测试作为保证Web应用质量的重要手段,已成为了软件工程领域的焦点问题。Web服务的特点使得它需采用自动化测试方法,其中一个重要内容是如何高效地设计和生成合理的测试数据。现有的测试方法对服务描述文件中各元素之间的... 李吟关键词:WEB服务测试 自动化测试 文献传递 一种用于软件故障预测的数据融合方法 本发明公开了一种用于软件故障预测的数据融合方法,该方法首先根据软件故障预测数据集合的固有数据特征对待融合的两个软件故障预测数据集合进行可融合度判定,然后对故障数据进行特征提取,采用D‑S证据理论对软件故障预测数据集合进行... 王丽 方建勇 张贝贝 杨召 李吟 姜婷婷 张峻玮 陈善浩 王凯 陈丹阳文献传递 基于路径相似度的并行程序多路径覆盖调度序列排序 被引量:1 2021年 测试是提高软件可靠性的重要方法.消息传递并行程序中存在的不确定通信语句,使得进程执行顺序具有不确定性,这增加了测试该类程序的难度.鉴于进程执行顺序对目标路径覆盖难易程度的影响,本文研究消息传递并行程序多路径覆盖调度序列排序方法,以提高多路径覆盖测试数据生成的效率.首先,在每个调度序列下,以每个采样的程序输入执行程序,生成路径覆盖矩阵;然后,针对每条目标路径,分别计算与路径覆盖矩阵中每条路径的相似度,生成多个路径相似度矩阵;接着,基于这些路径相似度矩阵的特征量,评价调度序列的性能,并依此对调度序列排序;最后,基于调度序列排序集,使用随机采样法,生成覆盖所有目标路径的测试数据,并使用缺陷检测平均百分比(average percentage of faults detected,APFD)指标评估调度序列排序集.将所提方法应用于9个基准并行程序中,并与随机方法和传统方法进行比较.实验结果表明,所提方法对路径覆盖率没有影响,但显著减少了被测程序执行次数和运行时间. 潘峰 巩敦卫 田甜 姚香娟 李吟关键词:多路径覆盖 基于序列模型的作战文书知识抽取技术研究 被引量:2 2020年 作战文书具有实体名称复杂多样但结构规范的特点,并且在句子中有大量的重叠实体关系。对于作战文书的知识抽取,现有的方法中采用的流水线模型有误差传播以及关系冗余的问题造成关系抽取能力较差,并且现有的流水线模型无法抽取作战文书中复杂的重叠实体关系。针对这些问题,文中提出了一种基于序列生成模型并结合位置注意力机制的实体与关系联合抽取模型。通过使用作战文书作为数据集并与其他知识抽取模型做对比实验,论文模型既提高了识别非重叠实体关系的准确率,又实现了对重叠实体关系的抽取,从而提高了作战文书知识抽取的整体效果。 王乾铭 程健庆 李吟关键词:作战文书 知识抽取 面向需求覆盖的Web服务自动化测试框架 被引量:6 2017年 Web服务作为W3C认证的面向服务架构(service-oriented architecture,SOA)的实现方式,对外提供可用于黑盒测试的接口文档,如何有效地自动化生成测试用例成为Web服务自动化测试的首要问题。现有的测试工具对WSDL(Web services description language)的文档结构和数据之间的依赖关系考虑不足,且缺乏有效的测试数据生成方法,进而导致测试效率不高以及生成的测试用例无法覆盖全部的测试需求。为此,提出了Web服务自动化测试的技术框架,并实现了支持此框架的原型工具。该框架基于WSDL文档解析获取覆盖结构特征的SOAP(simple object access protocol)骨架集合,并采用可变力度组合测试模型生成满足元素组合的SOAP封装消息,之后通过有限状态机/接口契约模型获取操作序列测试路径,保证了操作序列测试数据的有效性。案例结果表明了所提框架生成的测试数据能够更好地满足测试需求,达到理想的测试覆盖率,并能够检测出更多的错误,且在用例规模上优于现有的方法。 李吟 方建勇 江梦关键词:WEB服务 面向服务架构 有限状态机 基于Spark框架的改进协同过滤算法 被引量:1 2020年 随着互联网数据量的不断膨胀,单机已经无法在可接受的时间范围内计算完基于大规模数据的推荐算法,也无法存放海量的数据。利用Spark平台内存计算的优点,设计了一种分布式的基于项目的协同过滤算法,利用Spark提供的RDD(resilient distributed dataset)算子完成算法的设计。针对由于数据稀疏而导致的相似度计算不准确的问题,提出了一种利用两项目间公共用户数目进行加权的相似度计算公式,提高了最终推荐结果的准确度。为了改善计算中涉及到的数据表等值连接操作耗时太长的问题,利用自定义的Hash_join函数替代Spark自带的连接操作算子,提高了计算效率。采用UCI的公用数据集MovieLens对算法进行测试,并分别与改进前的算法以及单机运行的算法进行对比,结果表明,改进的算法在准确度和效率方面都有更好的表现。 邹红旭 潘冠华 李吟关键词:协同过滤 SPARK 基于知识的故障诊断方法 本发明公开了一种基于知识的故障诊断方法,包括以下步骤:建立典型故障案例数据库;采用信号处理技术及主要成分分析方法,完成故障特征信息的提取及主要数据变量的选取;利用改进的神经网络算法,对故障样本进行学习;采用产生式规则和框... 姜婷婷 方建勇 周彬 李吟 杨召 王丽 张峻玮 陈善浩 王凯 卢重阳文献传递 场景驱动的工业以太网交换机软件测评框架 被引量:6 2016年 针对现有工业以太网交换机测试方法的局限性,提出场景需求驱动的测评技术,建立工业以太网交换机的软件测评框架。采用基于单一场景的方法进行常规的测试,验证软件的完备性,在此基础上,根据工业交换机的实际运用场景及性能指标的特殊性,通过用户场景的复杂组网及增强型性能测试两个方面补充完善测试。实验结果表明,与常规的测试方法相比,基于复杂场景组网及增强型性能测试的方法更能满足实际的场景需求,能够暴露出更多的问题。 李吟 赵海涛关键词:工业以太网交换机