# Improved Modiﬁed Condition/ Decision Coverage using Code Transformation Techniques Sangharatna Godboley

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

(14)

(15)

(16)

(17)

(18)

(19)

## Basic Concepts

(20)

### Table 2.1: Truth table for two variables

x y 2- NAND 2-NOR 2-XOR 2-XNOR

0 0 1 1 0 1

0 1 1 0 1 0

1 0 1 0 1 0

1 1 0 0 0 1

### Table 2.2: Truth table for three variables

x y z 3-AND 3-OR 3-NAND 3-NOR 3-XOR 3-XNOR

0 0 0 0 0 1 1 0 0

0 0 1 0 1 1 0 1 1

0 1 0 0 1 1 0 1 1

0 1 1 0 1 1 0 0 0

1 0 0 0 1 1 0 1 1

1 0 1 0 1 1 0 0 0

1 1 0 0 1 1 0 0 0

1 1 1 1 1 0 0 1 1

(21)

(22)

x

x

x

x

x

(23)

x

x=true

x=f alse

x

x

x

x

x

x

x=true

x=f alse

x

x

x

(24)

(25)

(26)

th

1

2

3

j

j+1

j

j+1

n

0j

(27)

(28)

32

(29)

(30)

(31)

(32)

0

0

0

0

(33)

(34)

(35)

(36)

(37)

(38)

(39)

i=1ton

i

i=1ton

i

(40)

(41)

(42)

(43)

(44)

(45)

(46)

(47)

(48)

(49)

(50)

(51)

(52)

Updating...

## References

Updating...

Related subjects :