覆盖率驱动的随机测试生成技术综述 被引量：22

1

作者 沈海华 卫文丽 陈云霁 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期419-431,441,共14页

随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度... 随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结. 展开更多

关键词 验证 VLSI 随机测试生成 覆盖率驱动的测试生成

在线阅读 下载PDF 职称材料

场景驱动的拖轮自主伴航功能虚拟仿真测试方法研究

2

作者 李诗杰 李佳林 +2 位作者 刘佳仑 徐诚祺 董智霖 《系统仿真学报》 北大核心 2025年第6期1366-1375,共10页

为全面构建测试场景并验证拖轮自主伴航功能的可靠性,提出一种场景驱动的拖轮自主伴航功能虚拟仿真测试方法。基于目标船和拖轮的相对航向、相对航速、相对位置等要素生成拖轮自主伴航场景测试用例,利用五阶贝塞尔曲线评估测试用例的复... 为全面构建测试场景并验证拖轮自主伴航功能的可靠性,提出一种场景驱动的拖轮自主伴航功能虚拟仿真测试方法。基于目标船和拖轮的相对航向、相对航速、相对位置等要素生成拖轮自主伴航场景测试用例,利用五阶贝塞尔曲线评估测试用例的复杂度。通过对无障碍物和有障碍物的复杂典型测试场景进行仿真实验验证拖轮自主伴航功能。实验结果表明:拖轮在不同类别的测试场景中都实现了自主伴航并避免了与障碍物碰撞,验证了拖轮自主伴航功能的有效性以及测试用例的合理性。 展开更多

关键词 场景驱动 自主伴航 组合测试 虚拟仿真测试 场景生成

在线阅读 下载PDF 职称材料

基于遗传算法的全芯片级覆盖率驱动随机验证技术 被引量：5

3

作者 沈海华 王朋宇 +1 位作者 卫文丽 郭崎 《计算机研究与发展》 EI CSCD 北大核心 2009年第10期1612-1625,共14页

随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法... 随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率. 展开更多

关键词 验证 大规模集成电路 随机测试生成 覆盖率驱动的测试生成 遗传算法

在线阅读 下载PDF 职称材料

基于遗传算法的覆盖率驱动测试产生器 被引量：1

4

作者 王树朋 黄凯 严晓浪 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2016年第3期580-588,共9页

为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法... 为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法(GA)建立覆盖率与测试产生器之间的联系,分析覆盖率和测试之间的关系,根据分析结果改变测试产生器的约束和限制,驱动测试产生器生成新一代的测试,新一代的测试可以覆盖到上一代的测试无法覆盖的功能点.实验结果表明:在2个高性能的32位多核处理器的验证环境中,该测试产生器可以明显减少仿真时间,提高验证效率. 展开更多

关键词 覆盖率 测试产生器 遗传算法(GA) 覆盖率驱动测试产生器 适应度函数

在线阅读 下载PDF 职称材料

安捷伦科技公司推出可以自动生成在线测试覆盖率报告的软件

5

《电子测量技术》 2011年第1期138-138,共1页

安捷伦科技公司（NYSE：A）日前宣布推出一款快速易用的测试覆盖率预测工具：N1194A安捷伦测试覆盖率顾问（ATCC）软件。

关键词 安捷伦科技公司 测试覆盖率 自动生成 软件 在线 预测工具

在线阅读 下载PDF 职称材料

基于事件消息驱动的Petri网的类族测试用例生成技术的研究 被引量：3

6

作者 龚红仿 李军义 邹北骥 《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状... 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。 展开更多

关键词 类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准

在线阅读 下载PDF 职称材料

一种动静结合的高代码覆盖率模糊测试方法 被引量：1

7

作者 韩鹍 吴波 辛丹 《信息安全研究》 2016年第8期699-705,共7页

