检索结果-内蒙古大学图书馆

北京航空航天大学学报 2003年第4期29卷 312-316页

作者：李秋英陆民燕阮镰北京航空航天大学工程系统工程系北京100083

在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测... 详细信息

在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是借鉴已有的软件测试充分性方面的理论 ,对软件可靠性测试充分性问题进行的初步探索 .

关键词：软件可靠性运行软件可靠性测试软件可靠性测试充分性准则运行剖面

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试数据生成方法研究

引用

航空学报 2001年第6期22卷 509-512页

作者：陈雪松陆民燕阮镰北京航空航天大学工程系统工程系北京100083

阐述了构造非实时软件运行剖面的方法 ,以及根据运行剖面生成非实时软件可靠性测试数据的方法 ,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例。

关键词：软件可靠性测试系统模式剖面功能剖面运动剖面测试数据实时软件测试数据

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试的加速机理研究

引用

计算机应用 2006年第6期26卷 1449-1451,1462页

作者：吴玉美阮镰北京航空航天大学工程系统工程系北京100083

从软件的失效机理出发,对比硬件失效分析了软件失效的特性,结合软件测试的机理,阐述了软件可靠性测试的机理,并在此基础上研究了软件可靠性测试存在加速的可能性,提出了实现加速的思想和方法。

关键词：软件失效软件可靠性测试加速机理

来源：评论

学校读者我要写书评

暂无评论

基于CCTL的软件可靠性测试输入特性描述方法

引用

仪器仪表学报 2018年第4期39卷 141-149页

作者：盛云龙魏长安姜守达哈尔滨工业大学自动化测试与控制研究所

软件可靠性测试是指为了保证和验证软件的可靠性要求而对软件进行的测试。由于目前缺少满足被测软件输入的时序性、并发性和约束性等输入特性的有效的形式化描述方法,软件可靠性测试数据的生成无据可依,全面的软件可靠性测试难以实现。... 详细信息

软件可靠性测试是指为了保证和验证软件的可靠性要求而对软件进行的测试。由于目前缺少满足被测软件输入的时序性、并发性和约束性等输入特性的有效的形式化描述方法,软件可靠性测试数据的生成无据可依,全面的软件可靠性测试难以实现。利用钟控计算树逻辑（CCTL）公式在模型检测领域能够准确描述模型内部时序关系的优势,提出了基于CCTL的软件可靠性测试输入特性描述方法,该方法对输入特性准确有效的描述,可为可靠性测试数据的生成提供依据。最后,通过对一个实例的输入特性进行描述,验证了方法的可行性和有效性。

关键词：软件可靠性测试时序输入特性约束输入特性形式化描述钟控计算树逻辑

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试方法探析

引用

计算机应用 2004年第4期24卷 28-30页

作者：张广梅李晓维中国科学院计算技术研究所

在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运... 详细信息

在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。

关键词：软件可靠性测试软件运行剖面软件可靠性评估

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试策略的优化与分析

软件可靠性测试策略的优化与分析

引用

作者：白玉真中国科学院大学

学位级别：博士

软件在人们生产生活中的应用日益广泛，软件可靠性作为软件质量保证的重要度量指标受到人们的关注。软件可靠性测试通过发现排除故障，促进可靠性增长，从而提高和评估软件可靠性。如何高效地测试以达到更高的用户可靠度是关键的也是具... 详细信息

软件在人们生产生活中的应用日益广泛，软件可靠性作为软件质量保证的重要度量指标受到人们的关注。软件可靠性测试通过发现排除故障，促进可靠性增长，从而提高和评估软件可靠性。如何高效地测试以达到更高的用户可靠度是关键的也是具有挑战性的问题。　　现有软件测试策略大致有两类:一类是基于缺陷剔除的测试，发现软件失效以尽量多地剔除缺陷，它不考虑对运行可靠性的影响;但有可能找到许多使用频率低的缺陷，对用户可靠度的提高较少。另一类是基于运行剖面的测试，根据剖面优先选择使用频率高的功能测试;但对高可靠度软件可能会达到瓶颈，或者会忽略一些低频率、却对用户可靠度影响极大的失效。　　本文综合运行剖面和缺陷剔除两个因素，以提高一类软件发布后用户使用一次的可靠度为目标，对软件可靠性测试过程建立数学模型，研究测试策略，优化测试过程。主要工作包括:　　1.提出了一种完美缺陷剔除软件可靠性测试的马氏决策模型。给出了最优策略的形式。证明了状态-行动对的值函数具有次模性质;当最优值函数关于状态是线性关系时，也有L(h)-凸性;且存在一组实数，使得最优行动有简单的表达式。　　2.给出了只测试一次时，最优策略结构和最优值函数的具体表达式。通过最优行动对状态空间的划分，大大简化策略的求解。提出了一种简单可行的近似最优平稳策略。实验数据表明，它与精确的最优策略效果差距很小，并验证了决策模型的测试策略更有效。　　3.提出了一种不完美缺陷剔除软件可靠性测试的决策模型，重点讨论至多剔除和引入一个缺陷的问题。同样也给出了只测试一次时，最优策略结构的表达式。数值结果表明，不论缺陷剔除率和引入率的大小关系如何，误差允许范围内，最优行动的变化趋势和决策模型测试策略的有效性，都与完美剔除的结论基本一致。　　4.分析了剖面误差、缺陷剔除率和引入率对可靠度的影响。数值结果表明，可靠度对剖面误差不敏感，且决策模型测试策略仍然有效。给出了剔除率和引入率变化时，两种提高可靠度的条件。　　5.提出了一种软件可靠性测试的部分可观察马氏决策模型，它是之前模型的一般形式。以概率分布上的用户可靠度为优化目标，给出了最优策略结构的形式和只需求解一系列有限个向量集合的最优值函数精确求解算法。数值结果表明，尤其对可靠度要求高的软件，该测试策略有明显优势。

