软件可靠性测试充分性问题的理论研究 被引量：12

1

作者 李秋英 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第4期312-316,共5页

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

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

在线阅读 下载PDF 职称材料

基于正交试验设计的软件可靠性测试 被引量：10

2

作者 严进宝 徐锡山 钟读杭 《计算机工程》 CAS CSCD 北大核心 2006年第4期52-54,共3页

提出基于正交试验设计法构建操作剖面,通过对操作输入集进行处理,即可优化测试输入集,进而进行软件可靠性测试。实例表明,该方法简化了操作剖面的构建,大大降低了软件可靠性测试的代价。

关键词 正交试验设计 软件可靠性测试 操作剖面 正交表

在线阅读 下载PDF 职称材料

软件可靠性测试技术研究 被引量：12

3

作者 陈春秀 马力 《计算机工程与设计》 CSCD 北大核心 2010年第21期4628-4631,共4页

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

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

在线阅读 下载PDF 职称材料

软件可靠性测试的加速机理研究 被引量：8

4

作者 吴玉美 阮镰 《计算机应用》 CSCD 北大核心 2006年第6期1449-1451,1462,共4页

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

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

在线阅读 下载PDF 职称材料

软件可靠性测试加速方法分析 被引量：2

5

作者 封二强 刘畅 郑军 《计算机工程与设计》 CSCD 北大核心 2011年第9期3087-3090,3094,共5页

阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以... 阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。 展开更多

关键词 软件可靠性测试 加速测试 加速机理 加速方法 软件可靠性工程

在线阅读 下载PDF 职称材料

软件可靠性测试方法探析 被引量：5

6

作者 张广梅 李晓维 《计算机应用》 CSCD 北大核心 2004年第4期28-30,共3页

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

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

在线阅读 下载PDF 职称材料

星载软件可靠性测试实践 被引量：3

7

作者 石柱 郑重 《计算机工程与设计》 CSCD 北大核心 2013年第2期721-724,共4页

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据... 为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。 展开更多

关键词 星载嵌入式软件 软件可靠性 软件可靠性测试 软件可靠性评估 使用剖面

在线阅读 下载PDF 职称材料

XML技术在软件可靠性测试中的应用 被引量：4

8

作者 张靖 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第4期767-770,共4页

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

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

在线阅读 下载PDF 职称材料

嵌入式软件可靠性测试系统及其通信研究 被引量：4

9

作者 任洪波 《计算机科学》 CSCD 北大核心 2007年第3期290-292,共3页

传统的嵌入式软件测试系统,不论是单机结构还是分布式结构,在长时间大规模的嵌入式软件可靠性测试时,都在数据传输方面存在相应问题。本文针对嵌入式软件可靠性测试对数据通信的实时性、延迟确定性要求,结合在国防、通信、航天、工业控... 传统的嵌入式软件测试系统,不论是单机结构还是分布式结构,在长时间大规模的嵌入式软件可靠性测试时,都在数据传输方面存在相应问题。本文针对嵌入式软件可靠性测试对数据通信的实时性、延迟确定性要求,结合在国防、通信、航天、工业控制等领域广泛应用的交换式以太网技术,介绍了一种星型拓扑嵌入式软件测试系统原型。 展开更多

关键词 嵌入式 软件可靠性测试 星型拓扑 交换式以太网 IEEE802.1P EDF

在线阅读 下载PDF 职称材料

基于顺序图的软件可靠性测试用例生成方法 被引量：3

10

作者 田志刚 朱小冬 甘茂治 《计算机工程与设计》 CSCD 北大核心 2005年第10期2788-2791,2797,共5页

将面向对象技术特别是UML中的建模要素应用到软件可靠性测试过程是一个值得研究的问题。对基于UML的操作剖面开发以及基于UML顺序图的测试用例生成方法进行了研究。重点讨论了测试用例生成方法的步骤、具体的建模活动以及自动生成测试... 将面向对象技术特别是UML中的建模要素应用到软件可靠性测试过程是一个值得研究的问题。对基于UML的操作剖面开发以及基于UML顺序图的测试用例生成方法进行了研究。重点讨论了测试用例生成方法的步骤、具体的建模活动以及自动生成测试用例的“基于模型的代码设计”方法,给出了相应的算法。最后对所讨论方法的有效性进行了分析,从理论上说明了方法的可行性。 展开更多

关键词 面向对象 顺序图 类 软件可靠性测试 测试用例

在线阅读 下载PDF 职称材料

基于CCTL的软件可靠性测试输入特性描述方法 被引量：3

11

作者 盛云龙 魏长安 姜守达 《仪器仪表学报》 EI CAS CSCD 北大核心 2018年第4期141-149,共9页

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

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

在线阅读 下载PDF 职称材料

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

12

作者 田志刚 甘茂治 朱小冬 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期70-71,74,共3页

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

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

