期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5,734篇文章
< 1 2 … 250 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
软件测试研究进展 被引量：138
1
作者 单锦辉 姜瑛 孙萍 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第1期134-145,共12页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。 展开更多
关键词 软件测试 软件质量 软件的易测试性 构件测试
下载PDF
基于模型的软件测试综述 被引量：74
2
作者 颜炯 王戟 陈火旺 《计算机科学》 CSCD 北大核心 2004年第2期184-187,共4页
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种... 随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。 展开更多
关键词 软件工程 软件测试 面向对象 软件开发 软件可靠性 程序代码 软件系统
下载PDF
关于嵌入式应用开发技术 被引量：29
3
作者 蔡建平 《单片机与嵌入式系统应用》 2001年第3期5-11,34,共8页
在阐述嵌入式系统概念和特性的基础上,介绍嵌入式系统设计中的硬件和软件协同设计、实时理论算法模型、实时设计表示、实时设计过程、实时软件设计方法等。文中还对应用软件开发的最小编程环境和实时操作系统、实时数据库以及软件的应... 在阐述嵌入式系统概念和特性的基础上,介绍嵌入式系统设计中的硬件和软件协同设计、实时理论算法模型、实时设计表示、实时设计过程、实时软件设计方法等。文中还对应用软件开发的最小编程环境和实时操作系统、实时数据库以及软件的应用测试进行了阐述。 展开更多
关键词 嵌入式系统 软件测试 软件开发 应用软件 计算机
下载PDF
面向对象软件测试技术进展 被引量：46
4
作者 金凌紫 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期6-13,共8页
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方... 面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向． 展开更多
关键词 面向对象 软件测试 程序语言 软件开发
下载PDF
一种最小测试用例集生成方法 被引量：57
5
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2003年第12期1690-1695,共6页
测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例... 测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例集 ,然后利用启发式算法、贪心算法或整数规划方法来消除冗余 ,对这个测试用例集进行进一步的简化 .这种方法与已有方法相比 ,优点在于它可以生成满足所有测试需求的最小测试用例集 . 展开更多
关键词 软件测试 软件开发 软件需求分析 最小测试用例集生成方法
下载PDF
基于Z规格说明的软件测试用例自动生成 被引量：22
6
作者 兰毓华 毛法尧 曹化工 《计算机学报》 EI CSCD 北大核心 1999年第9期963-969,共7页
提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换， 线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成... 提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换， 线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例．同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实现， 展开更多
关键词 Z规格说明 区域测试 软件测试 软件开发
下载PDF
一种Web服务的测试数据自动生成方法 被引量：50
7
作者 姜瑛 辛国茂 +3 位作者 单锦辉 张路 谢冰 杨芙清 《计算机学报》 EI CSCD 北大核心 2005年第4期568-577,共10页
软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档... 软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性. 展开更多
关键词 WEB服务 软件测试 测试数据生成 合约 变异测试
下载PDF
基于接口参数的黑箱测试用例自动生成算法 被引量：52
8
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页
测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算... 测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 . 展开更多
关键词 软件测试 软件开发 接口参数 软件工程 黑箱测试 用例自动生成算法
下载PDF
遗传算法在软件测试数据生成中的应用 被引量：38
9
作者 荚伟 奚红宇 高仲仪 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期434-437,共4页
测试数据生成是软件测试中的关键环节，它的实现对于软件测试过程的自动化具有重要意义．本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术，其中讨论了编码策略、评价函数构造及插装等问题的解决方案，并重点... 测试数据生成是软件测试中的关键环节，它的实现对于软件测试过程的自动化具有重要意义．本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术，其中讨论了编码策略、评价函数构造及插装等问题的解决方案，并重点说明了如何对遗传算子进行改进，使算法在解决本问题时更加有效．实验数据证明该方法是高效的． 展开更多
关键词 软件工程 算法 软件测试 测试数据 遗传算法
下载PDF
程序交互执行流程图及其测试覆盖准则 被引量：31
10
作者 刘超 《软件学报》 EI CSCD 北大核心 1998年第6期458-463,共6页
文章提出一种程序交互执行流程图ＰＩＥＦ（ｐｒｏｇｒａｍｉｎｔｅｒａｃｔｉｖｅｅｘｅｃｕｔｉｏｎｆｌｏｗｃｈａｒｔ），用于描述一个交互式软件的各种可能的交互执行过程．基于被测程序的交互执行流程图，进一步提出了功能测试的... 文章提出一种程序交互执行流程图ＰＩＥＦ（ｐｒｏｇｒａｍｉｎｔｅｒａｃｔｉｖｅｅｘｅｃｕｔｉｏｎｆｌｏｗｃｈａｒｔ），用于描述一个交互式软件的各种可能的交互执行过程．基于被测程序的交互执行流程图，进一步提出了功能测试的若干基本的测试覆盖准则。 展开更多
关键词 软件工程 软件测试 软件测试准则 PIEF
下载PDF
一种基于测试需求约简的测试用例集优化方法 被引量：59
11
作者 章晓芳 徐宝文 +1 位作者 聂长海 史亮 《软件学报》 EI CSCD 北大核心 2007年第4期821-831,共11页
测试用例集优化的目标是用尽可能少的测试用例充分满足给定的测试目标.针对给定的测试目标,获得精简的测试需求集有助于提高测试用例集优化的效率和效果.从测试需求约简的角度考虑测试用例集优化,首先给出可以精确描述测试需求间相互关... 测试用例集优化的目标是用尽可能少的测试用例充分满足给定的测试目标.针对给定的测试目标,获得精简的测试需求集有助于提高测试用例集优化的效率和效果.从测试需求约简的角度考虑测试用例集优化,首先给出可以精确描述测试需求间相互关系的测试需求约简模型;基于此模型,提出一种测试需求约简方法,可以获得精简测试需求集,作为测试用例集生成和约简的基础,从而实现测试用例集优化.实验结果表明,测试需求约简有助于获得规模较小的测试用例集,实现系统、科学、有效的测试. 展开更多
关键词 软件测试 白盒测试 结构测试 测试需求 测试用例集优化
下载PDF
面向对象软件回归测试技术研究 被引量：31
12
作者 方菲 孙家骕 +1 位作者 王立福 杨芙清 《软件学报》 EI CSCD 北大核心 2001年第3期372-376,共5页
回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术... 回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术的研究有了迫切的需求 .通过分析对象系统的特性 ,定义了对象之间的依赖关系 ,通过这个依赖关系 ,导出测试对象的方法序列 ,并应用程序切片技术 ,标识那些受到程序修改影响的测试用例 ,只有这些测试用例才需要在回归测试中重新执行 .最后给出了一完整的对象系统的回归测试解决方案 . 展开更多
关键词 面向对象 程序切片 数据流 回归测试 软件测试 软件开发
下载PDF
计算机软件测试方法的研究 被引量：35
13
作者 马瑞芳 王会燃 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2210-2213,共4页
软件测试是软件开发的重要环节 ,也是保证软件质量的重要手段 .本文以计算机管理软件的测试为背景 ,讨论软件测试的必要性 ,论述软件测试的基本方法 ,提出了软件测试用例的设计规范 ,并提供了测试用例设计的案例 .实践证明这种方法对于... 软件测试是软件开发的重要环节 ,也是保证软件质量的重要手段 .本文以计算机管理软件的测试为背景 ,讨论软件测试的必要性 ,论述软件测试的基本方法 ,提出了软件测试用例的设计规范 ,并提供了测试用例设计的案例 .实践证明这种方法对于保证软件质量行之有效 . 展开更多
关键词 测试方法 软件质量 测试用例 软件测试 软件开发
下载PDF
嵌入式软件可靠性仿真测试系统研究 被引量：46
14
作者 刘斌 高小鹏 +1 位作者 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期490-493,共4页
研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨 .特别地 。
关键词 应用程序 软件工程 嵌入式软件 软件测试 仿真
下载PDF
软件测试方法简述与展望 被引量：24
15
作者 许静 陈宏刚 王庆人 《计算机工程与应用》 CSCD 北大核心 2003年第13期75-78,共4页
软件测试是一门重要的、具有广泛应用的学科,随着应用系统的不同,软件的测试方法呈现多样性。该文从概念、基本问题、方法、任务等各个方面进行评述,讨论了待解决的问题,并对今后的发展方向进行了展望。
关键词 软件测试 面向对象的测试 GUI测试 回归测试
下载PDF
遗传算法及其在软件测试数据生成中的应用研究 被引量：25
16
作者 汪浩 谢军凯 高仲仪 《计算机工程与应用》 CSCD 北大核心 2001年第12期64-68,共5页
文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用... 文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程，介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后，介绍了一个实用的Ada软件测试数据生成工具——TCAG。 展开更多
关键词 软件测试 遗传算法 程序插装 数据生成 软件工程
下载PDF
软件测试质量的度量 被引量：23
17
作者 徐中伟 吴芳美 《计算机工程与应用》 CSCD 北大核心 2002年第21期100-102,146,共4页
该文在详细分析了软件测试充分性和揭错能力度量理论后,根据软件质量的本质特性,提出一种更全面的软件测试质量度量方法———通过度量软件测试方法减低软件残留风险程度的能力来度量测试质量的新方法。
关键词 软件测试 度量 软件质量 软件开发 软件工程
下载PDF
实时嵌入式软件的测试技术 被引量：30
18
作者 孙昌爱 靳若明 +1 位作者 刘超 金茂忠 《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期920-924,共5页
实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领... 实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领域的国内外测试现状 ,包括各种测试方法、测试工具、测试策略和存在的问题 .最后 ,对实时嵌入式软件的测试进行了小结 . 展开更多
关键词 软件测试 实时嵌入式软件 测试方法 软件开发
下载PDF
构件软件的测试问题综述 被引量：27
19
作者 景涛 白成刚 +1 位作者 胡庆培 蔡开元 《计算机工程与应用》 CSCD 北大核心 2002年第24期1-6,共6页
基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。
关键词 构件 软件测试 测试充分性条件 软件设计方法 面向对象 软件工程 软件开发
下载PDF
基于模拟退火遗传算法的软件测试数据自动生成 被引量：28
20
作者 傅博 《计算机工程与应用》 CSCD 北大核心 2005年第12期82-84,共3页
提出了一种应用于软件测试中的基于模拟退火遗传算法的测试数据自动生成算法。该算法针对测试数据自动生成的特点将遗传算法和模拟退火有机结合,充分发挥遗传算法的全局搜索和模拟退火的局部搜索优势,提高了测试数据的生成能力。实验结... 提出了一种应用于软件测试中的基于模拟退火遗传算法的测试数据自动生成算法。该算法针对测试数据自动生成的特点将遗传算法和模拟退火有机结合,充分发挥遗传算法的全局搜索和模拟退火的局部搜索优势,提高了测试数据的生成能力。实验结果表明,该算法在测试数据自动生成的效率和效果方面,优于遗传算法。 展开更多
关键词 软件测试 模拟退火 遗传算法 测试数据
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 250 下一页 到第 页
使用帮助 返回顶部