Moving Switching Functions to Continuous Domain

Abstract

This paper proposes a method for moving switching functions to continuous domain. The benefits of this approach are twofold. First, the elementary calculus works with the transformed functions. Second, this transformation approach facilitates various analyses relying on Boolean algebra and other existing Boolean-based calculi like Boolean difference. We present one of the potential applications and show how MCDC test pairs can be computed solely by means of elementary calculus.