基于非线性和测试覆盖率的软件可靠性增长模型

软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来表示软件故障检测率,建立了基于非齐次泊松过程(non-homogeneous Poisson process, NHPP)的软件可靠性增长模型。为规避参数估计过程中模型函数导数连续性和存在性的限制,应用一个自适应变化的实值遗传算法进行计算。最后通过一个真实软件失效数据集对模型参数进行计算,利用不同的评价准则将所提模型和现有模型进行比较,说明所提模型的优越性和准确性。     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

城市供暖热力站自控系统调试流程

阐述了城市供暖中实现热力站温度、压力自动控制的必要性,介绍了太原市热力公司热力站自动控制系统的调试流程,提出了各个工作步骤中需要注意的一些事项。     

浅谈变电站自动化系统调试

文章从变电站现场调试工作前的准备到设备投运的整个工作程序和调试方法及注意事项进行了详细介绍,并说明了细节问题应注意的事项。     

PPDT：一种并行程序调试工具

提出了一种基于C/S架构的可视化远程并行程序调试工具(PPDT).客户端基于Eclipse插件机制,提供可视化的并行程序调试接口.服务器端采用树形调试控制结构.针对PPDT中服务器端调试器命令行接口(GDB/MI)产生的调试结果消息进行分析与归并,提出了一种高效的GDB/MI结果消息解析与提取算法,同时针对提取后的消息进行分类与合并,提出了一种树形消息聚集机制.实验结果表明:PPDT具备并行程序调试器的基本功能,GDB/MI结果消息解析与提取算法以及树形消息聚集机制的引入有效缩短了调试响应时间,提高了系统调试效率.     

基于AT89S52图文显示设计与实现

介绍了AT89S52芯片及FYD12864-0402B点阵图形液晶显示模块功能,分析了LCM12864的功能特性,给出了AT89S52与LCM12864的硬件接口电路设计,通过软件编程实现功能,并口ISP调试证明设计的正确性.     

25Hz微电子交流计数站内电码化调试存在问题分析

分析了微电子交流计数站内电码化在车出清区段后不能自动复原的问题,探讨了解决问题的方案,并提出了在受端发码时受端发码电源的调试范围。     

控制系统单元电路板的一种脱机调试方法

采用静态和动态两步测试比较，可以实现子模块电路板的脱机调试．该方法已在单元电路板的仿制过程中得到应用．     

日立F-4500型荧光分光光度计的调试及应用

荧光法因其具有灵敏度高、选择性强、用样量少、方法简便等优点，现已广泛应用于食品检验、化学、医学、药物分析、冶金、生命科学和环境科学等各个领域。简单介绍了日立F-4500型荧光分光光度计的基本结构，对其波长扫描的调试方法做了详细介绍。     

数控机床进给手轮功能装调方法的分析

以数控机床移动进给手轮的功能原理为出发点,评述手轮的常用装调方法及特殊装调方法的工作过程,通过阐述数控机床各项功能装调方法的灵活多样性,为达到数控机床使用功能要求,应用中要从数控机床操作便利和用户使用意图等方面考虑,选定装调方法.