期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于模型的软件测试用例生成方法比较研究 被引量:1
1
作者 赵鹤 高婉玲 《现代计算机》 2017年第3期20-26,共7页
随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进... 随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估,与传统的基于有限状态机(FSM)模型的测试用例自动生成方法进行比较,采用系统文献综述和可控实验的方法,进行定性和定量的比较分析。结果显示,基于模型检测技术的测试用例自动生成方法在自动化程度、测试覆盖率、测试成本等方面都具有优势,是一种可以应用和进一步研究的测试用例自动生成方案。 展开更多
关键词 软件自动化测试 测试用例自动生成 基于模型测试用例生成 模型检测 有限状态机
下载PDF
基于关键点路径的快速测试用例自动生成方法 被引量:20
2
作者 丁蕊 董红斌 +1 位作者 张岩 冯宪彬 《软件学报》 EI CSCD 北大核心 2016年第4期814-827,共14页
测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路... 测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路径;(2)用随机生成的数据运行简化后的插装程序,得到部分测试数据;(3)将理论路径分成易覆盖路径、难覆盖路径和不可行路径;(4)根据已覆盖路径及其测试数据提供的信息,使用遗传算法生成难覆盖路径的测试数据.仿真实验结果表明了所提方法的有效性. 展开更多
关键词 关键点路径 软件测试数据生成模型 覆盖测试 启发式信息 遗传算法
下载PDF
基于免疫遗传算法的构件化软件测试用例生成 被引量:6
3
作者 马臻 张毅坤 +3 位作者 梁荣 鲁晓锋 徐艳丽 解建仓 《计算机工程》 EI CAS CSCD 北大核心 2006年第23期64-67,共4页
提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法... 提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 展开更多
关键词 免疫遗传算法 构件化软件测试用例生成模型 疫苗
下载PDF
基于免疫算法的HLR软件系统测试用例生成 被引量:1
4
作者 马臻 陈天 +2 位作者 李元 孙苗 郭锐 《计算机科学》 CSCD 北大核心 2008年第12期244-246,272,共4页
提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在... 提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。 展开更多
关键词 免疫遗传算法 HLR软件测试用例生成模型 疫苗
下载PDF
基于免疫算法的电子渠道软件测试用例生成
5
作者 马臻 《应用科技》 CAS 2011年第4期44-47,共4页
提出了一种基于免疫遗传算法的电子渠道软件测试用例生成模型,并介绍了免疫遗传算法的基本思想.通过将免疫遗传算法与传统遗传算法和随机算法在电子渠道软件测试用例生成中的比较,说明了免疫遗传算法的效率明显高于传统遗传算法和随机算... 提出了一种基于免疫遗传算法的电子渠道软件测试用例生成模型,并介绍了免疫遗传算法的基本思想.通过将免疫遗传算法与传统遗传算法和随机算法在电子渠道软件测试用例生成中的比较,说明了免疫遗传算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性. 展开更多
关键词 免疫遗传算法 电子渠道软件测试用例生成模型 疫苗
下载PDF
基于免疫算法的电子商城软件系统测试用例生成
6
作者 马臻 《科技信息》 2012年第16期268-269,共2页
本文提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的电子商城软件测试用例生成模型(Model ofTest Case Generation of EM Software,简称MTCGES),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随... 本文提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的电子商城软件测试用例生成模型(Model ofTest Case Generation of EM Software,简称MTCGES),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在电子商城软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 展开更多
关键词 免疫遗传算法 电子商城软件测试用例生成模型 疫苗
下载PDF
测试向量最大压缩技术 被引量:1
7
作者 曾成碧 段述江 陈光 《四川大学学报(工程科学版)》 EI CAS CSCD 2001年第6期94-96,共3页
描述了基于可满足性的测试向量压缩的整数线性规划 (ILP)模型 ,求解整数线性规划采用 0 - 1加法算法。由ISCAS85标准电路实验结果的比较说明 ,这种压缩测试向量的方法非常有效。
关键词 组合电路 整数线性规划 0-1算法 压缩测试质量 测试压缩技术 测试生成模型
下载PDF
基于模型的矢量喷管控制系统设计 被引量:7
8
作者 王建锋 臧军 +1 位作者 姜殿文 蒋毅 《航空发动机》 2017年第4期23-29,共7页
为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成... 为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成用于矢量喷管控制系统的系统综合设计。使用模型自动测试技术开展数字仿真试验,利用自动代码生成技术和实时仿真技术实现控制软件快速开发和系统半物理试验,试验结果表明了矢量喷管控制系统设计的正确性、高效性。 展开更多
关键词 矢量喷管控制系统 飞行/推进综合控制 基于模型的设计 模型自动测试:自动代码生成 实时仿真
下载PDF
时序电路等价验证的触发器匹配 被引量:1
9
作者 张超 竺红卫 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页
通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔... 通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。 展开更多
关键词 触发器匹配 自动测试模式生成模型 布尔可满足性 时序帧递进展开 信息学习
下载PDF
A new approach to test generation for combinational circuits
10
作者 赵春晖 侯艳丽 +1 位作者 胡佳伟 兰海燕 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2009年第1期61-65,共5页
Aimed at the generation of high-quality test set in the shortest possible time, the test generation for combinational circuits (CC) based on the chaotic particle swarm optimization (CPSO) algorithm is presented ac... Aimed at the generation of high-quality test set in the shortest possible time, the test generation for combinational circuits (CC) based on the chaotic particle swarm optimization (CPSO) algorithm is presented according to the analysis of existent problems of CC test generation, and an appropriate CPSO algorithm model has been constructed. With the help of fault simulator, the test set of ISCAS' 85 benchmark CC is generated using the CPSO, and some techniques are introduced such as half-random generation, and simulation of undetected fauhs.with original test vector, and inverse test vector. Experimental results show that this algorithm can generate the same fault coverage and small-size test set in short time compared with other known similar methods, which proves that the proposed method is applicable and effective. 展开更多
关键词 test generation combinational circuits: particle swarm ootimization: chaotic ontimization
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部