针对浏览器软件的漏洞挖掘,目前业界主流自动化方案为模糊测试,但由于现有方法基本不关注测试过程的代码覆盖情况,致使众多测试用例可能一直覆盖的是同一条代码执行路径而不被察觉,导致整体代码覆盖率低、测试效果差.为研究具有高代码... 针对浏览器软件的漏洞挖掘,目前业界主流自动化方案为模糊测试,但由于现有方法基本不关注测试过程的代码覆盖情况,致使众多测试用例可能一直覆盖的是同一条代码执行路径而不被察觉,导致整体代码覆盖率低、测试效果差.为研究具有高代码覆盖率的测试方法,讨论了一种动静结果的高代码覆盖率模糊测试方法,该方法综合利用静态和动态测试用例生成方式的优势,并以代码覆盖率指标来引导测试过程.测试过程首先构造静态变异的样本集合,然后将静态变异结果插入到动态变异引擎,由动态变异引擎加载和执行测试过程,再通过代码覆盖率监测引擎收集路径执行情况,并将覆盖情况反馈到静态变异引擎以辅助其生成更有效的测试用例,最后通过动态监控来检测出潜在漏洞.原型系统DASFuzzer的实验表明:该方法能够有效地提高浏览器测试过程的代码覆盖率,并且能够准确检测出未知漏洞. 展开更多

关键词 漏洞挖掘 覆盖率导向 测试用例生成 模糊测试 二进制插装

在线阅读 下载PDF 职称材料

基于自然语言需求的SCADE模型测试用例自动生成方法 被引量：1

8

作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多

关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测

在线阅读 下载PDF 职称材料

基于覆盖率驱动的高性能DSP指令集验证方法 被引量：6

9

作者 刘畅 郭阳 《计算机工程》 CAS CSCD 2014年第6期317-320,F0003,共5页

针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令... 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。 展开更多

关键词 SystemVerilog语言 随机测试 覆盖率驱动 约束描述 面向对象编程 验证平台

在线阅读 下载PDF 职称材料

模型驱动的软件测试研究 被引量：6

10

作者 王林章 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第10期230-235,共6页

MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试... MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。 展开更多

关键词 MDA MDT PIM PSM PIT PST 模型驱动 测试研究 软件开发 生成平台 软件测试过程 过程集成 Web应用 相互转换 测试生成

在线阅读 下载PDF 职称材料

基于多目标演化算法的测试程序生成 被引量：3

11

作者 张良 佟冬 +2 位作者 林桦 程旭 王克义 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第8期1382-1389,共8页

针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标... 针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%. 展开更多

关键词 功能验证 覆盖率准则 多目标演化算法 测试生成

在线阅读 下载PDF 职称材料

面向TTCN-3性能测试的负载生成方法 被引量：4

12

作者 徐珞 吴际 刘超 《计算机学报》 EI CSCD 北大核心 2011年第6期985-1000,共16页

TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用... TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性. 展开更多

关键词 TTCN-3 性能测试 模型驱动测试 负载建模 负载生成

在线阅读 下载PDF 职称材料

规则驱动的Android应用DFS测试技术 被引量：3

13

作者 叶佳 葛红军 +2 位作者 曹春 朱晋 张营 《计算机科学》 CSCD 北大核心 2018年第9期99-103,118,共6页

GUI自动化测试是Android应用研究领域的重要组成部分,针对Android应用的GUI测试技术得到了广泛的研究。其中,基于DFS算法的GUI遍历测试技术得到了广泛的应用。然而,现有的DFS测试技术却仍然具有效率低下、覆盖率较低的问题。文中提出了... GUI自动化测试是Android应用研究领域的重要组成部分,针对Android应用的GUI测试技术得到了广泛的研究。其中,基于DFS算法的GUI遍历测试技术得到了广泛的应用。然而,现有的DFS测试技术却仍然具有效率低下、覆盖率较低的问题。文中提出了结合外部预定义规则来驱动DFS自动化遍历的改进方法,以提高DFS自动化遍历的效率和覆盖率;基于规则驱动的改进方法实现了RDTA测试工具,进行了与Monkey以及无规则驱动下的DFS的对比实验,验证了该方法的有效性。 展开更多

