基于明考斯基最优距离的不完美排错SRGM决策机制

针对软件可靠性增长模型(software reliability growth model,SRGM)决策机制欠缺的问题,提出了基于明考斯基最优距离的不完美排错SRGM决策方法。首先,对真实软件测试过程与可靠性模型进行分析,建立分类视角下的SRGM归类集合;其次,从矩阵分析的角度形式化描述SRGM的评价与选择问题,建立基于明考斯基距离的双最优化排序方法;最后,对模型的性能进行综合评价,给出SRGM间的性能偏序关系。在4个实际计算机应用系统测试过程中记录并公开发表的失效数据集上进行实验,验证和阐释模型性能之间的排序机制效用,并进行参数敏感性分析,为模型决策提供定量化的参考。

考虑不完美排错情况的NHPP类软件可靠性增长模型

针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的模型相比,该模型能够取得更好的拟合结果和预测效果.

谁排错啦

数字王国的早市很热闹,有一家数字早餐铺很受大家欢迎。每天一大早,数字宝宝们就要来这家排队买早饭,不过每天都会有几个粗心的数字宝宝排错了。宝宝,你来找一找谁排错了,然后把它们圈出来,再帮它们找到正确的位置吧!

排错法在解答高考政治组合式选择题中的应用

本文结合学生运用排错法解答高考政治组合式选择题需具备的基本素养与关键能力、排错法在高考政治组合式选择题解题中的价值、高考政治组合式选择题圈项的常见错误类型,论述运用排错法解答高考政治组合式选择题的操作步骤,促进学生提高高考政治组合式选择题的得分率。

基于软件圈复杂度相关的不完美排错可靠性增长模型

首次将软件可靠性模型与软件圈复杂度进行了关联,将软件圈复杂度划分为三个等级:普通、复杂、特别复杂。针对不同等级的圈复杂度,分别从代码状况、可测性、可维护性、对测试人员能力的要求、对开发人员能力的要求5维角度进行了充分分析,从而给出了基于软件圈复杂度相关的不完美排错可靠性增长模型。在进行可靠性模型建模的同时综合考虑了故障的检测率、故障排错率、排错时故障的引入率三大因素,最后将该方法应用于一组实验数据进行分析,证明了该方法的可用性,同时将该模型的拟合数据与现有模型的拟合数据进行了比较,证明了该方法的有效性。

一种新的基于不完全排错的最优软件发行策略(英文)

软件的最优发行管理问题是软件可靠性研究的一个关键问题.现有的最优软件发行模型大都假定软件排错过程是完全的,并且在排错过程中没有新的故障引入,这种假设在很多情况下是不合理的.本文提出了一种新的最优软件发行管理模型,该模型既考虑了软件的不完全排错过程,又考虑了在排错过程中可能会引入新的故障,同时还考虑了由于排错经验的不断积累,软件的完全排错概率会增加的情况.本文同时给出了该模型的解.

考虑非理想排错过程的软件可靠性模型

经典的可靠性模型排错过程是理想的,没有考虑各种实际情况。实际的排错过程并不是完美的,错误排除需要时间,且不可能完全排除,排错过程中可能引入新的错误,错误排除率和错误引入率均是随时间变化的函数等等。文中针对这些排错过程的实际情况,对Xuemei Zhang等人提出的软件可靠性模型进行了改进,提出新的假设,建立改进的新模型,给出模型的一般表达形式。并通过两组公开发表的失效数据,对改进后模型的一个特例模型的拟合预测能力进行仿真分析比较,最终验证了改进的考虑非理想排错过程的软件可靠性模型的优越性,说明了新模型更符合现实的软件可靠性活动过程。

考虑S型测试工作量函数与不完美排错的软件可靠性模型

为准确描述测试工作量与不完美排错这2种重要测试过程因素对软件可靠性建模的影响,提升软件可靠性模型的拟合与预计精度,提出一种变形S型测试工作量函数,描述测试工作量增长速率随测试时间先增后减的S型增长趋势.在此基础上,分别提出考虑S型测试工作量函数与2种不完美排错假设的指数型非齐次泊松过程(NHPP)软件可靠性模型(即IS-TEFID1和IS-TEFID2).在2组真实失效数据集上,将新提出的2个模型与若干已存在的软件可靠性模型进行对比.实例验证结果显示,本文IS-TEFID2模型在2组失效数据集上的拟合与预计结果均显著好于其他模型,表明在建模过程中同时考虑变形S型测试工作量函数以及不完美排错可以有效地提升模型的拟合与预计性能.

不完美排错下测试覆盖相关的软件可靠性模型

准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义.

负指数分布排错时间的软件可靠性模型