在线阅读 下载PDF 职称材料

舰艇装备软件可靠性测试工程实践 被引量：4

13

作者 王莹 《计算机工程与设计》 CSCD 北大核心 2012年第2期612-616,共5页

为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法。由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与... 为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法。由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与实际键值关联,实现可靠性测试用例的自动人机操作输入。对舰艇装备软件典型功能进行了可靠性测试,实验结果表明了该方法的可行性和有效性。 展开更多

关键词 舰艇装备软件 软件可靠性测试 形式语言 测试用例自动执行 工程实践

在线阅读 下载PDF 职称材料

嵌入式软件可靠性仿真测试环境框架 被引量：9

14

作者 王轶辰 刘斌 阮镰 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期43-45,48,共4页

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍,对测试环境中的测试运行时组件进行了功能需求的分析,构建出测试运行时组件的框架实现,借助于UML中的抽象类图和顺... 提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍,对测试环境中的测试运行时组件进行了功能需求的分析,构建出测试运行时组件的框架实现,借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍,总结了利用框架实现仿真测试环境的优势。 展开更多

关键词 嵌入式软件 软件可靠性测试 可靠性测试环境 半实物仿真测试

在线阅读 下载PDF 职称材料

软件可靠性加速测试与评估方法 被引量：6

15

作者 王栓奇 吴玉美 陆民燕 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2012年第11期1358-1365,共8页

为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿... 为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿飞机外挂物管理系统为对象进行了实例应用,给出了具体测试过程并进行软件可靠性评估,结果表明该加速测试方法克服了软件可靠性测试中普遍存在的饱和效应问题,可以有效地加快测试过程,同时提出的软件可靠性评估模型表现了较好的拟合效果并能够给出较为准确的软件可靠性评估预计结果. 展开更多

关键词 混合测试 软件可靠性模型 软件可靠性测试 加速测试 次序统计量 飞机外挂物管理系统 饱和效应

在线阅读 下载PDF 职称材料

软件可靠性分析、测试与评估工具——SRATE介绍 被引量：4

16

作者 景涛 江昌海 +3 位作者 刘永祥 胡德斌 白成刚 蔡开元 《计算机工程与应用》 CSCD 北大核心 2005年第1期23-26,110,共5页

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件... 软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。 展开更多

关键词 软件可靠性分析 软件可靠性测试 软件可靠性评估

在线阅读 下载PDF 职称材料

基于混合测试的软件可靠性加速测试方法研究

17

作者 封二强 刘畅 郑军 《小型微型计算机系统》 CSCD 北大核心 2012年第8期1765-1769,共5页

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将... 为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高. 展开更多

关键词 软件可靠性测试 混合测试 加速测试 重要度抽样 加速因子

在线阅读 下载PDF 职称材料

软件可靠性加速测试方法研究 被引量：7

18

作者 吴玉美 陆民燕 阮镰 《计算机工程与应用》 CSCD 北大核心 2006年第8期40-43,共4页

文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点,对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对... 文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点,对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对其发展前景进行了展望。 展开更多

关键词 软件可靠性 软件可靠性加速测试 加速因子 灰盒 安全关键软件

在线阅读 下载PDF 职称材料

基于覆盖率信息的软件可靠性增长测试实践 被引量：5

19

作者 李秋英 李海峰 徐刚 《计算机应用研究》 CSCD 北大核心 2010年第7期2594-2597,共4页

软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试... 软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。 展开更多

关键词 软件可靠性 软件测试 软件可靠性增长测试 覆盖率 工程实践

在线阅读 下载PDF 职称材料

考虑右删失数据的改进Jelinski-Moranda软件可靠性模型 被引量：2

20

作者 李海峰 陆民燕 王学成 《系统工程与电子技术》 EI CSCD 北大核心 2009年第6期1496-1499,共4页

针对软件可靠性测试停止时间不对应失效的右删失问题,给出考虑完全右删失失效数据的改进Je-linski-Moranda(J-M)模型。定量分析了右删失失效数据对可靠性参数评估值的影响,在此基础上分别给出基于残存缺陷比率、失效率以及可靠度函数的... 针对软件可靠性测试停止时间不对应失效的右删失问题,给出考虑完全右删失失效数据的改进Je-linski-Moranda(J-M)模型。定量分析了右删失失效数据对可靠性参数评估值的影响,在此基础上分别给出基于残存缺陷比率、失效率以及可靠度函数的软件可靠性测试停止准则。最后将改进模型应用于一组失效数据集,计算结果表明,改进后的模型可充分挖掘右删失数据中蕴含的时间信息,得到更准确的参数评估值。并且所提出的停止准则可有效指导软件可靠性测试活动的开展,具有较好的工程应用价值。 展开更多

关键词 Jelinski—Moranda模型 右删失数据 软件可靠性测试 测试停止准则

在线阅读 下载PDF 职称材料