期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用 被引量:1
1
作者 李丽 沈湘衡 +2 位作者 魏颖 任佳阅 王大勇 《解放军理工大学学报(自然科学版)》 EI 北大核心 2010年第3期267-273,共7页
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事... 以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。 展开更多
关键词 组合爆炸 智能规划 MF-IPP GUI测试 测试用例自动生成 解扩展
在线阅读 下载PDF
一种基于高阶Markov使用模型的测试用例自动生成方法 被引量:2
2
作者 赵卫东 李有俊 张丽 《现代电子技术》 北大核心 2019年第6期26-29,共4页
为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法... 为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。 展开更多
关键词 高阶马尔可夫使用模型 快速轮盘赌 二分查找 相对熵 软件测试 测试用例自动生成
在线阅读 下载PDF
基于UML的软件测试用例自动生成技术的研究 被引量:1
3
作者 孙辉 张术梅 《长春理工大学学报(自然科学版)》 2006年第3期58-60,共3页
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。
关键词 UML 软件测试 测试用例自动生成
在线阅读 下载PDF
基于UML状态图的测试用例自动生成方法 被引量:2
4
作者 杨晶 顾春华 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第3期346-351,共6页
随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记... 随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。 展开更多
关键词 UML状态图 函数最小化 测试用例自动生成
在线阅读 下载PDF
基于遗传算法的测试用例自动生成方法研究 被引量:1
5
作者 杨文娟 《信息通信》 2015年第6期30-30,共1页
软件测试是保证软件质量的一种有效手段,然而业内目前仍以人工测试为主。为了提高软件测试的自动化程度和测试效率,文章主要对软件测试用例的自动生成方法进行研究。在文章中以遗传算法为基本原理,论述了改进的"双种群自适应遗传算... 软件测试是保证软件质量的一种有效手段,然而业内目前仍以人工测试为主。为了提高软件测试的自动化程度和测试效率,文章主要对软件测试用例的自动生成方法进行研究。在文章中以遗传算法为基本原理,论述了改进的"双种群自适应遗传算法"。该算法对发现种群的选择策略进行了优化,使软件测试过程趋于自动化,以缩短软件的开发周期。 展开更多
关键词 软件测试 遗传算法 测试用例自动生成
在线阅读 下载PDF
基于改进GAA的测试用例自动生成技术研究 被引量:1
6
作者 虞飞 徐军 《电子产品可靠性与环境试验》 2022年第S01期8-12,共5页
随着系统内部复杂度的提高及外部交联关系的增多,人们将更多地采用自动化测试手段和工具来提高测试效率和测试结果的可信性。测试用例自动生成作为自动化测试的重要环节,其关键在于测试数据的自动生成。首先,分析了遗传算法及模拟退火... 随着系统内部复杂度的提高及外部交联关系的增多,人们将更多地采用自动化测试手段和工具来提高测试效率和测试结果的可信性。测试用例自动生成作为自动化测试的重要环节,其关键在于测试数据的自动生成。首先,分析了遗传算法及模拟退火算法的原理及优缺点,提出了一种算法融合遗传思想和退火算法,并且在选择、变异、交叉和适应度函数设计等4个方面对融合算法进行改进,形成了一种改进的遗传退火算法;其次,两种基础算法的融合体现在将退火思想引入遗传算法的选择阶段,之后改进交叉、变异算子,使交叉、变异依据适应度数值做适应性调整,设计出更优的适应度函数,为优化适应度函数的构造引入调节因子;最后,采用经典的三角形判断程序,将所提的改进遗传退火算法与其他代表性文献所提的遗传算法在平均进化代数和总搜索时间两个方面做比较分析,实验结果表明:该算法在上述两个评价因素上均获得了更好的结果,证明了所提的算法在数据自动生成上的有效性和高效性。 展开更多
关键词 测试用例自动生成 遗传算法 退火算法 测试数据自动生成
在线阅读 下载PDF
面向WEB服务的测试用例自动化生成方法 被引量:6
7
作者 侯俊 周红 +1 位作者 马春燕 郑江滨 《西北工业大学学报》 EI CAS CSCD 北大核心 2018年第1期149-155,共7页
针对目前Web测试主要依靠费时费力且具有一定盲目性和倾向性的人工测试用例设计问题,在Web服务单个操作测试用例生成方法的理论研究工作基础上,提出了一种基于WSDL文档和形式化模型树Web服务操作测试用例的自动生成方法,并以此构建测试... 针对目前Web测试主要依靠费时费力且具有一定盲目性和倾向性的人工测试用例设计问题,在Web服务单个操作测试用例生成方法的理论研究工作基础上,提出了一种基于WSDL文档和形式化模型树Web服务操作测试用例的自动生成方法,并以此构建测试工具。实际应用效果表明,该方法能大幅节省人工手动分析WSDL文件中复杂数据类型的时间,并根据各内建数据类型的测试用例手工生成输入消息测试用例的时间,简化测试用例的生成过程,大量替代目前用手工完成的测试用例编写工作。 展开更多
关键词 WEB服务 WSDL 形式化模型树 测试用例生成自动
在线阅读 下载PDF
智能牵引变电所继电保护装置自动测试软件设计 被引量:1
8
作者 于杰 何顺江 +2 位作者 彭建 高子然 张凯 《铁路计算机应用》 2024年第12期47-54,共8页
牵引变电所继电保护装置对于保证牵引供电系统的高安全性和高可靠性发挥着不可替代的关键作用,在投入使用之前必须进行完整、严格的测试。目前继电保护装置测试主要是手动方式,测试过程非常繁琐、耗时费力,对测试员专业能力要求较高,难... 牵引变电所继电保护装置对于保证牵引供电系统的高安全性和高可靠性发挥着不可替代的关键作用,在投入使用之前必须进行完整、严格的测试。目前继电保护装置测试主要是手动方式,测试过程非常繁琐、耗时费力,对测试员专业能力要求较高,难以避免人为差错,易造成安全隐患。鉴于智能牵引变电所大量应用IEC61850和IEC104标准的趋势,利用OMICRON继电保护测试仪提供的API,开发了一款兼容IEC61850和IEC104标准的智能牵引变电所继电保护装置自动测试软件,由测试数据库、基础算法库、人机交互模块、执行引擎模块、通信模块组成;能够完成广泛使用的多种继电保护装置的自动测试,可自动生成测试用例和执行测试操作,辅助测试分析和自动生成测试报告。实验室测试表明,该自动测试软件可有效取代现有的继电保护装置手动测试,极大地提高测试精度和效率。 展开更多
关键词 智能牵引变电所 继电保护装置 计算机辅助测试(CAT) 自动测试软件 测试用例自动生成 测试报告自动生成
在线阅读 下载PDF
一种数据驱动的软件接口自动化测试框架的设计与实现 被引量:8
9
作者 刘智 《信息化研究》 2015年第1期75-78,共4页
复杂应用系统通常分成多个子系统联合工作,子系统之间接口的正确性和一致性对整个软件系统的工作起着至关重要的作用。由于接口类型多、结构复杂,导致接口测试过程中存在测试执行时间长、效率不高的问题。为了解决这一问题,论文提出并... 复杂应用系统通常分成多个子系统联合工作,子系统之间接口的正确性和一致性对整个软件系统的工作起着至关重要的作用。由于接口类型多、结构复杂,导致接口测试过程中存在测试执行时间长、效率不高的问题。为了解决这一问题,论文提出并实现了一种自动化接口测试框架,该框架采用形式化描述语言XML存储数据,实现数据与脚本的分离和基于关键字的自动化测试用例生成功能,有效地缩短了接口测试时间,提高了软件测试工作效率。 展开更多
关键词 接口测试 软件测试自动 测试用例自动生成 数据驱动脚本技术
在线阅读 下载PDF
数字线程中需求与架构模型协同设计与一致性分析方法研究
10
作者 郭朕凯 郭姣姣 姜海波 《空天防御》 2025年第2期125-135,共11页
复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术... 复杂航天器装备系统的数字化设计,较多地采用数字线程技术设计和开发复杂装备的需求模型(基于顶层运行场景和条目化需求设计)和架构模型(基于SysML语言进行时序图和状态机图模型设计)。在数字线程开发技术中,本文提出使用需求追溯技术实现需求模型和架构模型协同设计,使用形式化检查和测试用例自动生成方法进行需求模型和架构模型一致性分析;同时,给出了模型一致性分析验证的实现流程。 展开更多
关键词 数字工程 数字线程 基于模型的系统设计 需求模型 架构模型 SYSML 测试用例自动生成
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部