An industrial study of applying input space partitioning to test financial calculation engines

This paper presents results from an industrial study that applied input space partitioning and semi-automated requirements modeling to large-scale industrial software, specifically financial calculation engines. Calculation engines are used in financial service applications such as banking, mortgage, insurance, and trading to compute complex, multi-conditional formulas to make high risk financial decisions. They form the heart of financial applications, and can cause severe economic harm if incorrect. Controllability and observability of these calculation engines are low, so robust and sophisticated test methods are needed to ensure the results are valid. However, the industry norm is to use pure human-based, requirements-driven test design, usually with very little automation. The Federal Home Loan Mortgage Corporation (FHLMC), commonly known as Freddie Mac, concerned that these test design techniques may lead to ineffective and inefficient testing, partnered with a university to use high quality, sophisticated test design on several ongoing projects. The goal was to determine if such test design can be cost-effective on this type of critical software. In this study, input space partitioning, along with automation, were applied with the help of several special-purpose tools to validate the effectiveness of input space partitioning. Results showed that these techniques were far more effective (finding more software faults) and more efficient (requiring fewer tests and less labor), and the managers reported that the testing cycle was reduced from five human days to 0.5. This study convinced upper management to begin infusing this approach into other software development projects.     

Struktur und eigenschaften von ABS-polymeren. IX. Quantitative untersuchungen zur morphologie von ABS-polymerisaten

The technological properties of ABS polymers largely depend on the structure of the elastomer phase as well as on the elastomer/thermoplast interface. The morphological structure of such polymers can be determined from electron micrographs of ultramicrotome sections – after selective contrasting of the polybutadiene phase – or of replicas of fracture surfaces after selective chemical degradation. The various ABS polymers are classified by their manufacturing processes and their morphologies and characterized by electron micrographs. The degree and place of grafting are of particular importance. The quantitative determination of the surface- and internal grafting is achieved by combining the determination of the degree of grafting (extraction), the evaluation of the results obtained on particle counting, and a morphometric process. It is demonstrated that the morphometric process can in general be applied for the quantitative determination of the contrastable component in two-phase polymers.     

Lifetime assessment of epoxies by the kinetics of thermal degradation

The kinetics of thermal degradation of 4,4′‐diaminodiphenylsulfone (DDS)‐cured glycidylethers (DGBA) and glycidylamines (TGDDM) have been studied by isothermal annealing. Thermal degradation proceeds via first‐order kinetics with activation energies of 138 (DGBA/DDS) and 95 kJ/mol (TGDDM/DDS). From these data the temperature‐dependent lifetime can be calculated. Based on the heat distortion temperature and 20 years' service as criteria, the upper service temperature is found to be around 115–120°C. In spite of the different activation energies and bond stabilities, only marginal differences in the upper allowed service temperatures between these resins were found. Only slight improvements can be expected by optimizing the cure conditions. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 91: 1881–1886, 2004     

13C n.m.r. study of raw materials for carbon black

¹³C n.m.r. spectroscopy has been applied to investigate a number of coal tar and petroleum-derived carbon black feedstocks. Application of the J-modulated spin echo technique is especially rewarding, as this method renders the quaternary carbons directly detectable. Thus the quality of carbon black feedstocks can additionally be gauged on the basis of the contents of quaternary carbons, which is a direct indication of the carbon yield in the carbon black production process.     

Organolithium route to poly(arylsilane)s

Various poly(arylsilane)s The poly(carbosilane)s prepared in this way are of higher molecular weight than when prepared by the Wurtz-type condensation route previously reported. TG shows 40–50% overll weight loss attained at 500–600°C.     

β-Carotene transport in human lipoproteins. Comparisons with a-tocopherol

