Quantitative demonstration and cost considerations of a software fault removal methodology

This paper presents a demonstration of a methodology for fault removal during software development. The methodology encompasses the entire development history, from system and software requirements generation to system test. Thus it considers not only the faults during software testing after formal configuration controls have been invoked, but also the faults discovered prior to that phase: during system and software requirements generation, preliminary design, detailed design and code and unit testing. The agents for fault discovery used in verification and validation are called activities, techniques and tools (AT & Ts) in this paper, each having a certain maximum potential or capability for fault discovery. The AT & Ts considered include the usual specification review activities, and also certain tools not normally applied in ‘standard’ software development, such as automated requirements aids. Application of the methodology yields numbers of residual faults as of each phase of development, including those remaining to be discovered during operations and maintenance. Some previous experience and data on residual faults correspond to these results, indicating that the methodology and choice of parameters are reasonable. The methodology also allows one to calculate a relative loss due to delay in fault discovery, which, as is well known, rises rapidly when faults are not discovered during the phase in which they are generated.     

Issues in nonlinear stochastic grey box identification

Grey box identification refers to the practice of identifying dynamical systems in model structures exploiting partial prior information. This contribution reviews a method for stochastic grey box identification and surveys experiences and lessons of applying it to a number of industrial processes. Issues to be addressed include advantages and costs of introducing stochastics into the model, the question of what contribution must be expected from the model designer as opposed to what can be formalized in computer algorithms, and an outlook on future plans to resolve present shortcomings.     

Early detection of ageing in solder joints through laser probe thermal analysis of the peltier effect

We have recently developed an optical contactless method for testing the quality of solder joints during accelerated thermal cycling ageing processes.¹ The method was based upon the measurement of the dynamic thermal behaviour of the joint to short bursts of Joule heating. It has proved to be efficient in revealing the formation of cracks at the lead-solder interface. We present a method to evaluate ageing at a much earlier stage in the cycling process. We have observed in earlier work,¹ that before cracks appear, structural changes occur in the solder at the lead-solder interface. The thermal response of the solder joint is recorded over time to a Peltier heat perturbation produced by flowing a current pulse through the interface where structural changes occur. The key point in this method is to discriminate the Peltier effect from the Joule thermal response because both effects generate heat. The variation of the early Peltier response in the thermal cycling ageing tests is seen as a quantitative signature of the structural changes in the lead-solder interface.     

Using rainbow net simulation to measure fault tolerance in a multiprocessor

The Rainbow net simulation technique is applied to modelling the impact of system load and fault handling on the availability of a fault-tolerant multiprocessor architecture. Rainbow nets are described along with the motivation for creating this modelling technique. A Rainbow net fault-handling model is created for the fault-tolerant multiprocessor architecture and the topology is shown to remain constant in size, independent of the number of processor, memory and I/O elements configured in the system. Simulation is performed with a varying load in terms of the number of active jobs the system must support. Results are given showing how the fault-tolerant capability varies with load. Two new metrics for evaluating fault tolerance are introduced; namely full fault-tolerability and partial fault-tolerability. They are based on simple observations in the model.     

基于MAX+PLUSII模块化设计的智力竞赛抢答器

设计了一款造价低,体积小,操作简单,适用性广的抢答器。该抢答器是基于MAX+PLUSII软件,在FPGA芯片上设计的,可实现多人智力竞赛抢答。     

试谈计算机软件测试管理的应用

计算机的软件测试是软件工程构成部分之一,同时软件测试也是检验软件开发人员及软件产品是否合格的重要凭据。就软件测试管理系统活动及应用两个方面的内容进行研究,并对管理工具的存在进行简单的介绍。     

企业各软件的数据共享和整合分析浅谈

本文主要根据大多数企业存在各种软件各自独立运行,各软件之间数据不能相互共享,一些旧软件或不适用的软件与目前主流操作系统不兼容等问题,分析问题并用接口和整合方法解决,此平台利用云计算技术,解决大多数企业建设信息平台投资大的问题,同时方便企业使用和维护.     

Conditional probability Markov chain simulation based reliability analysis method for nonnormal variables

Based on fast Markov chain simulation for generating the samples distributed in failure region and saddlepoint approximation(SA) technique,an efficient reliability analysis method is presented to evaluate the small failure probability of non-linear limit state function(LSF) with non-normal variables.In the presented method,the failure probability of the non-linear LSF is transformed into a product of the failure probability of the introduced linear LSF and a feature ratio factor.The introduced linear LSF wh...     

Damage and deterioration mechanism and curing technique of concrete structure in main coal cleaning plants

Concrete structures in main coal cleaning plants have been rebuilt and reinforced in the coal mines of the Shanghai Da-tun Energy Sources Co. Ltd., the first colliery of the Pingdingshan Coal Co. Ltd. and the Sanhejian mine of the Xuzhou Mining Group Co. Ltd. In these projects, the operating environment and reliability of concrete structures in the main plants of the three companies were investigated and the safety of the structures inspected. Qualitative and quantitative analyses were made on the spe-cial natural, technological and mechanical environments around the structures. On the basis of these analyses, we discuss the long-term, combined actions of the harsh natural (corrosive gases, liquids and solids) and mechanical environments on concrete structures and further investigated the damage and deteriorating mechanisms and curing techniques of concrete structures in the main coal cleaning plants. Our study can provide a theoretical basis for ensuring the reliability of concrete structures in main coal cleaning plants.     

逆变电源的可靠性及其提高途径

影响逆变焊接电源可靠性的因素是多方面的.如产品的设计和生产等各个环节.根据实践经验提出了解决可靠性问题的一些有效途径和方法.