关键词 Android测试 DFS 规则驱动 测试效率 覆盖率

在线阅读 下载PDF 职称材料

无回溯并行多路径搜索测试向量生成算法 被引量：3

14

作者 黄越 于宗光 万书芹 《计算机应用》 CSCD 北大核心 2010年第5期1390-1393,共4页

无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明... 无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明算法时间复杂度近似为线性。算法对ISCAS85基准电路中规模最大的8个电路进行实验,将实验结果与传统算法进行比较,结果表明NBMP算法故障覆盖率优于传统算法。 展开更多

关键词 数字电路 基准电路 测试向量生成 故障覆盖率 多路径

在线阅读 下载PDF 职称材料

蚂蚁算法在时序电路测试生成中的应用研究 被引量：4

15

作者 许川佩 李智 莫玮 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第2期187-190,共4页

数字集成电路的发展对测试提出了日益紧迫的要求 ,测试已成为妨碍LSI/VLSI付诸应用的瓶颈问题。尤其时序电路的测试生成 ,理论上是个没有完全解决的问题。通过结合电路的结构信息 ,提出了基于蚂蚁算法的时序电路自动测试生成 ,该算法分... 数字集成电路的发展对测试提出了日益紧迫的要求 ,测试已成为妨碍LSI/VLSI付诸应用的瓶颈问题。尤其时序电路的测试生成 ,理论上是个没有完全解决的问题。通过结合电路的结构信息 ,提出了基于蚂蚁算法的时序电路自动测试生成 ,该算法分初始化和故障检测两个阶段实现。实验结果表明 ,基于蚂蚁算法的测试生成能取得较好的故障覆盖率 ,并且测试生成所耗费的CPU时间非常短 ,说明这是个值得探索的方法。 展开更多

关键词 测试生成 时序电路 蚂蚁算法 应用 数字集成电路 故障覆盖率 CPU时间 瓶颈问题 VLSI 结构信息 结合电路 故障检测 完全解 初始化

在线阅读 下载PDF 职称材料

基于扩展的EDPN的类的交互测试用例生成技术的研究 被引量：1

16

作者 龚红仿 李军义 +2 位作者 胡积平 邹北骥 孙家广 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第1期99-103,共5页

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合... 针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性. 展开更多

关键词 类的交互测试 测试用例生成 扩展的事件驱动Petri网 扩展的正交阵列测试 系统 标记关联递推法 测试覆盖标准

在线阅读 下载PDF 职称材料

基于EDPN的面向对象的系统测试用例生成技术的研究 被引量：1

17

作者 龚红仿 李军义 仝青山 《计算机工程与应用》 CSCD 北大核心 2005年第3期37-39,共3页

面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特... 面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。 展开更多

关键词 面向对象 系统测试 测试用例生成 事件驱动Petri网 唯一输入输出

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具的设计 被引量：1

18

作者 陈继锋 刘树锟 王志海 《计算机工程与应用》 CSCD 北大核心 2010年第15期53-56,共4页

设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径... 设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。 展开更多

关键词 路径 测试数据自动生成 覆盖率

在线阅读 下载PDF 职称材料

模型驱动的Web应用测试

19

作者 李诺 黄陇 +2 位作者 吴际 金茂忠 刘超 《计算机工程》 CAS CSCD 北大核心 2007年第15期91-93,共3页

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型... 为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。 展开更多

关键词 WEB应用 模型驱动的测试 测试模型 测试用例生成

在线阅读 下载PDF 职称材料

基于程序分析的通信软件模型驱动测试研究

20

作者 蒋凡 章磊 +1 位作者 陈军成 王建学 《计算机工程与应用》 CSCD 北大核心 2009年第31期66-68,84,共4页

针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型... 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。 展开更多

关键词 通信软件 模型驱动的测试 程序分析 测试生成

在线阅读 下载PDF 职称材料