期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,512篇文章
< 1 2 … 76 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种最小测试用例集生成方法 被引量：57
1
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2003年第12期1690-1695,共6页
测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例... 测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例集 ,然后利用启发式算法、贪心算法或整数规划方法来消除冗余 ,对这个测试用例集进行进一步的简化 .这种方法与已有方法相比 ,优点在于它可以生成满足所有测试需求的最小测试用例集 . 展开更多
关键词 软件测试 软件开发 软件需求分析 最小测试用例集生成方法
下载PDF
基于接口参数的黑箱测试用例自动生成算法 被引量：52
2
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页
测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算... 测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 . 展开更多
关键词 软件测试 软件开发 接口参数 软件工程 黑箱测试 用例自动生成算法
下载PDF
程序交互执行流程图及其测试覆盖准则 被引量：31
3
作者 刘超 《软件学报》 EI CSCD 北大核心 1998年第6期458-463,共6页
文章提出一种程序交互执行流程图ＰＩＥＦ（ｐｒｏｇｒａｍｉｎｔｅｒａｃｔｉｖｅｅｘｅｃｕｔｉｏｎｆｌｏｗｃｈａｒｔ），用于描述一个交互式软件的各种可能的交互执行过程．基于被测程序的交互执行流程图，进一步提出了功能测试的... 文章提出一种程序交互执行流程图ＰＩＥＦ（ｐｒｏｇｒａｍｉｎｔｅｒａｃｔｉｖｅｅｘｅｃｕｔｉｏｎｆｌｏｗｃｈａｒｔ），用于描述一个交互式软件的各种可能的交互执行过程．基于被测程序的交互执行流程图，进一步提出了功能测试的若干基本的测试覆盖准则。 展开更多
关键词 软件工程 软件测试 软件测试准则 PIEF
下载PDF
计算机软件测试方法的研究 被引量：35
4
作者 马瑞芳 王会燃 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2210-2213,共4页
软件测试是软件开发的重要环节 ,也是保证软件质量的重要手段 .本文以计算机管理软件的测试为背景 ,讨论软件测试的必要性 ,论述软件测试的基本方法 ,提出了软件测试用例的设计规范 ,并提供了测试用例设计的案例 .实践证明这种方法对于... 软件测试是软件开发的重要环节 ,也是保证软件质量的重要手段 .本文以计算机管理软件的测试为背景 ,讨论软件测试的必要性 ,论述软件测试的基本方法 ,提出了软件测试用例的设计规范 ,并提供了测试用例设计的案例 .实践证明这种方法对于保证软件质量行之有效 . 展开更多
关键词 测试方法 软件质量 测试用例 软件测试 软件开发
下载PDF
软件测试自动化中建立可维护脚本的技术 被引量：26
5
作者 姚实颖 肖沙里 +1 位作者 谭霞 唐跃林 《计算机工程》 CAS CSCD 北大核心 2003年第11期79-81,共3页
计算机软件测试应能有效地发现软件中的任何缺陷,同时它也应是高效的,尽可 能使占有的时间少且开销小?自动化的软件测试可以大大减少测试开销,同时增加在有限时 间内的测试?测试脚本是实现软件测试自动化的重要组成部分?使用不同的脚本... 计算机软件测试应能有效地发现软件中的任何缺陷,同时它也应是高效的,尽可 能使占有的时间少且开销小?自动化的软件测试可以大大减少测试开销,同时增加在有限时 间内的测试?测试脚本是实现软件测试自动化的重要组成部分?使用不同的脚本技术可以减 小脚本的大小?数量及复杂度,每个脚本技术都有其不同的适用场合?文章介绍了几种不同 的脚本技术及其特点,并举例说明它们怎样去实现相应的测试用例? 展开更多
关键词 脚本 自动化测试 测试用例
下载PDF
继电保护装置自动测试系统设计 被引量：56
6
作者 王忠 张晓莉 +3 位作者 李忠安 刘奎 胡习 赵青春 《电力系统保护与控制》 EI CSCD 北大核心 2015年第5期130-135,共6页
分析了继电保护装置自动测试的现状和优势,针对继电保护装置研发过程中性能测试的要求和特点,介绍了一种通用的继电保护装置自动测试系统。该系统采用分布式体系结构和模块化设计思想,利用Python语言构造实时测试脚本,可实现保护装置的... 分析了继电保护装置自动测试的现状和优势,针对继电保护装置研发过程中性能测试的要求和特点,介绍了一种通用的继电保护装置自动测试系统。该系统采用分布式体系结构和模块化设计思想,利用Python语言构造实时测试脚本,可实现保护装置的闭环自动测试和回归测试。通过改变配置,可以实现对常规站保护装置和数字化站保护装置的自动测试。对自动测试系统各模块的设计进行了详细说明,重点介绍了测试用例的实现方法。实际应用表明,该系统可提高研发过程中的测试质量及效率。 展开更多
关键词 继电保护 自动测试系统 测试用例 回归测试 分布式系统
下载PDF
一种软件测试需求建模及测试用例生成方法 被引量：48
7
作者 杨波 吴际 +2 位作者 徐珞 毕考 刘超 《计算机学报》 EI CSCD 北大核心 2014年第3期522-538,共17页
测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进... 测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用. 展开更多
关键词 需求工程 软件需求 软件测试 测试需求 模型 测试用例中图法
下载PDF
基于程序频谱的动态缺陷定位方法研究 被引量：43
8
作者 陈翔 鞠小林 +1 位作者 文万志 顾庆 《软件学报》 EI CSCD 北大核心 2015年第2期390-412,共23页
基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预... 基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望. 展开更多
关键词 软件调试 缺陷定位 程序频谱 测试用例 测试用例预言
下载PDF
正交试验设计方法在测试用例设计中的应用 被引量：29
9
作者 于秀山 《计算机工程与应用》 CSCD 北大核心 2004年第20期62-63,76,共3页
文章对正交试验进行了分析,并将其与软件测试理论相结合,提出了测试用例的正交设计方法。该方法用较少的测试用例就可以对软件进行较全面、有代表性的测试,并能够对测试结果进行直观分析,找出影响该结果的主次要因素。
关键词 正交试验 软件测试 测试用例
下载PDF
web服务器拟态防御原理验证系统测试与分析 被引量：32
10
作者 张铮 马博林 邬江兴 《信息安全学报》 CSCD 2017年第1期13-28,共16页
web服务器拟态防御原理验证系统是基于拟态防御原理的新型web安全防御系统,利用异构性、冗余性、动态性等特性阻断或扰乱网络攻击,以达成系统安全风险可控的要求。针对传统的测试方法实施于web服务器拟态防御原理验证系统中存在不足、... web服务器拟态防御原理验证系统是基于拟态防御原理的新型web安全防御系统,利用异构性、冗余性、动态性等特性阻断或扰乱网络攻击,以达成系统安全风险可控的要求。针对传统的测试方法实施于web服务器拟态防御原理验证系统中存在不足、不适应复杂安全功能测试以及难以实现准确度量等问题,本文提出了适用于拟态防御架构的web服务器测试方法,基于让步规则改进了灰盒测试,还丰富了漏洞和后门利用复杂度的含义。并以此为基础设计适于该系统的测试方案、测试原则和测试方法,在性能、兼容性、功能实现、HTTP协议一致性,安全性这些方面进行了全面的测试和分析。 展开更多
关键词 拟态防御原理 灰盒测试 利用复杂度 测试原则 测试用例 测试分析 测试
下载PDF
中国案例指导运作研究 被引量：26
11
作者 杨力 《法律科学（西北政法大学学报）》 CSSCI 北大核心 2008年第6期40-53,共14页
中国案例指导的合理性论证及地方性实践已经很多。但是,这一制度的基本运作问题还缺乏深度的讨论。中国指导性案例的拘束力载体应当具有双重性,既有从案例归纳出的特定规则,也包括决定性判决理由。这种"双重结构"决定了指导... 中国案例指导的合理性论证及地方性实践已经很多。但是,这一制度的基本运作问题还缺乏深度的讨论。中国指导性案例的拘束力载体应当具有双重性,既有从案例归纳出的特定规则,也包括决定性判决理由。这种"双重结构"决定了指导性案例的适用是一种充满技艺的经验理性过程,其中,"区别技术"在中国本土化的分类适用是关键所在。如果预设指导性案例作为一种司法解释形式,那么"司法解释权"的内在原理就决定了案例指导运作应当有一个起码的框架性标准,引入示范诉讼机制则是利用现有诉讼以最小成本达致这个标准的选择之一。 展开更多
关键词 指导性案例 拘束力载体 区别技术 司法解释权 示范诉讼
下载PDF
自动驾驶汽车基础测试场景构建研究 被引量：28
12
作者 舒红 袁康 +2 位作者 修海林 夏芹 何杉 《中国公路学报》 EI CAS CSCD 北大核心 2019年第11期245-254,共10页
针对L2/L3级自动驾驶汽车的仿真测试和封闭场地测试认证需求,结合现有L2/L3级自动驾驶汽车量产车型的主要功能特点,提出自动驾驶汽车基础测试场景群的构建方法。首先针对指定的道路交通环境,分析主车和周围交通参与者可能的相对位置和... 针对L2/L3级自动驾驶汽车的仿真测试和封闭场地测试认证需求,结合现有L2/L3级自动驾驶汽车量产车型的主要功能特点,提出自动驾驶汽车基础测试场景群的构建方法。首先针对指定的道路交通环境,分析主车和周围交通参与者可能的相对位置和运动方向的组合,确定复杂场景群。其次分别以主车功能所确定的各个可能运动方向,依此与各干扰车辆的可能运动方向(包括任一干扰车辆不存在的情形)进行组合,组合时采用PICT组合测试工具,并添加必要的运动约束条件,选择参数组合覆盖标准自动生成全部的组合场景群。最后结合场景筛选规则,筛选出具有测试价值的覆盖各个层级及功能的基础测试场景群。采用场景构建方法,对于主车处于三车道中间车道的路段场景和无红绿灯的十字路口场景,分别构建62种和33种基础测试场景。根据驾驶人行为特性、交通规则、汽车在城市、郊区和高速公路工况下的典型车速、加减速度、横向加速度、交通事故和自然驾驶数据库的有关场景数据等,设计主车换道工况的测试用例。采用模型预测控制框架建立主车局部路径规划和控制仿真模型,并对主车危险换道场景进行仿真。研究结果表明:主车在邻车道前车大减速的情况下实现了减速换道并避免了与本车道前车和邻车道前后车的碰撞,同时跟踪到期望跟车间距,验证了该换道测试用例的有效性。 展开更多
关键词 汽车工程 场景构建 组合推理 自动驾驶汽车 测试用例
原文传递
中山一桥模型试验及理论分析 被引量：26
13
作者 刘爱荣 张俊平 +2 位作者 赵新生 李永河 梅力彪 《中国公路学报》 EI CAS CSCD 北大核心 2005年第3期75-79,83,共6页
中山一桥是一座由中拱、边拱、座拱5片拱肋组合而成的变异自平衡无推力系杆拱钢桥,其造型新颖独特、受力复杂,为研究其力学行为,进行了缩尺模型试验。详细介绍了中山一桥模型试验的目的、模型设计原则、测试工况、加载方案以及应变和变... 中山一桥是一座由中拱、边拱、座拱5片拱肋组合而成的变异自平衡无推力系杆拱钢桥,其造型新颖独特、受力复杂,为研究其力学行为,进行了缩尺模型试验。详细介绍了中山一桥模型试验的目的、模型设计原则、测试工况、加载方案以及应变和变形测点布置情况等,并给出了几个主要荷载工况的试验数据;同时还建立了空间板壳有限元模型,指导试验加载。通过试验数据与理论数据的比较,可以看出两者比较接近,从而从试验和理论两方面证明了该桥设计是合理、安全的。 展开更多
关键词 桥梁工程 拱桥 模型试验 测试工况 加载方案 测点布置 空间板壳有限元模型
下载PDF
UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具 被引量：13
14
作者 袁洁松 王林章 +1 位作者 李宣东 郑国梁 《计算机研究与发展》 EI CSCD 北大核心 2006年第1期46-53,共8页
UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动... UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本· 展开更多
关键词 UML 活动图 灰盒方法 测试场景 测试用例
下载PDF
一种有效的软件测试模型 被引量：12
15
作者 李祎 陈嶷瑛 《计算机工程与应用》 CSCD 北大核心 2004年第10期114-115,186,共3页
软件测试是软件质量保证的一个重要元素。在测试过程中使用合理的软件测试模型可以降低测试在开发活动中的花费。该文提出了一个软件测试模型。该模型将软件测试贯穿软件开发周期的各个阶段,可以尽可能早地发现软件中的错误,有效地缩短... 软件测试是软件质量保证的一个重要元素。在测试过程中使用合理的软件测试模型可以降低测试在开发活动中的花费。该文提出了一个软件测试模型。该模型将软件测试贯穿软件开发周期的各个阶段,可以尽可能早地发现软件中的错误,有效地缩短了测试在软件开发过程中所占的时间。最后给出该测试模型在报表生成软件升级开发项目中的应用。 展开更多
关键词 测试过程 开发过程 测试用例 软件测试模型
下载PDF
可复用测试用例研究 被引量：23
16
作者 尹平 《计算机应用》 CSCD 北大核心 2010年第5期1309-1311,1355,共4页
分析了测试用例复用的可行性和必要性,研究了可复用测试用例的特性,提出了面向复用的测试用例设计过程和基于复用的软件测试模型,给出了可复用测试用例的描述要素,从而解决了可复用测试用例的系统描述、规范设计和有效使用的问题,并为... 分析了测试用例复用的可行性和必要性,研究了可复用测试用例的特性,提出了面向复用的测试用例设计过程和基于复用的软件测试模型,给出了可复用测试用例的描述要素,从而解决了可复用测试用例的系统描述、规范设计和有效使用的问题,并为基于复用的软件测试的工程化管理提供了管理框架。 展开更多
关键词 软件测试 测试用例 测试用例复用 软件测试模型
下载PDF
基于程序执行状态图的软件测试方法研究 被引量：9
17
作者 何允如 刘宗田 +1 位作者 郝峰 李心科 《计算机工程与应用》 CSCD 北大核心 2002年第18期96-98,共3页
软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序... 软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。 展开更多
关键词 程序执行状态图 软件测试方法 软件质量 软件工程
下载PDF
IntelliWay-变耦合模块化智慧高速公路系统一体化架构及测评体系 被引量：16
18
作者 赵祥模 高赢 +14 位作者 徐志刚 曹奕哲 龚思远 李立 刘志广 左志武 王福海 孙昊 朱晓东 芮一康 刘占文 王冠群 刘成林 张骞 刘鹏 《中国公路学报》 EI CAS CSCD 北大核心 2023年第1期176-201,共26页
根据当前智慧高速公路系统的发展历程,总结一些典型的车路协同系统逻辑与物理模型。在总结国内外智慧高速公路系统的整体架构之后,提出新一代智慧高速系统的总体架构-IntelliWay,包括智慧高速公路系统分层模块化架构、基于变耦合程度的... 根据当前智慧高速公路系统的发展历程,总结一些典型的车路协同系统逻辑与物理模型。在总结国内外智慧高速公路系统的整体架构之后,提出新一代智慧高速系统的总体架构-IntelliWay,包括智慧高速公路系统分层模块化架构、基于变耦合程度的智能分级和基于事件驱动的数据分发机制。同时,根据当前智慧高速公路系统的主流应用技术,总结车载高精度定位、高级驾驶辅助系统(Advanced Driver Assistance System,ADAS)与车载总线、路侧设备优化、异构网络融合、网络负载均衡、网络信息安全、多传感器融合与协同感知、以用户为中心的场景自适应信息发布、车辆群体协同自动驾驶、基于大数据与人工智能的交通态势预测、车道级主动交通管理、组件式应用服务开发等驱动智慧高速公路系统快速发展的新兴技术研究现状,然后基于以上关键技术的特点提出未来智慧高速公路系统应用的实施建议;分析广播式交通信息服务、主动交通管理、伴随式信息服务、自动驾驶专用道、车辆队列协同驾驶等智慧高速公路系统的典型应用场景,进行智慧高速系统的测评方法分析和相关案例分析。最后,系统性地分析和预测智慧高速系统存在的挑战及未来发展趋势,以及“人-货-车-路-云”之间的高可信信息交互与智能协同管控将为高速公路自动驾驶提供一个高可靠、强实时的交通环境,研究成果将对当前和未来智慧高速公路系统的研究和应用具有一定的参考价值。 展开更多
关键词 交通工程 智能交通系统 综述 智慧高速公路 车路协同 系统架构 变耦合 模块化 系统分层 智能分级 智慧高速场景 测试评估 案例分析
原文传递
一种基于Messy GA的结构测试数据自动生成方法 被引量：14
19
作者 薛云志 陈伟 +2 位作者 王永吉 赵琛 王青 《软件学报》 EI CSCD 北大核心 2006年第8期1688-1697,共10页
结构性测试是标识测试用例的基本方法之一.由于程序语言的复杂性以及被测程序的多样性,自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.提出一种基于MessyGA的结构测试数据... 结构性测试是标识测试用例的基本方法之一.由于程序语言的复杂性以及被测程序的多样性,自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.提出一种基于MessyGA的结构测试数据自动生成方法,将测试覆盖率表示为测试输入集X的函数F(X),并利用MessyGA不需要染色体模式排列的先验知识即可进行优化求解的性质对F(X)进行迭代寻优,进一步提高了搜索的并行性,并最终提高测试覆盖率.对一组标准测试程序和若干实际应用程序的实验结果表明,较之现有基于遗传算法的生成方法,该方法能够以更高的效率生成更高质量的测试数据,并适用于较大规模的程序. 展开更多
关键词 结构测试 测试数据 测试用例 自动生成 遗传算法 变长度染色体 Messy GA
下载PDF
基于LoadRunner的一种性能测试流程方案研究与设计 被引量：17
20
作者 李怡 周国祥 《计算机应用研究》 CSCD 北大核心 2009年第11期4143-4145,共3页
基于软件系统测试,采用LoadRunner作为测试工具,提出一个完善的性能测试流程方案设计方法。在该方案中,详细给出测试流程应包括的内容,以及每项内容确定的最优方法和结果形式,从而能高效地指导性能测试的执行。此方法成功地应用到安徽... 基于软件系统测试,采用LoadRunner作为测试工具,提出一个完善的性能测试流程方案设计方法。在该方案中,详细给出测试流程应包括的内容,以及每项内容确定的最优方法和结果形式,从而能高效地指导性能测试的执行。此方法成功地应用到安徽省信息化供电公司项目中,而在其他类似平台的电力系统中,同样具有通用性。 展开更多
关键词 性能测试 测试方案 测试工具 测试用例 场景
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 76 下一页 到第 页
使用帮助 返回顶部