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

本发明涉及软件工程技术中的面向动态资源的管理模式、基于动态资源管理错误的软件故障模型及动态资源管理错误的检测方法。动态资源管理结构由程序开始、资源分配、资源使用、资源回收和程序结束组成。动态资源管理错误的软件故障模型包括资源分配错误、资源使用错误、资源回收错误及程序的非法结束错误。动态资源管理错误的检测方法包括：资源申请故障检测、资源非法使用故障检测、资源回收故障检测、程序非法结束故障检测。对大量故障程序进行分析的基础上，提出了面向动态资源管理的软件故障模型，在此基础上提出了对各种故障类型的检测方法。从而克服软件测试工作的盲目性，能更有效的利用测试的结果对软件可靠性等评价软件质量的指标进行评估。

关键词：动态资源管理故障检测软件故障模型资源回收资源分配资源使用检测软件工程技术软件可靠性动态资源非法使用故障程序故障类型管理模式评价软件软件测试资源申请盲目性评估分析

来源：评论

学校读者我要写书评

暂无评论

软件测试与可靠性评估

软件测试与可靠性评估

引用

作者：张广梅中国科学院研究生院（计算技术研究所）

学位级别：博士

软件测试是保证和提高软件质量的重要工作，软件可靠性是评价软件质量的重要指标。本文首先综述了软件测试方法、软件测试工具及软件可靠性评估模型。为提高软件测试的效果，减少软件测试的盲目性，本文对导致程序出错的部分原因进行了... 详细信息

软件测试是保证和提高软件质量的重要工作，软件可靠性是评价软件质量的重要指标。本文首先综述了软件测试方法、软件测试工具及软件可靠性评估模型。为提高软件测试的效果，减少软件测试的盲目性，本文对导致程序出错的部分原因进行了分析，在此基础上建立了软件故障模型，针对建立的故障模型的特点，讨论了故障检测方法及故障检测规则，并在开放源码的编译器orc上实现了部分软件故障的检测；软件可靠性的预测和估计是软件工程所关注的内容之一，要对软件可靠性进行评价，需要根据软件测试的结果，根据测试过程中所得到的测试数据对其进行评价，本文对利用贝叶斯方法进行软件可靠性估计的方法进行了讨论。本文的创新点和主要贡献在于以下几个方面：一、软件故障模型的创建。在大量工程软件测试数据的基础上，提出了有工程背景的多种故障模型，包括动态内存故障模型，变量的定值与引用故障模型等。其中动态内存故障模型对可能导致系统老化、系统死机的各种情况进行了分析，为故障的检测、故障的排除提供了依据。同时，用模型指导软件测试工作，可以有效的降低软件测试的盲目性，提高软件测试的可信性。二、提出了面向故障检测的静态数据流分析方法。静态数据流分析的优点在于通过对程序进行静态分析，可以对程序中的多路径上的数据流状态进行模拟，克服了一次动态运行只能覆盖一条程序路径的缺点，有效的提高数据流分析的效率。通过对以基本块为最小划分单元的程序控制结构中到达各基本块的各种变量的定值信息的计算，可以获得到达程序中每个节点的数据流状态。由于程序结构的复杂性使得到达程序中某一点的路径是不唯一的，这种不唯一性造成了到达某一基本块的定值信息只在程序的某些路径上存在，由此我们提出了将到达某一节点的定值信息划分为MUST和MAY两个类别，从而提高了数据流分析的准确性。三、基于贝叶斯方法的软件可靠性评估方法。该方法以贝叶斯统计理论为依据，在对随机测试过程分析的基础上建立了基于输入域的测试过程的形式化描述，在此基础上确定了测试分布的总体信息；按照贝叶斯理论，要对软件可靠性进行估计，需要定义软件可靠性的先验分布，该先验分布可以利用贝叶斯假设或共轭原理进行定义。分析发现，在软件顺序测试过程中，采用这两种策略所得到的先验分布是一致的，这从另一种角度印证了先验分布选取的正确性。根据贝叶斯定理，利用先验分布和总体分布，可以得到待估计变量的后验分布，然后根据测试数据可以对可靠性进行估计。

关键词：软件测试软件可靠性软件故障模型数据流分析贝叶斯方法

来源：评论

学校读者我要写书评

暂无评论

软件内建自测试中模板的实现和测试程序的生成

软件内建自测试中模板的实现和测试程序的生成

引用

作者：彭成寒上海大学

学位级别：硕士

软件测试是保证软件质量和软件可靠性的重要手段，但随着软件规模的不断扩大，复杂度的不断提高，以及面向对象程序设计方法和工具的使用，软件测试的难度也进一步加大，测试质量更加难以度量。\n 软件内建自测试正是针对测试难的问... 详细信息

