Question

Correlated Active Clause Coverage (logic Coverage and JUnit)

using the Logical Expression based method for developing test coverage, need help to discover and define test case information for the provided Thermostat class and convert them into JUnit Test Cases. Need help coming up with coming up Correlated Active Clause Coverage for the if statements in the thermostat class...

1. Develop a suite of test cases to satisfy the Correlated Active Clause Coverage for the Thermostat class
2. Would these test cases also meet the criteria for Restricted Active Clause Coverage? Explain why or why not.

Thermostat class

import java.io.*;
import java.time.Period;
import java.util.*;

// Programmable Thermostat
public class Thermostat
{
private int curTemp; // current temperature reading
private int thresholdDiff; // temp difference until we turn heater on
private int timeSinceLastRun; // time since heater stopped
private int minLag; // how long I need to wait
private boolean override; // has user overridden the program
private int overTemp; // overriding temperature
private int runTime; // output of isEnergyEfficient - how long to run
private boolean energyModeEnabled; // output of isEnergyEfficient - whether to run
private Period period; // morning, day, evening, or night
private int day; // week day or weekend day
private boolean isHeating; // Whether the unit is currently heating or not

public boolean isEnergyEfficient (ProgrammedSettings pSet)
{
   int dTemp = pSet.getSetting (period, day);

if ( ( (!override && curTemp < overTemp - thresholdDiff) ||
   (curTemp < dTemp - thresholdDiff) ) &&
((timeSinceLastRun > minLag) ^ override) )
{ // Disable low energy mode to heat up the place
// How long? Assume 1 minute per degree (Fahrenheit)
int timeNeeded = curTemp - dTemp;
if (override)
{
timeNeeded = curTemp - overTemp;
}
setRunTime (timeNeeded);
enableEnergyMode (false);

return (true);
}
else
{
enableEnergyMode (true);

return (false);
}
}

public void setCurrentTemp (int temperature) { curTemp = temperature; }
public void setThresholdDiff (int delta) { thresholdDiff = delta; }
public void setTimeSinceLastRun (int minutes) { timeSinceLastRun = minutes; }
public void setMinLag (int minutes) { minLag = minutes; }
public void setOverride (boolean value) { override = value; }
public void setOverTemp (int temperature) { overTemp = temperature; }
public void setIsHeating (boolean value) { isHeating = value; }

// for the ProgrammedSettings
public void setDay (int curDay) { day = curDay; }
public void setPeriod (Period curPeriod) { period = curPeriod; }

// outputs from isEnergyEfficient - need corresponding getters to activate heater
void setRunTime (int minutes) { runTime = minutes; }
void enableEnergyMode (boolean value) { energyModeEnabled = value; }

} // End Thermostat class

Answer 1

Testing Files

ThermostatPredicateCoverageTest.java

import org.junit.Assert;
import org.junit.Before;
import org.junit.Test;

import static org.junit.Assert.*;

public class ThermostatPredicateCoverageTest {

private Thermostat thermostat;
private ProgrammedSettings programmedSettings;

@Before
public void Setup() {
thermostat = new Thermostat();
}

@Test
public void isEnergyEfficientTest1() {
programmedSettings = new ProgrammedSettings(35);
thermostat.setIsHeating(true);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest2() {
programmedSettings = new ProgrammedSettings(70);
thermostat.setIsHeating(true);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest3() {
programmedSettings = new ProgrammedSettings(90);
thermostat.setIsHeating(true);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest4() {
programmedSettings = new ProgrammedSettings(70);
thermostat.setIsHeating(true);
thermostat.setOverride(true);
thermostat.setThresholdDiff(6);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest5() {
programmedSettings = new ProgrammedSettings(70);
thermostat.setIsHeating(false);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest6() {
programmedSettings = new ProgrammedSettings(40);
thermostat.setIsHeating(false);
thermostat.setOverride(true);
thermostat.setThresholdDiff(6);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest7() {
programmedSettings = new ProgrammedSettings(40);
thermostat.setIsHeating(false);
thermostat.setOverride(false);
thermostat.setThresholdDiff(4);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest8() {
programmedSettings = new ProgrammedSettings(40);
thermostat.setIsHeating(false);
thermostat.setOverride(true);
thermostat.setThresholdDiff(4);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}
@Test
public void isEnergyEfficientTest9() {
programmedSettings = new ProgrammedSettings(40);
thermostat.setIsHeating(false);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}
}

ThermostatClauseCoverageTest.java

import org.junit.Before;
import org.junit.Test;

import static org.junit.Assert.*;

public class ThermostatClauseCoverageTest {

private Thermostat thermostat;
private ProgrammedSettings programmedSettings;

@Before
public void setUp() throws Exception {
thermostat = new Thermostat();
}

@Test
public void isEnergyEfficientTest1() {
programmedSettings = new ProgrammedSettings(35);
thermostat.setIsHeating(true);
thermostat.setOverride(false);
thermostat.setThresholdDiff(6);
thermostat.setCurrentTemp(40);
assertTrue(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest2() {
programmedSettings = new ProgrammedSettings(35);
thermostat.setIsHeating(true);
thermostat.setOverride(true);
thermostat.setThresholdDiff(6);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}

@Test
public void isEnergyEfficientTest3() {
programmedSettings = new ProgrammedSettings(70);
thermostat.setIsHeating(false);
thermostat.setOverride(true);
thermostat.setThresholdDiff(6);
thermostat.setCurrentTemp(55);
assertFalse(thermostat.isEnergyEfficient(programmedSettings));
}
}