一种多语种生成式自动摘要方法的实现

为实现多语种生成式自动摘要,基于序列到序列(Seq2Seq)模型提出了一种多语种生成式自动摘要方法.首先,按照传统的多语种自动摘要方法,将中、英、朝3个语种的语料分开训练,得到3个模型,并观察各模型在测试集上的表现; 其次,按照本文提出的多语种自动摘要法,将中、英、朝3种语言的语料放在一起共同训练出一个模型,然后运用该模型分别运行中文、英文、朝文语料的测试集,并观察模型的表现; 最后,用同一个测试集测试模型改进前后的摘要生成效果.实验结果表明,本文方法生成多语种自动摘要的效果与传统方法相近,但因本文方法只用一个模型即可实现多语种自动摘要,因此更具有适用性.     

XML技术在软件可靠性测试中的应用

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动、高效地对软件接口进行测试,测试数据与测试驱动程序相分离,有利于测试数据的维护与重用,在实际应用中取得了很好的效果。     

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

基于UML的软件测试用例自动生成技术的研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。     

SmartC模型与代码一致性双向生成方法及开发平台

为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.     

基于遗传算法与LightGBM 融合的测试用例生成方法

随着互联网技术不断发展, 各类商务软件功能需求不断增加, 且其复杂性逐渐提高, 软件的可靠性与安全性受到了越来越多的关注, 软件测试是软件质量保障的关键技术。由于现代商务软件产品具有需求变化频繁、版本迭 代过快等特点, 为其手工编写测试用例会耗费大量人力成本, 尤其敏捷开发过程中, 回归测试等需要产生大量重复用例。采用机器学习技术, 基于遗传算法和LightGBM 模型, 提出了一个测试用例自动生成模型, 创新贡献表现在: ① 将测试步骤抽象为有向图模型, 简化测试用例数据; ② 采用遗传算法求解有向图可达路径, 替代人工生成测试路径; ③ 采用LightGBM 模型加快遗传算法收敛速度, 实验验证了所提出方法的有效性, 满足测试覆盖准则。该模型 可减少测试人员工作, 加快测试速度, 对提升项目质量、加快项目进度具有重要意义。     

Java绑定XML架构的技术内涵

为了揭示Java绑定可扩展标记语言(XML)架构的技术内涵,分析了该应用编程接口(API)的开发背景,揭示了它的技术本质,论述了它的工作机理、核心组件、绑定过程的关键操作,即:用绑定编译器绑定XML文件的模式,生成模式导出类和接口,并将它们编译;解组过程将模式导出的Java类实例化成内容对象,表示XML文件的内容和结构,让应用程序可直接访问;在生成内容树之前,解组过程可有选择地验证XML文件;借助绑定编译器生成的接口,客户应用可修改内容树所表示的XML数据;所处理的内容树可被编组成1种或多种XML输出文件.给出了1个典型用例,并指出该API在开发XML Web服务和网络应用方面有很好的应用前景.     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

基于模型的车载设备测试用例自动生成研究

针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。       

基于术语自动抽取的科技文献翻译辅助系统的设计

设计了一种中韩科技信息综合平台中的翻译辅助系统.首先,依据关键词确定的组词特证获取候选术语,并使用互信息评估候选术语以实现术语自动提取.其次,将已有术语、抽取到的新术语、术语译文和历史翻译记录等信息存储到系统数据库中建立术语库.最后,设计翻译工作者的用户接口,使其通过该接口获取已有术语的译文信息、新术语的相似译文信息和译文记忆库为基础的历史翻译数据.测试结果表明,本文设计的术语自动抽取功能和辅助译文生成功能达到了预定的设计目标,术语自动抽取算法召回率达到61.8%,结合优化方法进行优化后达到66.9%;辅助译文生成平均延时为0.031s,MRR为0.951,测试结果满足用户需求.     

题库系统智能成卷理论和组卷方法研究

分析了组卷目标要求,建立了智能组卷系统问题求解的理论模型。结合组卷问题求解领域知识与专家选题思想,提出了一种基于自适应混合进化机制的智能组卷方法,采用了基于题型的分段编码、段内进化算子、误差加权适应度评估方法。通过实例分析,实验结果表明所提出的新组卷方法具有组卷成功率高和组卷速度快的优点。     

基于模块关系匹配推理的程序生成机制

为消除图形化虚拟仪器软件开发过程中非编码式的设计和控制环节,研究了一种虚拟仪器程序自动生成的机制。该机制以行业类软件中功能的模块化为基础,建立了功能集中的模块集和模块之间的关系。以模块之间的数据流动来消除控制环节并以模块之间的关系匹配决策来消除设计环节,从而实现了行业类软件在基于需求基础上的自动化生成过程。最后通过软件开发平台验证了程序自动生成机制的可行性。     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。     

基于中间件的C/S应用软件测试

软件测试是保证软件质量的重要手段.随着网络技术的快速发展,越来越多的软件是基于客户/服务器方式开发的.这就要求有一种有效的又不同于传统测试策略的软件测试策略.重点讨论了基于中间件的C/S应用软件测试用例的构成和构成策略及具体的基于协议集的测试方法等.     

一种基于控制流的web应用系统测试方法的探讨

web应用系统的使用与日俱增,web技术层出不穷,但是web应用系统的测试却是一个难点。提出一种基于控制流的测试方法,对web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生,为了使测试自动化,并阐述脚本技术和测试执行器的设计。     

基于事件图的并发软件测试

通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。     

成对测试中的一种用例生成算法

在对嵌入式软件进行黑盒测试研究的基础上,提出了一种基于成对测试设计思想的测试用例生成算法。该方法充分考虑到待测软件所有外部接口参数的可能取值和各种可能取值的组合。实验结果证明,该算法在不影响测试精度的情况下能有效提高测试用例的选择效果。     

扩展线性支出系统模型估计方法的修正及实证检验

为了降低回归测试的测试成本,提出了测试用例优先排序的方法.测试用例优先排序的方法有很多种,但是如何评价这些排序方法的有效性目前还没有很好的方法.针对增加测试用例集发现错误的比率这一目标,提出了测试用例排序序列和测试用例优先排序的评价方法.     

一种测试用例优先排序的评价方法

为了降低回归测试的测试成本，提出了测试用例优先排序的方法．测试用例优先排序的方法有很多种，但是如何评价这些排序方法的有效性目前还没有很好的方法．针对增加测试用例集发现错误的比率这一目标，提出了测试用例排序序列和测试用例优先排序的评价方法．     

基于AutoCAD的有限元前处理应用

从AutoCAD生成的几何模型（二维或三维）中提取数据,进行拓扑分析,将数据传递到网格剖分模块,实现网格自动剖分并以图形的方式显示剖分网格,实现有限元前处理的功能．