多任务计算机系统软件排错的结构分析法

针对多任务计算机系统的特点，引入任务模块的不可靠性传播概率，提出一种排除软件错误的方法─—结构分析法。这是一种面向数据结构的间接排错方法，与直接时程序排错法相比，它能更有效地发现和确定随机的错误，为分析出错原因提供可靠的依据。     

基于变点数据的一个非完全排错软件安全性模型

基于软件测试数据,提出了一种具有变点的非完全排错软件安全性模型,并给出了具有多种错误类型时的软件安全性均值函数模型。     

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

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

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

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

局域网排错方法探索

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

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

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

考虑故障检测与修正的软件可靠性增长模型

针对现有NHPP类软件可靠性增长模型基本假设中故障检测和不完美修正过程考虑不完善的现状,提出一种非齐次泊松过程软件可靠性增长模型．该模型既考虑故障本身特性,故障检测率是随时间递减的函数,又考虑了排错过程引入新错误的概率,故障总数函数是随时间变化的;同时,还考虑了不完全排错的情况,引入了一种与故障检测率具有相同变化趋势的故障排除率函数．利用一组标准化的失效数据集进行仿真验证,实验结果表明该模型具有更好的拟合效果和预测能力．     

国际标准COBOL语言的现状与前景

近些年来,COBOL语言在数据处理领域的声誉有些下降,人们为COBOL的前途担扰。本文论述了国际标准COBOL语言存在的问题、COBOL85的改善以及COBOL的前景,并指出COBOL语言的发展要与第四代语言相结合,还强调要加快结合的进程。     

一种即时纠正和延缓纠正混合的可靠性增长模型

考虑及时纠正和延缓纠正相结合的可靠性增长规划方式,采用纠正有效性系数的加权平均,并引入排错效率函数,提出一种软件阶段可靠性增长的模型.给出软件在试验阶段内各个时刻的瞬时失效率估计值的表达式和下一个试验阶段初期可靠性水平的预测值,并用一组数据作为示例,验证模型的有效性和实用性.     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况。通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便。     

C与COBOL两种语言数据文件的分析与比较

在介绍Ｃ与ＣＯＢＯＬ两种语言数据文件数据存储形式的基础上，详细分析了数值型数据的存储形式，指出用Ｃ语言处理ＣＯＢＯＬ数据文件时所存在的问题，并给出了处理方法。该方法可以实现Ｃ语言对ＣＯＢＯＬ数据文件的访问，提高用Ｃ语言开发软件的效率。     

软件测试环境COSTE的设计与实现

介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点．该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术，可以完成对COBOL程序的静态分析和动态测试，提供关于被测软件的程序特性和异常信息，以夏动态测试结果和结构覆盖信息，并可以根据覆盖情况和结构覆盖准则，自动生成补充的测试数据。以期更好地逼近结构覆盖要求，辅助用户更有效地进行软件维护工作．     

COBOL程序测试环境CPTS—1的设计与实现

CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。     

《会计电算化》课程的教学实践与思考

以多年的实践经验为实例,从选用教材、课堂教学、实验教学、能力培养与考试考核多个方面,探讨《会计电算化》课程的教学模式,并对课程的标准和教师的责任作进一步探讨.     

分布式PowerBuilder应用程序的调试策略和方法

由于分布式应用的独特性,使得分布式应用程序的调试远比单机应用程序的调试复杂得多。文中对分布式应用程序提出一种“先单机单机程调试,次单机多进程调试,最后再多机远程调试”的调试策略,给出在PowerBuilder开发环境下的实施方法,并对分布式PB应用程序的常用调试工具、技术和调试中应注意的问题进行探讨。所述策略和方法知开发《广西变通高校计算机等级考试管理系统MCT》网络版中得到成功使用,证明是正确可行的。     

有关建筑设备监控系统建设的探讨

对建筑设备监控系统中监控点表的作用、确定进行了探讨,从控制系统调试、单体调试、系统调试三个方面对建筑设备监控系统的调试过程进行了阐述,并对系统的验收、竣工给出了具体要求,指出监控点表是指导系统设计、系统施工、系统调试、系统验收的重要依据.     

西铭矿选煤厂工艺运行调试简述

介绍了西铭矿选煤厂工艺运行调试的内容,包括单机空载与联合空载的试运转及调试,带水、带介、带煤联合试运转及调试,煤泥水系统的调试等。     

电解铝整流机组调试浅析

详细地介绍了青海桥头电解铝工程整流机组和整流变压器的调试要求以及调试步骤，并对调试过程中应注意的问题及调试结果进行了总结。     

城市污水处理工艺调试方法简述

介绍了城市污水处理工艺调试的内容及目的,从多方面阐述了调试方法,指出了污水处理工艺调试中应注意的问题,并给出了相应的建议。