传统的软件可靠性模型大多假设排除错误的时间忽略不计,基于假设过于苛刻,影响了模型应用的范围和精度。因此在JM模型的基础上,提出了排错时间为负指数分布的软件可靠性模型及本模型的极大似然参数估计方法。通过用马尔可夫过程描述系统的状态,分析了模型的数值求解方法,并讨论了使用在本模型中的失效预测、剩余错误预测和等待排出的错误数预测公式。同时利用实际的工程数据对本模型的应用过程进行了验证。

考虑不完美排错的Logistic测试覆盖率软件可靠性模型

软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两种考虑不完美排错的Logistic测试覆盖率软件可靠性模型(即ILTCS1与ILTCS2),并将这两种新模型与14种现有软件可靠性模型(包括经典模型、测试覆盖率模型以及不完美排错模型)分别应用于3组真实失效数据集.实例验证结果表明:1)ILTCS2模型在3组失效数据集上的评估结果均为最好(MSE值最小),且显著好于多数对比模型.这表明ILTCS2模型具有优秀的评估性能及适用性;2)选择合适的"完美排错"假设或"测试覆盖率"函数对模型评估性能的改进确实有重要影响.

FMS运行控制软件调试环境排错功能的实现

FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。

不完美排错SRGM研究

软件可靠性增长模型SRGM可对测试与运行阶段的可靠性进行度量、预测与保证。不完美排错SRGM能够更加准确地建模实际测试过程,获得了广泛研究。首先介绍了随机过程类模型中的NHPP基本概念与假设。接着,从三个阶段全面回顾了不完美排错研究历程。进一步,给出了若干典型的不完美排错SRGM的建模与累计故障检测函数的求解形式。最后将从排错的不完全性,引入新故障的角度建立的不完美排错模型:IID-SRGM与现有的模型进行比较,优于其它模型。

COBOL语言中的排错设施

本文主要讨论ISO COBOL 78排错功能模块提供的排错设施以及这些设施的编译实现,简要介绍了IBM DOS/VS COBOL中的排错特色。

一种在不完全排错条件下的最优软件发行管理模型

提出了一种在不完全排错条件下的最优软件发行管理模型,该模型综合考虑了软件的不完全排错过程、在排错过程中可能会引入新的故障以及由于排错经验的不断积累,软件的完全排错概率会增加的情况.在一定可靠度约束的条件下,该模型使得总的平均费用达到最小.分析并给出了在模型参数取不同值时的最优软件发行时间.

单片机应用系统排错实例剖析

在单片机应用系统的软硬件调试中,因很难找到出错点,而不容易找到解决出错的方法。就MCS-51单片机应用系统调试中的软件硬件排错问题,结合实际的项目调试,通过一些实例剖析,并给出解决的方法,供设计时参考。

基于多Agent的实时数据库排错研究

针对容错技术对错误处理的不彻底现状,提出从混沌信息流中自动识别并排错的新思路,彻底根除错误,完成故障的"预防"工作.排错与容错前提下的排障有着根本区别,排障是从叶子出发局部而滞后处理,排错新思路是从信号的根本特征出发,分析错误信息与有效信息之间的关系,对错误进行定义,最后提出排错的解决方案,分两步将信息流中的错误分离出来.具体实现结合多Agent技术和桶技术自适应地产生常态特征标准,用常态特征标准将混沌信息一分为二,划分出非常态信息;再进行逻辑诊断,将非常态信息又一分为二,确诊错误.研究从根本上排除与消除混沌信息流中的错误,将大规模计算转化为小规模可行的计算问题.

局域网排错方法探索

在计算机网络教学中,我们常常会学到ISO或者TCP/IP模型,还有一些常用的网络命令,还有协议等等,但是在具体局域网环境中,我们如何把这些基础网络知识应用到解决网络故障问题上,即是在平时的局域网环境下,我们如何对网络排错、解决问题各不统一,本文在网络模型概念的基础上,用较低的代价和较高的效率提出一般方法,来解决此类问题。

回路测试在网络排错中的应用

在当今社会进一步向信息化方向发展的过程中 ,计算机网络应用已遍及几乎人类活动的一切领域 ,由于计算机网络的复杂性 ,网络故障现象是不可避免的 ,将介绍如何利用回路测试方法来排除网络故障问题。

不完美排错软件可靠性增长模型效用量化研究

为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合和预测性能,首先从故障总数增长趋势角度对不完美排错模型进行深入研究,提出两个一般性不完美排错框架模型,分别考虑了总故障数量函数与累计检测故障函数间的线性关系与微分关系,并求得累计检测的故障数量与软件中总故障数量函数表达式;其次,在六组真实的失效数据集上对比了提出的两种一般性不完美排错模型和六种不完美排错模型拟合预测性能表现。实例验证结果表明,提出的一般性不完美排错框架模型在大多数失效数据集上都具有优秀的拟合和预测性能,证明了新建模型的有效性和实用性;通过对提出的模型与其他不完美排错模型在数据集上的性能的深入分析,为实际应用中不完美排错模型的选择提出了建议。