Author
Ayav, T., Sözer, Hasan
Publication Date
2016
Publication Place
-
IEEE
Subject
MCDC, Switching functions, Function transformation
Type
Document
Language
English
Digital
Yes
Manuscript
No
Library
Özyeğin University
Library Asset ID
2-s2.0-84991759050
Record ID
8b319214-0f91-41ba-af4e-a2d9fdeed385
Library Location
Computer Science
Date
2016
Sample Text
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.
DOI
10.1109/QRS-C.2016.40
