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

作者：苏娜杭州电子科技大学

学位级别：硕士

计算机技术的高速发展的今天,软件系统成为了生活中不可或缺的工具,软件失效带来的影响也日益增大。可靠性水平作为最重要的面向用户的质量特征,是软件发布时用户关注程度最高的验证指标之一。可靠性测试正是保障和提高软件可靠性水平... 详细信息

计算机技术的高速发展的今天,软件系统成为了生活中不可或缺的工具,软件失效带来的影响也日益增大。可靠性水平作为最重要的面向用户的质量特征,是软件发布时用户关注程度最高的验证指标之一。可靠性测试正是保障和提高软件可靠性水平的重要方式。可靠性测试的模型种类繁多,markov使用模型是极具代表性、应用最为广泛的一种。基于markov使用模型的可靠性测试一般首先通过模型描述软件的使用方式,之后的测试执行、测试结果分析等步骤都基于模型展开,可以说恰当有效的模型是测试成功的关键因素。通过研读可靠性测试领域相关文献发现,现有的研究基本解决了从软件UML模型转换为markov使用模型的过程,即可以从被测软件的源码分析出对应的markov使用模型。对于实时软件系统中存在的时间约束,也有了一定的转换和表示方式。然而鲜有研究提及如何定量计算迁移上存在的时间约束在测试用例生成时产生的影响程度。传统基于markov使用模型的可靠性测试一般只根据用户的使用情况生成测试用例,但对于实时软件来说,时间约束也是影响软件可靠性的重要属性。本文在markov时间使用模型的基础上提出利用时间约束优化模型的可行框架。基于框架探讨了以最大化模型状态熵为优化目标的迁移概率自动优化算法,优化后的模型可以在一定程度上反映被测系统的时间属性。此外,虽然模型中存在的冗余状态、等价状态等缺陷已有文献给出了相应的优化策略,但是对于循环序列的处理并未得到重视。实际上,markov使用模型在依据使用规范创建或者从UML模型自动生成时经常存在循环片段,如果不加以处理和限制,可能会造成生成测试用例过长、测试资源浪费甚至陷入死循环等问题。针对模型中存在的各类缺陷提出了优化的测试用例生成算法,在原模型中将循环片段进行缩点,并定义了特殊的树形数据结构SCC-Tree用于存储标记循环片段的内部特征。针对缩点后的无环模型通过一定的策略组合可以生成完备的测试用例集。实验证明,算法在满足测试充分性准则的基础上可以更高效、更稳定地生成测试用例。最后,结合提出的算法设计并实现了基于markov使用模型的可靠性测试原型系统,通过无人机子模块的实例验证了系统简单易用,方法切实有效。

关键词：可靠性测试实时软件时间约束 markov使用模型测试用例生成

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

引用

计算机科学 2011年第12期38卷 135-138页

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于统计测试的markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转... 详细信息

基于统计测试的markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转移概率分布,修正测试剖面,增加关键操作的遍历概率。最后给出了软件可靠性估计的最优测试剖面生成迭代算法。仿真结果表明,该方法能明显降低估计方差,在提高估计精度的同时能有效地加速统计测试。

关键词：软件可靠性统计测试 markov使用模型重要抽样 Ali-Silvey距离

来源：评论

学校读者我要写书评

暂无评论

基于使用模型的嵌入式软件测试用例生成研究

引用

计算机技术与发展 2010年第5期20卷 92-95,99页

作者：熊利周宽久大连理工大学软件学院嵌入式系统工程系辽宁大连116622

基于markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起... 详细信息

基于markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。

关键词： markov使用模型嵌入式软件测试用例生成

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件测试用例生成方法研究

嵌入式软件测试用例生成方法研究

引用

作者：熊利大连理工大学

学位级别：硕士

随着嵌入式技术的不断发展,嵌入式系统在很多安全关键领域得到越来越多的应用,而且结构和功能越来越复杂,这些系统一旦失效将给社会带来巨大生命财产损失,如何提高嵌入式软件的可靠性成了学术界普遍关注的焦点。嵌入式软件测试在提高嵌... 详细信息

随着嵌入式技术的不断发展,嵌入式系统在很多安全关键领域得到越来越多的应用,而且结构和功能越来越复杂,这些系统一旦失效将给社会带来巨大生命财产损失,如何提高嵌入式软件的可靠性成了学术界普遍关注的焦点。嵌入式软件测试在提高嵌入式软件可靠性中扮演着重要角色,基于模型的统计测试作为一种非常有效的统计方法,在软件测试上以其高可靠、高效等优点在国内外得到了比较深入的研究。本文将统计测试应用于嵌入式软件测试用例生成问题。首先,分析了嵌入式软件测试独特性以及各方面的研究现状和思路,提出统计测试模型应用于嵌入式软件测试的可行性和构建嵌入式软件的使用模型；其次,基于构造的使用模型框架研究了基于使用模型到测试模型的生成方法,具体分析了该方法使用约束的构建准则,建立测试模型过程以及实现测试模型到使用模型收敛的优化算法实施步骤和实现方法,解决了模型优化生成的难题。同时,研究了求解算法高效收敛方法,在给定求解精度情况下,能够快速收敛得到最优解。最终生成的使用模型基于软件的真实使用能够普遍应用于基于markov使用模型的软件统计测试过程,实验证明本方法不仅能够提高统计测试的自动化水平,并且能够有效降低模型复杂度,从而提高测试效率,节约测试成本。最后,在基于模型的测试理论研究的基础上,将统计测试思想应用于嵌入式处理器SPARC仿真项目中。吸收已有测试模型的优点,首次引入了嵌入式软件的测试模型生成测试用例,并实现了从使用模型到测试模型转化、参数分析和测试用例自动生成等功能。集成扩展性好,为测试人员提供了一个实用、易操作的模型测试工具、提高了测试的自动化水平,也改善了统计测试工具落后于理论研究的现状,为测试自动化研究提供了参考。

关键词：嵌入式软件测试 markov使用模型测试用例生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：