Dynamic slicing method for maintenance of large C programs

Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults. Hence, a lot of work is left to the programmer during fault localization. In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates. The approach is called Constraints Based Slicing (CONBAS). The idea behind CONBAS is to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case. For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case. Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research. The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.

Download Full-text

Refactoring C++ Programs Physically

Journal of Software ◽

10.3724/sp.j.1001.2009.00550 ◽

2009 ◽

Vol 20 (3) ◽

pp. 597-607

Author(s):

Tian-Lin ZHOU ◽

Liang SHI ◽

Bao-Wen XU ◽

Yu-Ming ZHOU

Keyword(s):

C Programs

Download Full-text

QED corrections in $$ \overline{B}\to \overline{K}{\mathrm{\ell}}^{+}{\mathrm{\ell}}^{-} $$ at the double-differential level

Journal of High Energy Physics ◽

10.1007/jhep12(2020)104 ◽

2020 ◽

Vol 2020 (12) ◽

Author(s):

Gino Isidori ◽

Saad Nabeebaccus ◽

Roman Zwicky

Keyword(s):

Phase Space ◽

Detailed Analysis ◽

Invariant Mass ◽

Mass Distribution ◽

Invariant Mass Distribution ◽

Semileptonic Decays ◽

Lepton Pair ◽

Specific Choice ◽

Slicing Method

Abstract We present a detailed analysis of QED corrections to $$ \overline{B}\to \overline{K}{\mathrm{\ell}}^{+}{\mathrm{\ell}}^{-} $$ B ¯ → K ¯ ℓ + ℓ − decays at the double-differential level. Cancellations of soft and collinear divergences are demonstrated analytically using the phase space slicing method. Whereas soft divergences are found to cancel at the differential level, the cancellation of the hard-collinear logs ln mℓ require, besides photon-inclusiveness, a specific choice of kinematic variables. In particular, hard-collinear logs in the lepton-pair invariant mass distribution (q2), are sizeable and need to be treated with care when comparing with experiment. Virtual and real amplitudes are evaluated using an effective mesonic Lagrangian. Crucially, we show that going beyond this approximation does not introduce any further infrared sensitive terms. All analytic computations are performed for generic charges and are therefore adaptable to semileptonic decays such as $$ \overline{B}\to D\mathrm{\ell}\overline{\nu } $$ B ¯ → D ℓ ν ¯ .

Download Full-text