期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
统计测试的软件可靠性保障能力研究 被引量:8
1
作者 赵亮 王建民 孙家广 《软件学报》 EI CSCD 北大核心 2008年第6期1379-1385,共7页
研究了统计测试对不同软件的测试能力,提出将测试有效性信息综合到软件可靠性评估模型中,以提高可靠性估计的针对性和精度.通过实验证明了该方法的合理性.该方法为高可靠性的软件质量保障要求提供了途径和可能,
关键词 统计测试 软件可靠性 有效性
在线阅读 下载PDF
基于Markov链路径使用模型的软件统计测试 被引量:4
2
作者 高海昌 冯博琴 +1 位作者 曾明 贺晓红 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期20-22,共3页
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型... 探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。 展开更多
关键词 软件统计测试 结构测试 MARKOV链 路径使用模型 Kullback判别式
在线阅读 下载PDF
基于重要抽样的软件统计测试加速 被引量:9
3
作者 颜炯 王戟 陈火旺 《计算机工程与科学》 CSCD 2005年第3期64-66,110,共4页
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件 Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费... 本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件 Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。同时,本文给出了计算优化迁移概率的模拟退火算法。实验仿真结果表明,该方法可以有效地提高安全攸关软件统计测试的效率。 展开更多
关键词 软件可靠性 软件质量 软件统计测试加速方法 抽样 软件开发
在线阅读 下载PDF
基于Markov链使用模型的加速统计测试方法 被引量:4
4
作者 张德平 查日军 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第5期949-955,共7页
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法. 展开更多
关键词 软件测试 统计测试 加速测试方法 MARKOV链使用模型 交叉熵方法
在线阅读 下载PDF
统计测试中测试链与使用链的相似性判别 被引量:4
5
作者 冯华 徐锡山 王戟 《计算机工程与科学》 CSCD 2003年第1期17-19,共3页
本文介绍了统计测试中测试充分性的度量方法。论述了统计测试的基本原理和主要特点,以及统计测试过程中测试链和使用链的相似性比较。文章还具体阐述了欧几里德距离和discriminant值在比较测试链和使用链相似性中的应用,以及它们在实际... 本文介绍了统计测试中测试充分性的度量方法。论述了统计测试的基本原理和主要特点,以及统计测试过程中测试链和使用链的相似性比较。文章还具体阐述了欧几里德距离和discriminant值在比较测试链和使用链相似性中的应用,以及它们在实际使用时需要注意的若干问题。 展开更多
关键词 统计测试 测试 使用链 相似性判别 软件可靠性 软件测试 软件开发
在线阅读 下载PDF
基于统计测试的道路图象边界提取方法 被引量:1
6
作者 唐国维 王东 +2 位作者 刘显德 李永树 何明革 《大庆石油学院学报》 CAS 北大核心 1999年第3期48-50,共3页
分析了室外机器人地面自主车辆实现其自主性的关键技术———视觉导航, 认为视觉导航的主要信息来源于对道路结构的分析. 文中对图象上的某一位置是否存在某级线段做出假设,由二维离散空间上线段的几何表示给出了假设的描述,用统计... 分析了室外机器人地面自主车辆实现其自主性的关键技术———视觉导航, 认为视觉导航的主要信息来源于对道路结构的分析. 文中对图象上的某一位置是否存在某级线段做出假设,由二维离散空间上线段的几何表示给出了假设的描述,用统计测试方法验证提出的假设,从而,得到了道路边界的多级线段描述. 算法利用了边缘的全局信息, 适应性较强,得出的道路边界位置准确性较好,并具有较高的速度. 展开更多
关键词 地面自主车辆 道路图象 分割 统计测试 机器人
在线阅读 下载PDF
基于Markov链使用模型的组件复用的统计测试 被引量:1
7
作者 马春燕 胡飞 张云鹏 《计算机应用研究》 CSCD 北大核心 2008年第4期1051-1053,1056,共4页
提出了用Markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,... 提出了用Markov链使用模型来模拟具体环境中组件的使用方式,对组件的复用进行统计测试,详细论述了提出的组件复用统计测试的思想框架和测试步骤,并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析,说明提出的方法是组件复用自动化测试的一种经济可行的方法。 展开更多
关键词 MARKOV链使用模型 组件复用 统计测试 自动化测试
在线阅读 下载PDF
基于使用模型的统计测试方法的研究 被引量:3
8
作者 冯华 王戟 徐锡山 《计算机工程》 CAS CSCD 北大核心 2002年第12期93-95,共3页
介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试... 介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。 展开更多
关键词 使用模型 统计测试方法 软件测试 软件工程 静态参数 测试充分性 测试用例 软件可靠性
在线阅读 下载PDF
软件使用统计测试方法的研究 被引量:1
9
作者 吕闽晖 熊伟 《计算机工程与设计》 CSCD 北大核心 2007年第13期3046-3050,共5页
软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方... 软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案。实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量。 展开更多
关键词 软件可靠性 软件测试 MARKOV链 统计测试
在线阅读 下载PDF
净室统计测试在银行凭证系统的应用研究
10
作者 林凡 林星 冯华 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第3期357-360,共4页
基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分... 基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分析方法为自动化测试的充分性证明提供依据;采用discriminant值和测试人员的基准经验数据,提高软件自动化验证效率,结果表明该方法具有较好的测试收敛性. 展开更多
关键词 净室软件 使用模型 统计测试 马可夫模型 discriminant值
在线阅读 下载PDF
一种基于关联规则的Web应用统计测试方法 被引量:8
11
作者 王玉奇 高建华 《计算机工程》 CAS CSCD 北大核心 2020年第3期206-213,共8页
Web统计测试可以确保Web应用的质量,且测试用例是提高软件可靠性的关键因素。为此,提出一种基于关联规则的Web统计测试用例生成与系统可靠性度量方法。从Web服务器日志中提取信息,通过哈希表将信息保存在自定义的数据结构note中。采用... Web统计测试可以确保Web应用的质量,且测试用例是提高软件可靠性的关键因素。为此,提出一种基于关联规则的Web统计测试用例生成与系统可靠性度量方法。从Web服务器日志中提取信息,通过哈希表将信息保存在自定义的数据结构note中。采用关联规则对note进行挖掘得到用户的频繁访问序列,并通过马尔科夫模型对其进行建模,在此基础上,利用轮盘赌算法生成测试用例。依据生成的测试用例,采用Nelson模型进行系统可靠性评估,将MTBF作为系统可靠性评估指标,实验结果表明,该方法所生成测试用例的MTBF值与真实环境下的MTBF值接近,验证了该方法的有效性。 展开更多
关键词 Web统计测试 关联规则 马尔科夫模型 轮盘赌算法 测试用例
在线阅读 下载PDF
基于用户分类的web日志统计测试研究 被引量:1
12
作者 俞金松 高建华 《计算机工程与设计》 CSCD 北大核心 2012年第12期4551-4556,共6页
针对传统统计测试方法效率低和适应性不强的局限性,结合web应用的特点,提出了一种基于用户分类的web日志统计测试方法。根据web应用的不同复杂度,通过用户分类和web日志统计进行建模,并依据该模型测试,评估web应用的可靠性。实验结果表... 针对传统统计测试方法效率低和适应性不强的局限性,结合web应用的特点,提出了一种基于用户分类的web日志统计测试方法。根据web应用的不同复杂度,通过用户分类和web日志统计进行建模,并依据该模型测试,评估web应用的可靠性。实验结果表明,该方法较传统统计测试方法对于web应用主要业务功能测试的覆盖率更高,其可靠性评估更具现实意义。 展开更多
关键词 统计测试 WEB日志 马尔可夫链模型 用户分类 可靠性分析
在线阅读 下载PDF
用于统计测试概率分布生成的自动搜索方法 被引量:1
13
作者 周晓莹 高建华 《计算机工程》 CAS CSCD 2013年第2期274-278,共5页
提出一种基于自动搜索的概率分布生成方法,设计对概率分布的表示形式与评估函数,同时结合模拟退火算法设计基于马尔可夫模型的自动搜索过程。实验结果表明,该方法能够有效地提高自动搜索的准确性,在一定时间内成功找到接近最优的概率分... 提出一种基于自动搜索的概率分布生成方法,设计对概率分布的表示形式与评估函数,同时结合模拟退火算法设计基于马尔可夫模型的自动搜索过程。实验结果表明,该方法能够有效地提高自动搜索的准确性,在一定时间内成功找到接近最优的概率分布,生成高效的测试数据,同时达到降低统计测试成本的目的。 展开更多
关键词 统计测试 概率分布 自动搜索 覆盖约束 模拟退火算法 马尔可夫模型
在线阅读 下载PDF
基于UMMs的Web软件统计测试方法研究
14
作者 黄娟 张为群 +1 位作者 闻晓 梁智远 《计算机科学》 CSCD 北大核心 2009年第3期277-280,共4页
随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计... 随着网络使用的普及以及信息技术的不断进步,如何保证Web软件的可靠性显得越来越重要。统计测试和可靠性分析能有效地确保Web软件的质量。利用从Web日志中提取的访问信息和错误信息,提出一种基于统一的马尔可夫模型(UMMs)的Web软件统计测试方法,该方法将访问信息用于构建UMMs,相关的错误信息用于评价Web软件的可靠性和Web统计测试的有效性。最后将该方法用于分析某Web软件,以实验证明该方法的可行性和有效性。 展开更多
关键词 WEB软件 统计测试 可靠性分析 统一的马尔可夫模型
在线阅读 下载PDF
基于UML模型的统计测试方法研究
15
作者 朱虹虹 熊光泽 +1 位作者 雷航 桑楠 《计算机科学》 CSCD 北大核心 2005年第8期219-222,共4页
为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,... 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。 展开更多
关键词 统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 测试 工业标准
在线阅读 下载PDF
基于泊松对相关的伪随机数发生器的统计测试方法 被引量:2
16
作者 叶笑 丁义明 《数学物理学报(A辑)》 CSCD 北大核心 2022年第5期1482-1495,共14页
测试伪随机数发生器(pseudo random number generator,PRNG)的性能是一个非常重要的问题,通常以能否通过检验均匀性和独立性的统计测试方法来衡量.1998年Rudnick和Sarnak提出了[0,1)上实数序列的泊松对相关(Poissonian pair correlation... 测试伪随机数发生器(pseudo random number generator,PRNG)的性能是一个非常重要的问题,通常以能否通过检验均匀性和独立性的统计测试方法来衡量.1998年Rudnick和Sarnak提出了[0,1)上实数序列的泊松对相关(Poissonian pair correlations,PPC)的概念,独立且均匀分布的实数序列满足泊松对相关.该文基于泊松对相关的概念提出了一种测试(0,1)中伪随机数序列的一级统计测试方法,给出了收敛判别标准的选取方法,并对常见的PRNG(线性同余发生器、Mersenne Twister、Matlab.rand函数以及基于无理数π重叠产生的PRNG等)进行了测试,同时与卡方检验、序列检验、游程检验以及自相关检验进行比较.结果表明该测试方法不仅简单灵活、可操作性和可移植性较强,能有效地同时检验伪随机数序列的均匀性和独立性. 展开更多
关键词 泊松对相关 伪随机数发生器 统计测试方法 一级测试
在线阅读 下载PDF
统计测试中操作剖面的一种优化设计方法 被引量:3
17
作者 万晓民 张德平 +1 位作者 聂长海 徐宝文 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第2期233-238,共6页
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁... 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率. 展开更多
关键词 软件测试 统计软件测试 操作剖面 测试剖面
在线阅读 下载PDF
基于统计覆盖测试技术的软件测试充分性研究 被引量:12
18
作者 沈升源 陈丽容 汤铭端 《系统工程与电子技术》 EI CSCD 北大核心 2004年第6期821-824,共4页
研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此... 研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法。 展开更多
关键词 软件测试 统计覆盖测试 测试充分性 可靠性
在线阅读 下载PDF
中国典型城市车辆行驶状况的测试统计 被引量:18
19
作者 李东军 郁增德 +1 位作者 李理光 王丽红 《汽车技术》 北大核心 1998年第3期13-16,共4页
介绍了在北京市(大型)、长春市(中型)和四平市(小型)三个具有典型特征的代表城市所做的车辆行驶状况的试验及交通状况的调查结果。通过对行驶速度、油耗、档位和加速度等参数的测量与统计,对我国城市车辆行驶状况有了最新了解。
关键词 中国 汽车 行驶条件 行驶状况 测试统计
在线阅读 下载PDF
基于统计假设测试的噪声方差估计方法 被引量:3
20
作者 王静 王晅 蒋平 《计算机工程与应用》 CSCD 2014年第21期166-170,共5页
在数字图像处理中,噪声方差估计是一个重要的研究课题。提出一种针对加性高斯噪声的噪声方差估计方法。利用一种基于统计假设测试的方法来度量图像结构特征度,基于图像结构特征度找出平滑子块和非平滑子块(含有边缘或纹理子块);以平滑... 在数字图像处理中,噪声方差估计是一个重要的研究课题。提出一种针对加性高斯噪声的噪声方差估计方法。利用一种基于统计假设测试的方法来度量图像结构特征度,基于图像结构特征度找出平滑子块和非平滑子块(含有边缘或纹理子块);以平滑子块中的最小方差为参考方差,选择出方差与参考方差相差在一定范围内且不含边缘的所有子块;从选出的子块中求以图像结构特征度为权重的方差平均值作为噪声方差估计值。相比于现有的噪声估计方法,该方法具有非常高的估计精度,适合感染高斯噪声的各种图像。 展开更多
关键词 白高斯噪声 噪声图像 噪声估计 统计假设测试
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部