软件测试是保证软件质量和软件可靠性的重要手段，但随着软件规模的不断扩大，复杂度的不断提高，以及面向对象程序设计方法和工具的使用，软件测试的难度也进一步加大，测试质量更加难以度量。\n 软件内建自测试正是针对测试难的问题而提出的，其理论基础是软、硬件测试一致性。它将硬件测试中内建自测试的思想移植到软件测试和软件可测性设计中。内建自测试在硬件测试和可测性设计上已是一个成熟的技术，利用这个成熟的技术到软件测试中去可以大大降低软件测试的复杂度，提高可测性。借鉴硬件内建自测试的设计，软件内建自测试提出在软件开发阶段预先埋入测试信息，这些信息通过程序开发人员与模板交互得到并保存在模板中，然后编写程序自动从模板导出测试用例，自动运行测试用例进行测试。系统基本结构包括测试点、模板和自测试部分，模板中建立了该程序测试需要的数据；测试点负责向模板中写入测试需要的数据；自测试部分根据模板信息生成测试用例；最后由测试程序完成测试功能。\n 作为该项目的一部分，本论文主要讨论：软件内建自测试系统中模板的设计、测试步骤以及整体构建方法。论文首先研究了模板的概念、模板的内容、模板内容的组织、模板与程序员的交互、模板的管理和模板的参数评估等内容。详细介绍了模板内容的获取，首先分析了C/C++语言中六类常见的故障，包括：变量未初始化故障、空指针、数组越界故障、内存泄漏、内存操作的未定义故障和编译器本身不足的故障，并介绍了根据故障模型静态检测故障和设计模板函数动态检测故障，给出了检测故障的算法。讨论了软件内建自测试系统中单元测试、集成测试和回归测试，引入关键模块，并对关键模块的量化作了详细的介绍；同时详细介绍了以关键模块为核心的单元测试和集成测试。文中还介绍了软件内建自测试系统的代码规范检测，模板和测试点、测试用例之间的接口以及测试用例和测试点的管理方式，测试用例的生成、运行测试用例并最终生成测试报告等内容。\n 最后，本文介绍软件内建自测试系统在实际中运用的效果，给出几中故障，然后利用软件内建自测试系统进行检测。说明软件内建自测试系统的可行性，验证了软件内建自测试思想的正确性。

关键词：软件内建自测试模板软件故障模型关键模块静态测试动态测试面向对象程序

来源：评论

学校读者我要写书评

暂无评论

软件内建自测试中模板的设计和实现

软件内建自测试中模板的设计和实现

引用

作者：徐睿虹上海大学

学位级别：硕士

随着计算机的普及应用，人类对软件的依赖程度愈来愈大，对软件质量的要求也在不断提高。软件测试是保证软件质量的主要手段。可是随着软件规模的不断扩大，复杂度也不断增长，软件测试的难度也进一步提高。以往手工生成测试用例，人为... 详细信息

随着计算机的普及应用，人类对软件的依赖程度愈来愈大，对软件质量的要求也在不断提高。软件测试是保证软件质量的主要手段。可是随着软件规模的不断扩大，复杂度也不断增长，软件测试的难度也进一步提高。以往手工生成测试用例，人为运行程序的测试方法效率太低，成本也很高。越来越多的专家学者开始研究新的测试方法。\n 硬件测试较软件测试更加成熟，已经有一些高效稳定的测试算法。而软硬件测试在思想上有相同之处。如果能够将硬件领域已经成熟的测试方法用于软件测试，一定可以丰富软件测试算法。软件内建自测试就是移植于硬件测试中成熟的技术——内建自测试。软件自测试系统基本结构包括测试点、模板和自测试部分。其基本思想是：首先为程序设计员提供一套预先设计好的模板，这套模板要求程序员在编写程序时必须满足模板中提山的相关条件，并在模板中输入所要求的有关数据。由模板对所编写的程序进行“包装”，然后，由自治测试部分根据模板中信息生成一定的测试用例，并在测试点上进行比较和测试，以完成基本的测试功能。\n 论文讨论了‘种源于硬件测试应用于软件测试的新方法——软件内建自测试中的模板设计和实现。论文首先讨论了模板的概念、模板的作用，模板内容的获取。然后分析了非法计算故障、异常处理不当、内存分配不足、空指针、内存泄露、预编译隐含故障几种故障模型，根据故障模型设计模板，给出检测故障的算法。接着讨论了模板的管理和评价。详细设计了模板的数据结构，模板内容存储最终实现为SQL2000中的数据库。同时介绍了模板在系统中以插件的方式实现，讨论了模板如何与其他模块的进行接口定义实现信息交互，以及整个系统的运行过程。\n 论文的最后给出了软件内建自测试对几种故障进行检测的结果分析。通过对实例的运行，验证了软件内建自测试思想的正确性。

关键词：软件故障模型软件测试软件质量测试算法

来源：评论

学校读者我要写书评

暂无评论

一种面向动态资源管理的软件故障检测方法

一种面向动态资源管理的软件故障检测方法

引用

作者：张广梅徐勇军李晓维 100080 北京市中关村科学院南路6号

标准号: CN1472652A

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：