期刊文献+
共找到82篇文章
< 1 2 5 >
每页显示 20 50 100
代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成
1
作者 孙百才 巩敦卫 姚香娟 《软件学报》 北大核心 2025年第5期2026-2042,共17页
基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测... 基于进化优化的消息传递接口(message-passing interface,MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成方法,该方法能够显著约减MPI程序的实际执行次数,进而提高测试效率.首先,面向MPI程序目标路径内每条目标子路径,训练相应的代理模型;然后,基于对应每条目标子路径的代理模型,估计相应测试用例生成优化任务中进化个体的适应值,并形成候选测试用例集;最后,基于候选测试用例集及其面向每条目标子路径的真实适应值,更新对应每条目标子路径的代理模型.将所提方法应用于7个基准MPI程序的基本路径覆盖测试中,并与其他若干先进方法比较.实验结果表明,所提方法能够在确保测试用例生成高有效性的前提下,显著提高测试效率. 展开更多
关键词 路径覆盖测试用例生成 代理辅助多任务进化优化 候选测试用例
在线阅读 下载PDF
结合SVM与XGBoost的链式多路径覆盖测试用例生成 被引量:3
2
作者 钱忠胜 俞情媛 +3 位作者 张丁 姚昌森 秦朗悦 成轶伟 《软件学报》 EI CSCD 北大核心 2024年第6期2795-2820,共26页
机器学习方法可很好地与软件测试相结合,增强测试效果,但少有学者将其运用于测试数据生成方面.为进一步提高测试数据生成效率,提出一种结合SVM(support vector machine)和XGBoost(extreme gradient boosting)的链式模型,并基于此模型借... 机器学习方法可很好地与软件测试相结合,增强测试效果,但少有学者将其运用于测试数据生成方面.为进一步提高测试数据生成效率,提出一种结合SVM(support vector machine)和XGBoost(extreme gradient boosting)的链式模型,并基于此模型借助遗传算法实现多路径测试数据生成.首先,利用一定样本训练若干个用于预测路径节点状态的子模型(SVM和XGBoost),通过子模型的预测精度值筛选最优子模型,并根据路径节点顺序将其依次链接,形成一个链式模型C-SVMXGBoost(chained SVM and XGBoost).在利用遗传算法生成测试用例时,使用训练好的链式模型代替插桩法获取测试数据覆盖路径(预测路径),寻找预测路径与目标路径相似的路径集,对存在相似路径集的预测路径进行插桩验证,获取精确路径,计算适应度值.在交叉变异过程中引入样本集中路径层级深度较大的优秀测试用例进行重用,生成覆盖目标路径的测试数据.最后,保留进化生成中产生的适应度较高的个体,更新链式模型C-SVMXGBoost,进一步提高测试效率.实验表明,C-SVMXGBoost较其他各对比链式模型更适合解决路径预测问题,可提高测试效率.并且通过与已有经典方法相比,所提方法在覆盖率上提高可达15%,平均进化代数也有所降低,在较大规模程序上其降低百分比可达65%. 展开更多
关键词 测试用例 SVM XGBoost 链式模型 路径覆盖
在线阅读 下载PDF
基于复杂系统遗传算法的多路径覆盖测试用例生成方法 被引量:3
3
作者 于博 姜淑娟 张艳梅 《计算机科学》 CSCD 北大核心 2012年第4期139-141,153,共4页
针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛... 针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛过慢或者"早熟"现象。然后根据多路径覆盖测试的特点与要求,设计基于路径匹配的适应度函数,使得运行一次算法便可生成覆盖多条目标路径的多个测试用例。最后将该方法用于几个基准程序。实验结果表明,与已有方法比较,此方法的测试用例生成效率显著提高。 展开更多
关键词 复杂系统 路径覆盖 测试用例生成 遗传算法 适应度函数
在线阅读 下载PDF
基于GEP的路径覆盖测试用例生成方法 被引量:3
4
作者 陈建明 陈宇 +1 位作者 李志蜀 丁革建 《计算机工程》 CAS CSCD 北大核心 2010年第15期86-88,共3页
提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟... 提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。 展开更多
关键词 基因表达式编程算法 测试用例 路径覆盖测试
在线阅读 下载PDF
面向航空软件需求模型的MC/DC测试用例生成方法 被引量:1
5
作者 丁鼎 胡军 +2 位作者 王康星 董泽华 王立松 《小型微型计算机系统》 北大核心 2025年第7期1783-1792,共10页
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,... 充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性. 展开更多
关键词 测试用例生成 修改的条件/判定覆盖 基于需求的测试 形式化需求建模
在线阅读 下载PDF
一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法
6
作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页
在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多
关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成
在线阅读 下载PDF
面向MC/DC覆盖的白盒单元测试用例自动生成技术 被引量:2
7
作者 秦畅 陈赛 +3 位作者 李坤 刘恒 杨柳 马征 《科学技术与工程》 北大核心 2024年第30期13039-13047,共9页
在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单... 在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。 展开更多
关键词 白盒测试 单元测试 测试用例自动生成 修正条件判定覆盖
在线阅读 下载PDF
基于Z路径覆盖的测试用例自动生成技术研究 被引量:11
8
作者 夏辉 宋昕 王理 《现代电子技术》 2006年第6期92-94,共3页
路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路... 路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路径和测试用例自动生成技术。 展开更多
关键词 软件测试 Z路径覆盖 指令块测试 动态数据生成
在线阅读 下载PDF
融入自适应迁移的路径覆盖测试用例进化生成 被引量:1
9
作者 范会联 曾广朴 《计算机应用研究》 CSCD 北大核心 2016年第12期3743-3747,共5页
为提高路径覆盖测试效率,提出采用融入自适应迁移的生物地理学优化算法自动生成满足目标路径覆盖的测试用例。首先,根据路径覆盖难易,在分支距离法中引入加权因子并转换为栖息地适应指数;然后,综合最优栖息地和迁出地相关因子优化迁入... 为提高路径覆盖测试效率,提出采用融入自适应迁移的生物地理学优化算法自动生成满足目标路径覆盖的测试用例。首先,根据路径覆盖难易,在分支距离法中引入加权因子并转换为栖息地适应指数;然后,综合最优栖息地和迁出地相关因子优化迁入地适应度指数变量,同时对满足条件的种群进行以个体当前值为中心、适应值为幅度的变异操作。对经典基准程序进行生成测试用例的对比实验结果表明,算法不仅能满足目标路径覆盖要求,而且速度和稳定性均有明显优势。 展开更多
关键词 测试用例生成 路径覆盖 自适应迁移 生物地理学优化
在线阅读 下载PDF
基路径覆盖测试用例自动生成方法研究 被引量:5
10
作者 宋想 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2013年第8期2759-2763,共5页
传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例... 传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。 展开更多
关键词 面向路径测试 路径覆盖 路径覆盖 圈复杂度 测试用例自动生成
在线阅读 下载PDF
基于关键点路径的快速测试用例自动生成方法 被引量:22
11
作者 丁蕊 董红斌 +1 位作者 张岩 冯宪彬 《软件学报》 EI CSCD 北大核心 2016年第4期814-827,共14页
测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路... 测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路径;(2)用随机生成的数据运行简化后的插装程序,得到部分测试数据;(3)将理论路径分成易覆盖路径、难覆盖路径和不可行路径;(4)根据已覆盖路径及其测试数据提供的信息,使用遗传算法生成难覆盖路径的测试数据.仿真实验结果表明了所提方法的有效性. 展开更多
关键词 关键点路径 软件测试数据生成模型 覆盖测试 启发式信息 遗传算法
在线阅读 下载PDF
多路径粒子群优化自动测试用例生成算法 被引量:4
12
作者 聂鹏 耿技 秦志光 《计算机集成制造系统》 EI CSCD 北大核心 2012年第1期216-223,共8页
从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。... 从计算资源优化、多路径适应度评价和测试路径间信息交换三个方面,对多路径粒子群优化测试用例自动生成的一般方法进行了分析。针对软件结构性测试多路径粒子群优化多路径覆盖中存在的问题,提出多路径粒子群优化自动测试用例生成算法。定义了多路径适应度函数,以解决多路径环境下的测试用例适应度测量问题;提出适应度决策矩阵,使测试用例可以在待测路径间交换信息和优化计算资源,并引导测试种群实现对多路径的覆盖。实验表明,所提算法节约了多路径粒子群优化多路径测试用例生成的计算资源,提高了算法的路径覆盖率。 展开更多
关键词 软件测试 测试用例生成 路径覆盖 路径粒子群优化 算法
在线阅读 下载PDF
应用混沌果蝇算法的路径覆盖测试用例优化技术研究 被引量:9
13
作者 李龙澍 郭紫梦 《小型微型计算机系统》 CSCD 北大核心 2018年第2期362-366,共5页
提出一种基于混沌果蝇的路径覆盖测试用例生成方法.鉴于果蝇优化算法与遗传算法等常用算法属于同一类型智能算法,且果蝇优化算法具有计算量小,复杂度低,寻优精度高等优点,故将果蝇优化算法运用到软件测试领域内,通过路径覆盖来实现测试... 提出一种基于混沌果蝇的路径覆盖测试用例生成方法.鉴于果蝇优化算法与遗传算法等常用算法属于同一类型智能算法,且果蝇优化算法具有计算量小,复杂度低,寻优精度高等优点,故将果蝇优化算法运用到软件测试领域内,通过路径覆盖来实现测试数据的自动生成;并且针对果蝇优化算法表现出的易陷入局部最优问题,融入了一种新的混沌策略,对每次迭代过程中最优个体进行了改进,在保留优秀个体的同时,增加种群的多样性,优化全局搜索能力.最后,本文通过两组仿真实验,分别对比了在不同迭代次数下的覆盖率,及覆盖全部目标路径下的评价次数与运行时间,均取得较好的实验效果,验证了本文方法在路径覆盖测试领域内的有效性. 展开更多
关键词 果蝇优化算法 混沌策略 路径覆盖 测试用例
在线阅读 下载PDF
面向Length_N测试覆盖准则的测试用例生成技术研究
14
作者 李宝林 李志蜀 +1 位作者 倪建成 李继玲 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2008年第3期132-137,共6页
针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对... 针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对遗传模拟退火算法的编码、适应度函数、交叉概率做了一定的改进;并在此基础上来自动生成测试用例。实验结果表明该方法在效率上较遗传算法、随机测试数据生成方法有很明显的提高,在可行性上比路径覆盖准则也有很大的改善。 展开更多
关键词 面向路径测试覆盖准则 遗传模拟退火算法 程序插装 测试用例 Length_N完整路径
在线阅读 下载PDF
基于强化学习选择策略的路径覆盖测试数据生成算法
15
作者 刘超 丁蕊 朱雨寒 《计算机应用研究》 CSCD 北大核心 2024年第8期2467-2473,共7页
面向路径覆盖的测试是软件测试的重要方法之一。如何快速生成高质量测试数据使其满足路径覆盖要求,一直是研究热点问题。为解决现有智能优化方法运行时间长、探索过程不稳定以及生成测试用例冗余的问题,提出一种基于强化学习思想的选择... 面向路径覆盖的测试是软件测试的重要方法之一。如何快速生成高质量测试数据使其满足路径覆盖要求,一直是研究热点问题。为解决现有智能优化方法运行时间长、探索过程不稳定以及生成测试用例冗余的问题,提出一种基于强化学习思想的选择策略,用于以路径覆盖为准则的测试数据生成中。通过将可执行路径定义为智能体状态,算法每一轮迭代更新后的数据选择定义为智能体动作,并将奖励函数与状态变化关联,在状态更新过程中使用贪心策略来引导输入数据不断向未获取状态变异更新,以此不断选择能够覆盖新可执行路径的数据,从而实现对待测程序所有执行路径覆盖的目标。实验结果表明,与其他算法相比,所提策略的运行时间和迭代次数明显降低,同时覆盖率快速提高。结合理论分析可以得出结论:所提策略在实际运用中能够有效实现路径覆盖并提高测试数据生成效率。 展开更多
关键词 测试数据生成 路径覆盖 强化学习 选择策略
在线阅读 下载PDF
基于路径相似表与个体迁移策略的多路径覆盖测试 被引量:2
16
作者 钱忠胜 孙志旺 +4 位作者 俞情媛 秦朗悦 蒋鹏 万子珑 王亚惠 《计算机科学与探索》 CSCD 北大核心 2024年第4期947-962,共16页
将遗传算法用于多路径覆盖测试中是个研究热点,在新旧种群迭代过程中,旧种群中可能包含其他子种群的优秀个体,这部分个体未被充分利用,造成资源浪费;同时,种群中的个体数会远大于可达路径数,而每个个体都会经过某一条可达路径,这样会有... 将遗传算法用于多路径覆盖测试中是个研究热点,在新旧种群迭代过程中,旧种群中可能包含其他子种群的优秀个体,这部分个体未被充分利用,造成资源浪费;同时,种群中的个体数会远大于可达路径数,而每个个体都会经过某一条可达路径,这样会有多个个体经过同一条路径,导致重复计算个体与目标路径的相似度。基于此,提出结合路径相似表与个体迁移的多路径覆盖测试方法以提高测试效率。通过路径相似表存储已计算得到的路径相似度值,避免该值被重复计算,减少测试时间。在进化过程中,将个体路径与其他目标路径进行比较,若相似度达到阈值,则将此优秀个体迁移至该路径对应的子种群中,提高个体利用率并减少进化代数。由实验可知,该方法与其他六种同类经典方法在八个程序上的平均生成时间降低最高达44.64%,最低为2.64%,平均进化代数降低最高达35.08%,最低为6.13%,故该方法有效地提高了测试效率。 展开更多
关键词 测试用例 路径相似表 个体迁移 路径覆盖 多种群遗传算法
在线阅读 下载PDF
函数调用路径测试用例自动生成的方法研究 被引量:2
17
作者 沈晴 牟永敏 《计算机工程与应用》 CSCD 北大核心 2020年第18期238-246,共9页
测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒... 测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径(函数调用路径表示程序从开始到结束之间函数的调用或执行序列)。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。 展开更多
关键词 函数调用路径 符号执行 全局测试用例 测试用例自动生成
在线阅读 下载PDF
基本路径测试用例自动生成的方法研究 被引量:2
18
作者 孙晶 李硕 赵会群 《计算机工程与应用》 CSCD 北大核心 2018年第20期48-53,共6页
基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术... 基本路径测试是一个传统的代码分析与测试技术,被广泛地应用到复杂软件分析和大型软件逻辑覆盖测试活动中。传统的基本路径测试方法是采用选取满足规约的随机数作为测试用例,没有考虑规约自动提取和规约组合优化。提出一种基于编译技术的条件规约自动提取技术和规约组合优化自动生成测试用例技术,并给出相应的算法。实验结果证明了提出算法的有效性。 展开更多
关键词 基本路径测试 测试用例生成 编译技术 规约自动提取 条件归约组合优化
在线阅读 下载PDF
一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 被引量:17
19
作者 陈鑫 姜鹏 +2 位作者 张一帆 黄超 周岩 《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性. 展开更多
关键词 安全攸关场景 场景建模 简单路径覆盖 测试用例自动生成
在线阅读 下载PDF
一个基于UML协作图的集成测试用例生成方法 被引量:25
20
作者 王林章 李宣东 郑国梁 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1290-1296,共7页
UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直... UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径 ,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列 ,最后使用范畴 划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例 ,用于测试一个协作场景路径上的交互行为 .该方法 ,集成了白盒方法和黑盒方法 ,在覆盖所有的测试需求的前提下 ,生成的测试用例较少 . 展开更多
关键词 测试用例生成 集成测试 UML协作图 场景路径
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部