Diagnosis of embedded software using program spectra

Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this paper we discuss the application of a specific automated debugging technique, namely software fault localization through the analysis of program spectra, in the area of embedded software in high-volume consumer electronics products. We discuss why the technique is particularly well suited for this application domain, and through experiments on an industrial test case we demonstrate that it can lead to highly accurate diagnoses of realistic errors

Combining CSG modeling with soft blending using Lipschitz-based implicit surfaces

In this paper a general method is given for combining CSG modeling with soft blending using implicit surfaces. A class of various blending functions sharing some desirable properties like differentiability and intuitive blend control are given. The functions defining the CSG objects satisfy the Lipschitz condition which gives the possibility of fast root-finding, but can also prove useful in the field of collision detection and adaptive triangulation. Introduction Methods for defining smooth surfaces can be divided into two categories: ffl Parametric functions Parametric functions are functions of the form f(u; v) = (f x (u; v); f y (u; v); f z (u; v)). Typical examples are Bezier or B-spline patches (See [Bohm84] for an overview). The surface is defined by control points and the surface can be adjusted by moving the control points. The surface can be rendered by evaluating the function for different well-chosen values of u and v. ffl Implicit functions Implicit functions have th..