期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于重要抽样的软件统计测试加速 被引量:9
1
作者 颜炯 王戟 陈火旺 《计算机工程与科学》 CSCD 2005年第3期64-66,110,共4页
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件 Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费... 本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件 Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。同时,本文给出了计算优化迁移概率的模拟退火算法。实验仿真结果表明,该方法可以有效地提高安全攸关软件统计测试的效率。 展开更多
关键词 软件可靠性 软件质量 软件统计测试加速方法 抽样 软件开发
在线阅读 下载PDF
软件可靠性加速测试与评估方法 被引量:6
2
作者 王栓奇 吴玉美 陆民燕 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2012年第11期1358-1365,共8页
为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿... 为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿飞机外挂物管理系统为对象进行了实例应用,给出了具体测试过程并进行软件可靠性评估,结果表明该加速测试方法克服了软件可靠性测试中普遍存在的饱和效应问题,可以有效地加快测试过程,同时提出的软件可靠性评估模型表现了较好的拟合效果并能够给出较为准确的软件可靠性评估预计结果. 展开更多
关键词 混合测试 软件可靠性模型 软件可靠性测试 加速测试 次序统计 飞机外挂物管理系统 饱和效应
在线阅读 下载PDF
测试资源受约束的安全关键软件加速测试方法 被引量:5
3
作者 张德平 聂长海 徐宝文 《计算机科学》 CSCD 北大核心 2009年第5期138-141,共4页
基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法。该方法利用一种新的随机优化技术——交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数... 基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法。该方法利用一种新的随机优化技术——交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数据集。实验结果表明该方法能有效地降低软件失效风险,提高测试效率,是一种快速有效的加速测试方法。 展开更多
关键词 软件测试 安全关键软件 加速测试 马尔可夫链使用模型 交叉熵方法
在线阅读 下载PDF
基于Markov链使用模型的加速统计测试方法 被引量:4
4
作者 张德平 查日军 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第5期949-955,共7页
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法. 展开更多
关键词 软件测试 统计测试 加速测试方法 MARKOV链使用模型 交叉熵方法
在线阅读 下载PDF
软件可靠性测试加速方法分析 被引量:2
5
作者 封二强 刘畅 郑军 《计算机工程与设计》 CSCD 北大核心 2011年第9期3087-3090,3094,共5页
阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以... 阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。 展开更多
关键词 软件可靠性测试 加速测试 加速机理 加速方法 软件可靠性工程
在线阅读 下载PDF
连续执行软件可靠性验证测试方法 被引量:10
6
作者 覃志东 雷航 +1 位作者 桑楠 熊光泽 《计算机科学》 CSCD 北大核心 2005年第6期202-205,共4页
针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效... 针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。 展开更多
关键词 可靠性验证 测试方法 执行 验证测试 统计假设检验 软件可靠性 可靠性增长 持续期 统计推断 先验分布 软件失效 测试阶段 测试过程 动态整合 贝叶斯 可信性
在线阅读 下载PDF
基于使用模型的统计测试方法的研究 被引量:3
7
作者 冯华 王戟 徐锡山 《计算机工程》 CAS CSCD 北大核心 2002年第12期93-95,共3页
介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试... 介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。 展开更多
关键词 使用模型 统计测试方法 软件测试 软件工程 静态参数 测试充分性 测试用例 软件可靠性
在线阅读 下载PDF
一种实时多任务软件可靠性验证方法 被引量:4
8
作者 覃志东 雷航 +2 位作者 熊光泽 桑楠 陈丽蓉 《系统工程与电子技术》 EI CSCD 北大核心 2004年第10期1476-1480,共5页
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解... 针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。 展开更多
关键词 软件可靠性 可靠性验证方法 统计测试 实时软件 软件测试
在线阅读 下载PDF
软件可靠性评估的重要抽样方法 被引量:8
9
作者 张德平 聂长海 徐宝文 《软件学报》 EI CSCD 北大核心 2009年第10期2859-2866,共8页
基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概... 基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度. 展开更多
关键词 软件可靠性 统计测试 马尔可夫使用模型 重要抽样 交叉熵方法
在线阅读 下载PDF
基于非参数假设检验的程序缺陷定位方法
10
作者 叶钢 李重文 +1 位作者 余丹 马世龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第8期1056-1063,共8页
调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定... 调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法. 展开更多
关键词 软件测试 缺陷定位 统计方法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部