关键词：软件可靠性测试测试策略优化用户可靠度马氏决策过程

来源：评论

学校读者我要写书评

暂无评论

军用软件可靠性测试管理中模型的应用

引用

计算机工程 2005年第13期31卷 70-71,74页

作者：田志刚甘茂治朱小冬军械工程学院6系石家庄050003

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测... 详细信息

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。

关键词：软件可靠性测试可靠性增长模型可靠性测试管理

来源：评论

学校读者我要写书评

暂无评论

XML技术在软件可靠性测试中的应用

引用

电子科技大学学报 2007年第4期36卷 767-770页

作者：张靖攀枝花学院网络中心四川攀枝花617000

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动... 详细信息

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动、高效地对软件接口进行测试,测试数据与测试驱动程序相分离,有利于测试数据的维护与重用,在实际应用中取得了很好的效果。

关键词：软件可靠性测试可扩展标记语言文档对象模型测试引擎

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试充分性的理论研究

软件可靠性测试充分性的理论研究

引用

作者：李秋英北京航空航天大学

学位级别：博士

软件失效给系统造成的严重危害,使得用户对开发高质量的软件提出了迫切要求.软件测试和软件可靠性测试作为保证软件质量和可靠性的重要手段越来越受到人们的重视.软件测试充分性和软件可靠性测试充分性是当前软件测试技术面临的难题之一... 详细信息

软件失效给系统造成的严重危害,使得用户对开发高质量的软件提出了迫切要求.软件测试和软件可靠性测试作为保证软件质量和可靠性的重要手段越来越受到人们的重视.软件测试充分性和软件可靠性测试充分性是当前软件测试技术面临的难题之一.本文在分析了国内外在相关领域的研究状况后,主要从理论高度对于软件可靠性测试充分性相关问题进行了研究.本文提出了从质量属性角度对测试充分性进行定义的方法,建立了软件测试充分性和测试充分性准则的理论体系.通过对于质量体系的描述,输入空间的分析,充分性实质的形式化分析,研究了这种定义的合理性.运用从质量属性角度研究测试充分性的方法,对于现有的测试充分性研究成果进行了归纳和分析,将它们归为软件正确性测试充分性的范畴.提出了正确性测试充分性的定义、形式化分析,并对其特点进行了阐述.提出了正确性测试充分度的构想.对于软件可靠性测试充分性进行了研究,提出了软件可靠性测试充分性的定义,分析了两种类型的软件可靠性测试的不同要求和特点,从而提出从测试质量角度和测试质量+软件质量角度建立可靠性测试充分性准则的方法.提出了若干软件可靠性测试充分性准则,分析了准则之间的包含关系,给出了在包含关系中位于上层的软件可靠性测试充分性准则指导下的测试具有更好的测试效果的预计.建立了软件可靠性测试充分性准则的公理体系.从Weyuker公理体系出发,对于软件可靠性测试充分性准则的公理性质进行了研究.在研究过程中,通过严格的证明和严谨的论述,发现原公理体系的一些不完善之处,提出了修改意见,重新明确了测试充分性准则的公理体系.阐述了一种软件可靠性测试充分性准则在实践中的具体应用方法.通过一个实例的试验数据,验证了方法的可行性.

关键词：软件可靠性测试充分性软件测试充分性软件可靠性测试软件测试公理体系

来源：评论

学校读者我要写书评

暂无评论

软件可靠性测试技术研究

引用

计算机工程与设计 2010年第21期31卷 4628-4631页

作者：陈春秀马力华北计算技术研究所软件工程与应用研发部北京100083

针对软件可靠性测试前的操作概图难以确定和传统的软件可靠性测试数据没有考虑故障等级的问题,提出了一种通过统计用户操作日志确定操作概图的失效数据收集方法。该方法将故障等级引入到软件可靠性测试数据中,并分别统计不同故障级别的... 详细信息

针对软件可靠性测试前的操作概图难以确定和传统的软件可靠性测试数据没有考虑故障等级的问题,提出了一种通过统计用户操作日志确定操作概图的失效数据收集方法。该方法将故障等级引入到软件可靠性测试数据中,并分别统计不同故障级别的数据。通过分析GEMS(基于GJB5000A的项目管理系统)的可靠性测试数据,验证了新方法较传统方法优越,能更好地满足系统可靠性估计和保障系统没有严重缺陷。

关键词：软件可靠性软件可靠性测试操作概图失效数据故障等级操作日志

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：