期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到24篇文章
< 1 2 >
每页显示 20 50 100
软件可靠性测试充分性的多准则判定及应用 被引量:4
1
作者 刘剑豪 刘晓明 黄松 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第9期129-132,共4页
在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定... 在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性. 展开更多
关键词 软件可靠性 可靠性测试 测试充分性 准则判定
下载PDF
软件可靠性测试充分性问题的理论研究 被引量:12
2
作者 李秋英 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第4期312-316,共5页
在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测... 在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 . 展开更多
关键词 软件 可靠性 运行 软件可靠性测试 软件可靠性测试充分性准则 运行剖面
下载PDF
软件可靠性测试充分性研究 被引量:3
3
作者 李秋英 阮镰 刘斌 《测控技术》 CSCD 2003年第11期49-52,共4页
在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠... 在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。 展开更多
关键词 软件 可靠性 运行 软件可靠性测试充分性准则
下载PDF
软件测试的充分性准则及其评价指标 被引量:1
4
作者 刘继华 《山西师范大学学报(自然科学版)》 2012年第4期21-25,共5页
充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常... 充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常用的软件测试充分性准则,指出这些充分性准则所适应的不同测试类型. 展开更多
关键词 软件测试 充分性准则 有效性度量 软件质量 测试用例
下载PDF
基于UML状态图的软件测试充分性准则研究 被引量:5
5
作者 杨志伟 吴兵 《计算机技术与发展》 2013年第8期43-46,51,共5页
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试... 文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。 展开更多
关键词 UML状态图 软件测试 充分性准则
下载PDF
软件测试充分性研究 被引量:7
6
作者 伦立军 赵辰光 +1 位作者 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2004年第3期60-62,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。 展开更多
关键词 软件测试 测试充分性准则 测试数据 数据生成
下载PDF
基于统计覆盖测试技术的软件测试充分性研究 被引量:12
7
作者 沈升源 陈丽容 汤铭端 《系统工程与电子技术》 EI CSCD 北大核心 2004年第6期821-824,共4页
研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此... 研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法。 展开更多
关键词 软件测试 统计覆盖测试 测试充分性 可靠性
下载PDF
几种范畴划分测试充分性准则的比较 被引量:5
8
作者 朱彬 刘玲 缪淮扣 《计算机科学》 CSCD 北大核心 2004年第1期180-184,共5页
选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并... 选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。 展开更多
关键词 范畴划分测试 充分性准则 揭错能力 可靠性 软件开发
下载PDF
基于测试用例的软件可靠性分析 被引量:2
9
作者 李宝林 李志蜀 +1 位作者 陈良银 倪建成 《计算机应用》 CSCD 北大核心 2007年第5期1254-1256,1270,共4页
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂... 软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,提出了一个有关黑盒测试的可靠性分析模型,模型在结合等价类和边界值划分的基础上充分考虑软件复杂性、缺陷后果严重性和信息不足等因素等原因,根据矩阵和数理统计的知识得出相关的可靠性模型,并使用EM算法对该模型的置信下限做出了相应的理论证明。实验表明,该模型在实用性和可靠性方面都取得了较大的进展。 展开更多
关键词 测试准则 EM算法 测试用例复杂性 软件可靠性模型
下载PDF
常用的基于控制流的测试充分性准则 被引量:3
10
作者 王峰 郭长国 +1 位作者 齐璇 施寅生 《计算机工程与科学》 CSCD 北大核心 2009年第10期56-59,104,共5页
本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。
关键词 软件测试 测试充分性准则 控制流
下载PDF
基于块的测试充分性度量准则及其测试复杂性度量 被引量:1
11
作者 马雪英 陈卫东 +1 位作者 杨建军 叶澄清 《计算机科学》 CSCD 北大核心 2002年第5期141-143,共3页
1 引言 近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破... 1 引言 近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏.所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度.以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段. 展开更多
关键词 软件测试 软件质量 程序设计语言 软件开发 测试充分性度量准则 测试复杂性度量 计算机
下载PDF
关于可应用测试数据充分性准则复杂性的注记 被引量:1
12
作者 暴建民 王申科 《计算机学报》 EI CSCD 北大核心 1999年第4期437-441,共5页
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Wepuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p... 软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Wepuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问题,本文就此问题给出注记. 展开更多
关键词 软件测试 软件可靠性 数据流 测试准则 软件开发
下载PDF
线性独立路径覆盖率的软件测试充分性判别方法 被引量:2
13
作者 易加伟 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2005年第12期3338-3340,共3页
软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性... 软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。 展开更多
关键词 软件测试 充分性准则 线性独立路径覆盖率 圈复杂度
下载PDF
基于二阶Markov模型的改进相对熵测试充分性准则 被引量:2
14
作者 张凡 李福川 +1 位作者 陈丽容 吕中凯 《计算机工程与设计》 北大核心 2022年第12期3428-3434,共7页
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性... 为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性”影响并将原始相对熵进行边界化处理和对称性设计,使测试执行过程更加充分和稳定。数值实验结果表明,在不降低可信性的前提下,该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性,对单元测试的测试用例生成策略的优化设计有一定的指导意义。 展开更多
关键词 马尔可夫模型 软件测试 测试充分性准则 二阶马尔可夫 改进相对熵 测试用例生成 单元测试
下载PDF
考虑右删失数据的改进Jelinski-Moranda软件可靠性模型 被引量:2
15
作者 李海峰 陆民燕 王学成 《系统工程与电子技术》 EI CSCD 北大核心 2009年第6期1496-1499,共4页
针对软件可靠性测试停止时间不对应失效的右删失问题,给出考虑完全右删失失效数据的改进Je-linski-Moranda(J-M)模型。定量分析了右删失失效数据对可靠性参数评估值的影响,在此基础上分别给出基于残存缺陷比率、失效率以及可靠度函数的... 针对软件可靠性测试停止时间不对应失效的右删失问题,给出考虑完全右删失失效数据的改进Je-linski-Moranda(J-M)模型。定量分析了右删失失效数据对可靠性参数评估值的影响,在此基础上分别给出基于残存缺陷比率、失效率以及可靠度函数的软件可靠性测试停止准则。最后将改进模型应用于一组失效数据集,计算结果表明,改进后的模型可充分挖掘右删失数据中蕴含的时间信息,得到更准确的参数评估值。并且所提出的停止准则可有效指导软件可靠性测试活动的开展,具有较好的工程应用价值。 展开更多
关键词 Jelinski—Moranda模型 右删失数据 软件可靠性测试 测试停止准则
下载PDF
基于EM算法的软件可靠性研究
16
作者 李宝林 李志蜀 +2 位作者 李继玲 于凡 金虎 《计算机应用研究》 CSCD 北大核心 2008年第1期148-150,160,共4页
结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实... 结合边界值和等价类的方法对输入域的提取和输入点的选取作了详细分析。在考虑软件复杂性、缺陷后果严重性和信息不足等因素的基础上,提出了基于测试用例的软件可靠性模型,并结合EM算法和数理统计知识对该模型进行了相应的理论证明。实验表明,新模型具有较好的适用性。 展开更多
关键词 测试准则 期望最大化算法 测试用例复杂性 软件可靠性模型
下载PDF
软件可靠性定量评估过程研究 被引量:6
17
作者 马飒飒 陈自力 赵守伟 《计算机测量与控制》 CSCD 2005年第5期503-505,共3页
软件可靠性定量评估过程贯穿软件开发和验收使用的全过程, 是软件可靠性的重要评价手段。重点介绍该过程中的关键技术与方法, 阐述了软件可靠性参数分析、可靠性预测、可靠性模型选择和可靠性测试充分性等主要内容, 对软件可靠性定量评... 软件可靠性定量评估过程贯穿软件开发和验收使用的全过程, 是软件可靠性的重要评价手段。重点介绍该过程中的关键技术与方法, 阐述了软件可靠性参数分析、可靠性预测、可靠性模型选择和可靠性测试充分性等主要内容, 对软件可靠性定量评估过程进行较全面的分析探讨。 展开更多
关键词 软件可靠性 过程研究 定量评估 评估过程 技术与方法 可靠性预测 可靠性测试 软件开发 评价手段 参数分析 模型选择 全过程 充分性
下载PDF
基于智能非信息素蜂群优化的软件测试研究 被引量:2
18
作者 李云玮 孙忱 范玉顺 《计算机应用研究》 CSCD 北大核心 2014年第8期2399-2402,共4页
针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的... 针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的测试实例中选出有效的测试实例。利用这些代理的并行特性,并使用路径覆盖范围作为测试充分性准则,提高了测试实例在每次迭代过程中的路径覆盖范围,加快了解的产生速度,从而提高了该方法的运行速度和效率。仿真结果比较了该方法与蚁群优化算法的性能,证明了该方法的收敛速度和优化质量均优于蚁群算法。 展开更多
关键词 软件测试 测试优化 人工蜂群优化 测试充分性准则 蚁群优化
下载PDF
一种面向缺陷的软件测试方法:变异测试 被引量:1
19
作者 单锦辉 李炳斌 孙萍 《载人航天》 CSCD 2007年第2期39-43,共5页
软件测试是保证软件质量的重手段。变异测试是一种行之有效的软件测试方法,系统地模拟软件中的各种缺陷,然后构造能够发现这些缺陷的测试数据集。通过简介绍变异测试的基本原理,分析软件故障模型与变异算子的关系,探讨了变异测试中测试... 软件测试是保证软件质量的重手段。变异测试是一种行之有效的软件测试方法,系统地模拟软件中的各种缺陷,然后构造能够发现这些缺陷的测试数据集。通过简介绍变异测试的基本原理,分析软件故障模型与变异算子的关系,探讨了变异测试中测试数据自动生成的方法,并指出变异测试进一步的研究方向。 展开更多
关键词 变异测试 测试数据 充分性准则 软件缺陷 软件测试
下载PDF
软件测试技术的研究进展 被引量:6
20
作者 刘继华 陈策 《微计算机信息》 2012年第10期494-496,共3页
软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史,讨论了软件测试技术的研究成果,包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术,可为软件测试学科建... 软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史,讨论了软件测试技术的研究成果,包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术,可为软件测试学科建设及其研究方向提供参考。 展开更多
关键词 软件测试 充分性准则 静态分析 动态测试
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部