Reference no: EM13663220
1. Use the following predicate to answer (a)-(c) below:
p = a ∧ (~b v c)
(a) Identify the clauses that go with predicate p.
(b) Compute (and simplify) the conditions under which each of the clauses determines predicate p. Show your work for partial credit.
(c) Write the complete truth table for all clauses. Label your rows starting from 1. Use the format in the example underneath the definition of Combinatorial Coverage in Section 3.2. That is, row 1 should be all clauses true. You should include columns for the conditions under which each clause determines the predicate, and also a column for the predicate itself.
2. Use the following predicate to answer (a)-(f) below:
p = a ∧ (~b v ~c)
(a) Give the complete truth table for all clauses.
(b) Identify all pairs of rows from your table that satisfy General Active Clause Coverage (GACC) with respect to each clause.
(c) Identify all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to each clause.
(d) Identify all pairs of rows from your table that satisfy Restricted Active Clause Coverage (RACC) with respect to each clause.
(e) Identify all 4-tuples of rows from your table that satisfy General Inactive Clause Coverage (GICC) with respect to each clause. Identify any infeasible GICC test requirements.
(f) Identify all 4-tuples of rows from your table that satisfy Restricted Inactive Clause Coverage (RICC) with respect to each clause. Identify any infeasible RICC test requirements.
3. Given the below Truth Table, identify all pairs of rows that satisfy RACC for major clause a (Pa).
|
|
a
|
b
|
c
|
d
|
P
|
|
1
|
T
|
T
|
T
|
T
|
T
|
|
2
|
T
|
T
|
T
|
F
|
T
|
|
3
|
T
|
T
|
F
|
T
|
T
|
|
4
|
T
|
T
|
F
|
F
|
T
|
|
5
|
T
|
F
|
T
|
T
|
T
|
|
6
|
T
|
F
|
T
|
F
|
T
|
|
7
|
T
|
F
|
F
|
T
|
T
|
|
8
|
T
|
F
|
F
|
F
|
T
|
|
9
|
F
|
T
|
T
|
T
|
F
|
|
10
|
F
|
T
|
T
|
F
|
F
|
|
11
|
F
|
T
|
F
|
T
|
F
|
|
12
|
F
|
T
|
F
|
F
|
F
|
|
13
|
F
|
F
|
T
|
T
|
F
|
|
14
|
F
|
F
|
T
|
F
|
F
|
|
15
|
F
|
F
|
F
|
T
|
F
|
|
16
|
F
|
F
|
F
|
F
|
F
|
4. Answer questions (a) and (b) for the method threePred() below:
public String threePred (int x, int y, int z)
{
boolean w;
if (x <= y)
w = true;
else
w = false;
if (w && x+y == 10 && z < x)
return "A";
else
return "B";
}
(a) Identify test inputs for threePred() that achieve Restricted Active Clause Coverage (RACC).
(b) Identify test inputs for threePred() that achieve Restricted Inactive Clause Coverage (RICC).
5. Consider the following deterministic finite state machine and answer questions (a)-(c):
|
Current State
|
Condition
|
Next State
|
|
Idle
|
a v b
|
Active
|
|
Active
|
a ^ b
|
Idle
|
|
Active
|
¬b
|
WindDown
|
|
WindDown
|
a
|
Idle
|
(a) Draw the finite state machine.
(b) This machine does not specify which conditions cause a state to transition back to itself. However, these conditions can be derived from the existing conditions. Derive the conditions under which each state will transition back to itself.
HINT: Take the negation of the conditions on each outgoing transition, and "and" them together.
(c) Find CACC tests for each transition from the Active state.
6. Use the following function to answer (a)-(b) below:
f = ab + a¯bc + ¯a¯bc
(a) Draw the Karnaugh maps for f and ¯ f.
(b) Find the nonredundant prime implicant representation for f and ¯ f.
|
Find how far into the field region does the beam penetrate
: A beam of electrons moving in the x direction at 8.8 x 106 m/s enters a region where a uniform magnetic field of 430 G points in the y direction. Find how far into the field region does the beam penetrate
|
|
Ac voltage across a capacitor-what is the frequency
: The AC voltage across a capacitor with C = 1.2 µF has an amplitude of V max = 16 V, and the current during the capacitor has an amplitude of 5.0 mA. What is the frequency?
|
|
Determine how far does the train move
: A train is traveling down a straight track at 20m/s when the engineer applies the brakes, Determine how far does the train move during a 40 second time intervals starting at the instant the brakes are applied
|
|
Suppose the scaffold is a uniform beam
: An 80 kg window cleaner sits 1.8 meters from the end of a 5 meter long scaffold that is supported at either end by a vertical wire. Suppose the scaffold is a uniform beam by a mass of 40 kg and find the tension in each wire.
|
|
Identify the clauses that go with predicate p
: Compute and simplify the conditions under which each of the clauses determines predicate p. Show your work for partial credit - Give the complete truth table for all clauses.
|
|
Compute what force is necessary to hold it in place
: In a high magnetic field experiment, a conducting bar carrying 13.5 kA passes through a 30 centimeter long region containing a 24.0 T magnetic field. compute what force is necessary to hold it in place
|
|
If sirius abruptly stopped shining
: The star Sirius is a distance of 8 light-years from the earth. If Sirius abruptly stopped shining, how much longer would it be seen on earth?
|
|
Calculate the maximum torque developed by the motor
: An electric motor consists of a 70 turn coil 3.0 centimeter in diameter, mounted between the poles of a magnet that produces a 0.07 T field. Calculate the maximum torque developed by the motor
|
|
Microwave oven produces microwaves of frequency
: A certain microwave oven produces microwaves of frequency 2450 MHz by a power of 500 W. How long must it take to heat 556 g of water, initially at room temperature, to the boiling point? Suppose that all the microwave energy is engrossed by the water..
|