On the estimation of adequate test set size using fault failure rates

Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. We define the failure rate of a program as the fraction of test cases in an available test pool that result in execution failure on that program. This paper investigates the relationship between failure rates and the number of test cases required to detect the faults. Our experiments based on 11 sets of C programs suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of adequate test set size with respect to fault detection and should therefore be one of the factors kept in mind during test set construction. Furthermore, the model proposed herein is fairly robust to incorrect estimations in failure rates and can still provide good predictive quality. Experiments are also performed to observe the relationship between multiple faults present in the same program using the concept of a failure rate. When predicting the effectiveness against a program with multiple faults, results indicate that not knowing the number of faults in the program is not a significant concern, as the predictive quality is typically not affected adversely.     

Survival as a Digital Ghost

You can survive after death in various kinds of artifacts. You can survive in diaries, photographs, sound recordings, and movies. But these artifacts record only superficial features of yourself. We are already close to the construction of programs that partially and approximately replicate entire human lives (by storing their memories and duplicating their personalities). A digital ghost is an artificially intelligent program that knows all about your life. It is an animated auto-biography. It replicates your patterns of belief and desire. You can survive after death in a digital ghost. We discuss a series of digital ghosts over the next 50 years. As time goes by and technology advances, they are progressively more perfect replicas of the lives of their original authors.

Identification of statistical patterns in complex systems via symbolic time series analysis

Identification of statistical patterns from observed time series of spatially distributed sensor data is critical for performance monitoring and decision making in human-engineered complex systems, such as electric power generation, petrochemical, and networked transportation. This paper presents an information-theoretic approach to identification of statistical patterns in such systems, where the main objective is to enhance structural integrity and operation reliability. The core concept of pattern identification is built upon the principles of Symbolic Dynamics, Automata Theory, and Information Theory. To this end, a symbolic time series analysis method has been formulated and experimentally validated on a special-purpose test apparatus that is designed for data acquisition and real-time analysis of fatigue damage in polycrystalline alloys.     

Odour emission ability (OEA) and its application in assessing odour removal efficiency

Odourous emissions from sewer networks and wastewater treatment plants (WWTPs) can significantly impact a local population. Sampling techniques such as wind tunnels and flux hood chambers are traditionally used to collect area source samples for subsequent quantification of odour emission rates using dilution olfactometry, however these methods are unsuitable for assessing liquid samples from point sources due to the large liquid volumes required. To overcome this limitation, a gas phase sample preparation method was developed for assessing the total Odour Emission Ability (OEA) from a liquid sample. The method was validated using two volatile organic sulphur compounds (VOSCs), dimethyl-trisulphide (DMTS) and bismethylthiomethane (BMTM) that are frequently detected from sewers and WWTPs and are relatively stable compared with common VOSCs like mercaptan or methyl mercaptan. The recovery rates of DMTS and BMTM were quantified by injecting a known volume of a standard liquid sample into Tedlar bags using a static injection and a dynamic injection methodology. It was confirmed that both dynamic and static injection methods at ambient condition achieved high recovery rates with no need to consider increasing evaporation by elevating the temperature. This method can also be used to assess odour removal effectiveness of liquids by comparing the OEA before and after the treatment tests. Two application examples were presented.     

A flexible and recoverable client/server database event notification system

A software architecture is presented that allows client application programs to interact with a DBMS server in a flexible and powerful way, using either direct, volatile messages, or messages sent via recoverable queues. Normal requests from clients to the server and replies from the server to clients can be transmitted using direct or recoverable messages. In addition, an application event notification mechanism is provided, whereby client applications running anywhere on the network can register for events, and when those events are raised, the clients are notified. A novel parameter passing mechanism allows a set of tuples to be included in an event notification. The event mechanism is particularly useful in an active DBMS, where events can be raised by triggers to signal running application programs. Received July 21, 1995 / Accepted May 30, 1996     

Circulating Monocyte Subsets and Transcatheter Aortic Valve Replacement

Transcatheter aortic valve replacement (TAVR), as an alternative to open heart surgery, has revolutionized the treatment of severe aortic valve stenosis (AVS), the most common valvular disorder in the elderly. AVS is now considered a form of atherosclerosis and, like the latter, partly of inflammatory origin. Patients with high-grade AVS have a highly disturbed blood flow associated with high levels of shear stress. The immediate reopening of the valve during TAVR leads to a sudden restoration of a normal blood flow hemodynamic. Despite its good prognosis for patients, TAVR remains associated with bleeding or thrombotic postprocedural complications, involving mechanisms that are still poorly understood. Many studies report the close link between blood coagulation and inflammation, termed thromboinflammation, including monocytes as a major actor. The TAVR procedure represents a unique opportunity to study the influence of shear stress on human monocytes, key mediators of inflammation and hemostasis processes. The purpose of this study was to conduct a review of the literature to provide a comprehensive overview of the impact of TAVR on monocyte phenotype and subset repartition and the association of these parameters with the clinical outcomes of patients with severe AVS who underwent TAVR.     

An Iron Refractory Phenotype in Obese Adipose Tissue Macrophages Leads to Adipocyte Iron Overload

Adipocyte iron overload is a maladaptation associated with obesity and insulin resistance. The objective of the current study was to determine whether and how adipose tissue macrophages (ATMs) regulate adipocyte iron concentrations and whether this is impacted by obesity. Using bone marrow-derived macrophages (BMDMs) polarized to M0, M1, M2, or metabolically activated (MMe) phenotypes, we showed that MMe BMDMs and ATMs from obese mice have reduced expression of several iron-related proteins. Furthermore, the bioenergetic response to iron in obese ATMs was hampered. ATMs from iron-injected lean mice increased their glycolytic and respiratory capacities, thus maintaining metabolic flexibility, while ATMs from obese mice did not. Using an isotope-based system, we found that iron exchange between BMDMs and adipocytes was regulated by macrophage phenotype. At the end of the co-culture, MMe macrophages transferred and received more iron from adipocytes than M0, M1, and M2 macrophages. This culminated in a decrease in total iron in MMe macrophages and an increase in total iron in adipocytes compared with M2 macrophages. Taken together, in the MMe condition, the redistribution of iron is biased toward macrophage iron deficiency and simultaneous adipocyte iron overload. These data suggest that obesity changes the communication of iron between adipocytes and macrophages and that rectifying this iron communication channel may be a novel therapeutic target to alleviate insulin resistance.     

The Economics and Performance of Satellite Packet Switching

The economics and performance of packet-switched satellite systems operating in a broadcast mode are studied and compared to landline-based systems similar to the ARPANET. The fixed-packet length inefficiencies and the satellite channel utilization of the satellite systems are presented as functions of the message length distribution, the number of earth stations, the average message delay, and the average number of messages generated at each earth station. Some of the economic factors in the design of packetswitched satellite networks are discussed, including hardware costs as a function of technology and system performance. Satellite network configurations with or without backhaul facilities are compared and it is concluded that configurations using backhaul facilities consisting of two 30 mile private leased lines (each 50 kbits/s) are more expensive. Parameters and estimated costs of satellite system configurations are presented and an engineering estimate of the cost function for satellite packet-switched networks is derived and presented in the form of long range average cost curves. Economies of scale with respect to network traffic and diseconomies of scale with respect to the number of network earth stations are found to be present.