期刊文献+
共找到2,909篇文章
< 1 2 146 >
每页显示 20 50 100
软件测试研究进展 被引量:138
1
作者 单锦辉 姜瑛 孙萍 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第1期134-145,共12页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。 展开更多
关键词 软件测试 软件质量 软件的易测试性 构件测试
下载PDF
面向对象软件测试技术进展 被引量:46
2
作者 金凌紫 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期6-13,共8页
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方... 面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面,综述有代表性的研究工作,探讨研究方向. 展开更多
关键词 面向对象 软件测试 程序语言 软件开发
下载PDF
一种最小测试用例集生成方法 被引量:57
3
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2003年第12期1690-1695,共6页
测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例... 测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例集 ,然后利用启发式算法、贪心算法或整数规划方法来消除冗余 ,对这个测试用例集进行进一步的简化 .这种方法与已有方法相比 ,优点在于它可以生成满足所有测试需求的最小测试用例集 . 展开更多
关键词 软件测试 软件开发 软件需求分析 最小测试用例集生成方法
下载PDF
基于接口参数的黑箱测试用例自动生成算法 被引量:52
4
作者 聂长海 徐宝文 《计算机学报》 EI CSCD 北大核心 2004年第3期382-388,共7页
测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算... 测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 . 展开更多
关键词 软件测试 软件开发 接口参数 软件工程 黑箱测试 用例自动生成算法
下载PDF
一种Web服务的测试数据自动生成方法 被引量:50
5
作者 姜瑛 辛国茂 +3 位作者 单锦辉 张路 谢冰 杨芙清 《计算机学报》 EI CSCD 北大核心 2005年第4期568-577,共10页
软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档... 软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性. 展开更多
关键词 WEB服务 软件测试 测试数据生成 合约 变异测试
下载PDF
一种基于测试需求约简的测试用例集优化方法 被引量:59
6
作者 章晓芳 徐宝文 +1 位作者 聂长海 史亮 《软件学报》 EI CSCD 北大核心 2007年第4期821-831,共11页
测试用例集优化的目标是用尽可能少的测试用例充分满足给定的测试目标.针对给定的测试目标,获得精简的测试需求集有助于提高测试用例集优化的效率和效果.从测试需求约简的角度考虑测试用例集优化,首先给出可以精确描述测试需求间相互关... 测试用例集优化的目标是用尽可能少的测试用例充分满足给定的测试目标.针对给定的测试目标,获得精简的测试需求集有助于提高测试用例集优化的效率和效果.从测试需求约简的角度考虑测试用例集优化,首先给出可以精确描述测试需求间相互关系的测试需求约简模型;基于此模型,提出一种测试需求约简方法,可以获得精简测试需求集,作为测试用例集生成和约简的基础,从而实现测试用例集优化.实验结果表明,测试需求约简有助于获得规模较小的测试用例集,实现系统、科学、有效的测试. 展开更多
关键词 软件测试 白盒测试 结构测试 测试需求 测试用例集优化
下载PDF
遗传算法在软件测试数据生成中的应用 被引量:38
7
作者 荚伟 奚红宇 高仲仪 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期434-437,共4页
测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点... 测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的. 展开更多
关键词 软件工程 算法 软件测试 测试数据 遗传算法
下载PDF
嵌入式软件可靠性仿真测试系统研究 被引量:46
8
作者 刘斌 高小鹏 +1 位作者 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期490-493,共4页
研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨 .特别地 。
关键词 应用程序 软件工程 嵌入式软件 软件测试 仿真
下载PDF
软件测试方法简述与展望 被引量:24
9
作者 许静 陈宏刚 王庆人 《计算机工程与应用》 CSCD 北大核心 2003年第13期75-78,共4页
软件测试是一门重要的、具有广泛应用的学科,随着应用系统的不同,软件的测试方法呈现多样性。该文从概念、基本问题、方法、任务等各个方面进行评述,讨论了待解决的问题,并对今后的发展方向进行了展望。
关键词 软件测试 面向对象的测试 GUI测试 回归测试
下载PDF
软件测试质量的度量 被引量:23
10
作者 徐中伟 吴芳美 《计算机工程与应用》 CSCD 北大核心 2002年第21期100-102,146,共4页
该文在详细分析了软件测试充分性和揭错能力度量理论后,根据软件质量的本质特性,提出一种更全面的软件测试质量度量方法———通过度量软件测试方法减低软件残留风险程度的能力来度量测试质量的新方法。
关键词 软件测试 度量 软件质量 软件开发 软件工程
下载PDF
基于界面构件关联图的软件功能测试技术 被引量:25
11
作者 杜栓柱 谭建荣 陆国栋 《计算机研究与发展》 EI CSCD 北大核心 2002年第2期148-152,共5页
针对具有图形用户界面 (GUI)且进行事务处理软件系统的功能测试 ,从界面构件间关联特征出发 ,提出了界面构件关联图 ,描述界面中各个构件之间相互联结、制约关系 ,进而提出了基于界面构件关联图的软件测试覆盖准则和测试用例生成方法 。
关键词 图形用户界面 界面构件关联图 测试覆盖准则 软件功能测试 软件开发
下载PDF
构件软件的测试问题综述 被引量:27
12
作者 景涛 白成刚 +1 位作者 胡庆培 蔡开元 《计算机工程与应用》 CSCD 北大核心 2002年第24期1-6,共6页
基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。
关键词 构件 软件测试 测试充分性条件 软件设计方法 面向对象 软件工程 软件开发
下载PDF
再生粗细骨料混凝土基本力学性能试验研究 被引量:50
13
作者 郭樟根 陈晨 +2 位作者 范秉杰 肖文广 郑松林 《建筑结构学报》 EI CAS CSCD 北大核心 2016年第S2期94-102,共9页
试验中配制了不同水灰比、粗骨料取代率、细骨料取代率的再生混凝土,对其进行了基本力学性能试验,测试了立方体抗压强度、轴心抗压强度、劈裂抗拉强度,考察了受压破坏过程与破坏形态,分析了再生粗、细骨料、水灰比对再生混凝土破坏形态... 试验中配制了不同水灰比、粗骨料取代率、细骨料取代率的再生混凝土,对其进行了基本力学性能试验,测试了立方体抗压强度、轴心抗压强度、劈裂抗拉强度,考察了受压破坏过程与破坏形态,分析了再生粗、细骨料、水灰比对再生混凝土破坏形态及抗压强度等的影响。试验结果表明:再生粗骨料、细骨料配制的再生混凝土的破坏形态与普通混凝土破坏形态相似;再生混凝土的抗压强度随着水灰比、再生粗、细骨料取代率的增大而降低;当再生粗骨料取代率大于75%时,再生混凝土抗压强度较普通混凝土有显著下降;当再生细骨料取代率小于30%时,再生细骨料对再生混凝土抗压强度的影响很小;当再生混凝土完全使用再生粗、细骨料时,各水灰比下再生混凝土抗压强度较普通混凝土下降了36%~42%;通过回归分析,提出了再生混凝土劈裂抗拉强度及轴心抗压强度与立方体抗压强度的换算公式。 展开更多
关键词 再生混凝土 取代率 水灰比 静力试验 力学性能
原文传递
一种软件测试需求建模及测试用例生成方法 被引量:48
14
作者 杨波 吴际 +2 位作者 徐珞 毕考 刘超 《计算机学报》 EI CSCD 北大核心 2014年第3期522-538,共17页
测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进... 测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用. 展开更多
关键词 需求工程 软件需求 软件测试 测试需求 模型 测试用例中图法
下载PDF
一种基于组合测试的软件故障调试方法 被引量:38
15
作者 徐宝文 聂长海 +1 位作者 史亮 陈火旺 《计算机学报》 EI CSCD 北大核心 2006年第1期132-138,共7页
在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法.该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试... 在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法.该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考. 展开更多
关键词 软件测试 组合测试 软件调试 测试用例集 待测软件
下载PDF
软件测试过程的基本模型POCERM 被引量:24
16
作者 刘超 金茂忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期56-60,共5页
软件测试过程包含着测试计划的制定(Plan)、测试大纲(Outlines)的编制、测试用例的生成(TestCaseGeneration)、测试的实施(Execution)、测试结果与问题的分析和报告(Reports)... 软件测试过程包含着测试计划的制定(Plan)、测试大纲(Outlines)的编制、测试用例的生成(TestCaseGeneration)、测试的实施(Execution)、测试结果与问题的分析和报告(Reports)、以及软件测试的管理(Management)等项工作.本文在多年从事软件测试研究与实践的基础上,提出一个面向软件测试基本活动的简明实用的软件测试过程模型POCERM。 展开更多
关键词 软件 模型法 软件质量 软件工程
下载PDF
关于软件测试的几点思考 被引量:44
17
作者 聂长海 《计算机科学》 CSCD 北大核心 2011年第2期1-3,27,共4页
近些年来,软件测试越来越受到产业界、教育界和学术界的重视。结合作者在软件测试领域的教学和科研积累,对软件测试从课程、职业和科学三个层面进行思考,分别探讨了软件测试作为一门课程时,它的知识体的构成;作为一个职业时,它的职业技... 近些年来,软件测试越来越受到产业界、教育界和学术界的重视。结合作者在软件测试领域的教学和科研积累,对软件测试从课程、职业和科学三个层面进行思考,分别探讨了软件测试作为一门课程时,它的知识体的构成;作为一个职业时,它的职业技能和素养所包括的内容;作为一门科学时,它的主要科学问题有哪些。 展开更多
关键词 软件测试 课程 职业 科学
下载PDF
基于ACO-SVM的软件缺陷预测模型的研究 被引量:44
18
作者 姜慧研 宗茂 刘相莹 《计算机学报》 EI CSCD 北大核心 2011年第6期1148-1154,共7页
针对传统软件缺陷预测模型的应用范围通常被局限在一定的子空间而影响其适用性和准确性的问题,文中利用支持向量机(SVM)的非线性运算能力和蚁群优化算法(ACO)的寻优能力提出了一种基于ACO-SVM的软件缺陷预测模型.文中首先对待预测的数... 针对传统软件缺陷预测模型的应用范围通常被局限在一定的子空间而影响其适用性和准确性的问题,文中利用支持向量机(SVM)的非线性运算能力和蚁群优化算法(ACO)的寻优能力提出了一种基于ACO-SVM的软件缺陷预测模型.文中首先对待预测的数据进行主成分分析降低数据的维数以提高运算速度,然后根据蚁群优化算法来计算最优的SVM参数,然后再运用SVM进行软件缺陷的预测.并基于十折交叉方法进行实验,通过与传统方法的对比,证明文中方法具有较高的预测精度. 展开更多
关键词 软件测试 软件缺陷预测 支持向量机 蚁群算法 主成分分析
下载PDF
基于程序插装的动态测试技术实现 被引量:16
19
作者 孙昌爱 金茂忠 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1475-1479,共5页
动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。
关键词 动态测试 数据流分析 软件测试 程序插装 软件工程
下载PDF
基于蚁群算法的软件测试数据自动生成 被引量:32
20
作者 傅博 《计算机工程与应用》 CSCD 北大核心 2007年第12期97-99,211,共4页
提出了一种基于蚁群算法的测试数据自动生成方法。该方法采用位串形式编码,实现了被测程序输入空间到蚂蚁路径网络的映射模型。根据程序插装函数定义的路径信息素轨迹强度,蚂蚁进行群体协作搜索最佳路径,生成测试数据。在基本蚁群算法... 提出了一种基于蚁群算法的测试数据自动生成方法。该方法采用位串形式编码,实现了被测程序输入空间到蚂蚁路径网络的映射模型。根据程序插装函数定义的路径信息素轨迹强度,蚂蚁进行群体协作搜索最佳路径,生成测试数据。在基本蚁群算法基础上,通过引入变异算子和自适应挥发系数,提高了蚂蚁路径的多样性,克服了早熟停滞的缺陷。和模拟退火遗传算法进行了对比实验研究,结果表明了该方法的可行性,生成测试数据的效率优于模拟退火遗传算法。 展开更多
关键词 软件测试 蚁群算法 遗传算法 测试数据自动生成
下载PDF
上一页 1 2 146 下一页 到第
使用帮助 返回顶部