Moving switching functions to continuous domain
Type :
Conference paper
Publication Status :
published
Access :
restrictedAccess
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.
Source :
Software Quality, Reliability and Security Companion (QRS-C), 2016 IEEE International Conference on
Date :
2016
Publisher :
IEEE
Collections
Share this page