The purpose of this study was to investigate the temporal relationships of the transport of β-carotene in human lipoproteins. We administered 60 mg β-carotene with breakfast to nine fasting subjects, then blood samples were collected at intervals of up to 75 h, lipoproteins were isolated, and β-carotene was quantitated. β-Carotene concentrations in chylomicrons and very low density lipoproteins (VLDL) peaked at 6 and 9 h, respectively. Nonetheless, at all time points the majority of plasma β-carotene was contained in low density lipoproteins (LDL), while high density lipoproteins (HDL) carried a smaller portion (at 24 h, 73±8% in LDL as compared with 23±5% in HDL). In three subjects, transport of β-carotene was compred with the results of earlier studies on the transport of stereoisomers of α-tocopherol. Unlike plasmaRRR-α-tocopherol concentrations, which are maintained by the preferential incorporation ofRRR-α-tocopherol into VLDL by the liver, β-carotene increased and decreased in VLDL similarly toSRR-α-tocopherol, a stereoisomer whose concentrations are not maintained in plasma. In conclusion, β-carotene is primarily transported in the plasma in LDL, but its incorporation by the liver into lipoproteins does not appear to be enhanced.     

Gewinnung von Brennstoff für Kraftwerke aus Klärschlamm

Production of a combustible for coal-fired power stations based on sewage sludge . This article describes various means of achieving more extensive mechanical dewatering of sewage sludges. The heat content of the sludge solids can become available for combustion processes. The sludge filter cakes obtained by the “CarboSed” process can be disposed of with minimum energy consumption by fluidized bed combustion or be used after appropriate work-up as a combustible in coal-fired power stations with full exploitation of their heat content for generation of steam and electric current. Partial substitution of primary energy sources such as coal and fuel oil by sludge filter cake is feasible in all cases. The processes thus make a contribution to the saving of energy resources and the disposal of sludge.     

Microstructure and properties of TiB/Ti-6Al-4V coatings produced with laser treatments

TiB/Ti-6Al-4V metal-matrix composite (MMC) layers were produced on Ti-6Al-4V substrates by laser cladding. A TiB₂/Ti powder mixture was used as a precursor to obtain a dispersion of TiB needles in the Ti alloy matrix, with the aid of an exothermic reaction between TiB₂ and Ti. A eutectic microstructure was obtained that consisted of an extremely homogeneous dispersion of TiB eutectic needles in the Ti alloy matrix, having a volume fraction as high as 0.33. Also, an equilibrium-like microstructure was found, consisting of a dispersion of both primary and eutectic TiB needles inside the Ti alloy matrix. An analysis of the geometry of the layers was performed and proved successful in determining the percentage of B. Further, it correctly predicted the variation of atomic B content as a function of laser power. The relative wear resistance coefficient, defined as the wear coefficient of the uncoated matrix divided by that of coating, shows an improvement by a factor as high as 1500 for the eutectic microstructure. This paper was presented at the 2nd International Surface Engineering Congress sponsored by ASM International, on September 15–17, 2003, in Indianapolis, Indiana, and appeared on pp. 411–18 of the Proceedings.     

Comparison of two scaling approaches for the development of biomechanical multi-body human models

Dimensional scaling approaches are widely used to develop multi-body human models in injury biomechanics research. Given the limited experimental data for any particular anthropometry, a validated model can be scaled to different sizes to reflect the biological variance of population and used to characterize the human response. This paper compares two scaling approaches at the whole-body level: one is the conventional mass-based scaling approach which assumes geometric similarity; the other is the structure-based approach which assumes additional structural similarity by using idealized mechanical models to account for the specific anatomy and expected loading conditions. Given the use of exterior body dimensions and a uniform Young’s modulus, the two approaches showed close values of the scaling factors for most body regions, with 1.5 % difference on force scaling factors and 13.5 % difference on moment scaling factors, on average. One exception was on the thoracic modeling, with 19.3 % difference on the scaling factor of the deflection. Two 6-year-old child models were generated from a baseline adult model as application example and were evaluated using recent biomechanical data from cadaveric pediatric experiments. The scaled models predicted similar impact responses of the thorax and lower extremity, which were within the experimental corridors; and suggested further consideration of age-specific structural change of the pelvis. Towards improved scaling methods to develop biofidelic human models, this comparative analysis suggests further investigation on interior anatomical geometry and detailed biological material properties associated with the demographic range of the population.