Ex 1. public float temperature(float powsupply, float clock, char cooler)

Transcription

1 Black box & Junit

2 Ex 1 public float temperature(float powsupply, float clock, char cooler) A Java method estimates a CPU temperature according to: power supply (steps of 0.1 V) clock, between 2.0 e 3.4 GHz, (steps of 0.1 GHz) An uppercase char denoting the kind of cooler { A, B, C (decreasing cooling capability, e.g., 100, 50, 25 W) The output is the temperature, ranging between 30.0 e 70.0 degrees. If the clock is > 3.0 GHz it is mandatory to use cooler A or B Design test cases according to the black box techniques, implementing the test in Junit and designing the method stub

3 Identify equivalence classes Classes must me listed with an ID You can use for that: value intervals number of values set of values constraints

4 Value intervals VC1 Power supply [1.5,1.8] IC2 Power supply <1.5 IC3 Power supply >1.8 VC4 clock [2.0,3.5] IC5 clock <2.0 IC6 clock >3.5

5 Set of values VC7 cooler = A VC8 cooler = B VC9 cooler = C IC10 cooler not in { A, B, C

6 Number of values VC11 3 inputs IC12 less than 3 inputs IC13 more than 3 inputs IC14 format error on power supply IC15 format error on clock IC16 format error on cooler

7 Constraints IF clock>3.0 THEN cooler in {A,B VC17 clock >3.0 and cooler in {A,B IC18 clock >3.0 and cooler ==C

8 Test cases Power supply, clock, cooler T1:1.6, 3.1, A T2:1.6, 3.1, B T3:1.6, 2.1, C T4:1.6, 2.1, D T5:1.4, 2.1, A T6:1.9, 2.1, A T7:1.6, 1.8, A T8:1.6, 3.7, A T9:1.6, 3.1 T10:1.6, 3.1, A, B T11:1.62, 3.1, A T12:1.6, 3.15, A T13:1.6, 3.1, a T14:1.6, 3.1, C (VC1,VC4,VC7,VC11,VC17): temperature (VC8): temperature (VC9): temperature (IC10): ERROR Unknown cooler (IC2): ERROR Power supply too low (IC3): ERROR Power supply too high (IC5): ERROR Clock too low (IC6): ERROR Clock too high (IC12): ERROR few inputs (IC13): ERROR too many inputs (IC14): ERROR Power supply wrong format (IC15): ERROR Clock wrong format (IC16): ERROR Cooler wrong format (IC18): ERROR Wrong cooler

9 Boundary analysis Power supply [1.5,1.8] ( 50mV steps ) VC4 clock [2.0,3.5] T15: 1.45, 3.1, A 1.50, 3.1,A 1.55, 3.1,A 1.75, 3.1,A 1.80, 3.1,A 1.85, 3.1,A 1.60, 1.9, A 1.60, 2.0,A 1.60, 2.1,A 1.60, 3.4,A 1.60, 3.5,A 1.60, 3.6,A Number of inputs : 3 Maximum=minimum=3 already tested 2 3 e 4 (T8, T1, T9)

10 Boundary analysis... IF clock>3.0 THEN cooler >= B (We assume A>B>C) The IF boundary is 3.1 (i.e., the smallest value that makes the condition true ) -> The THEN boundary is B (i.e., the smallest value that makes the condition true ) -> A B C We use all the 9 combinations: T16: 1.6, 3.0,A 1.6, 3.0,B 1.6, 3.0, C 1.6, 3.1,A 1.6, 3.1,B 1.6, 3.1, C 1.6, 3.2,A 1.6, 3.2,B 1.6, 3.2, C

11 Boundary analysis Output The function between input and output is not available However it makes sense to test (minimum output temperature): T17: 1.5, 2.0,A and the two options (maximum output temperature): T18: 1.8, 3.0,C T19: 1.8, 3.5,B

12 Junit: annotations

13 Junit: assertions

14 Junit : Ex1 simple Stub public class Ex1 { public static double temperature(double powsupply, double clock, char cooler){ return 65.0; What about input errors?

15 Junit : Ex1 Stub public class Ex1 { public static double temperature(double powsupply, double clock, char cooler) throws TestException{ String s=""+ cooler; if (!s.touppercase().equals(s)) throw new TestException("ERROR Wrong cooler format"); if (!s.equals("a") &&!s.equals("b") &&!s.equals("c") ) throw new TestException("ERROR Unknown cooler"); if (clock>3.0 && cooler=='c') throw new TestException("ERROR Wrong cooler"); if ( (int)(powsupply*100)%10>0) throw new TestException("ERROR Power supply wrong format"); if ( (int)(clock*100)%10>0) throw new TestException("ERROR Clock wrong format"); if ( (int)(powsupply*100)%10>0 ) throw new TestException("ERROR Power supply wrong format"); if (powsupply < 1.5) throw new TestException("ERROR Power supply too low"); if (powsupply > 1.8) throw new TestException("ERROR Power supply too high"); if (clock < 2.0) throw new TestException("ERROR Clock too low"); if (clock > 3.4) throw new TestException("ERROR Clock too high"); return 65.0; public static double temperature(object powsupply, Object clock ) throws TestException{ throw new TestException("ERROR few inputs"); public static double temperature(object powsupply, Object clock, Object a, Object b) throws TestException{ throw new TestException("ERROR too many inputs");

16 Junit : TestException public class TestException extends Throwable{ public TestException(String msg){ super(msg);

17 import org.junit.*; import static org.junit.assert.*; public class Ex1Test { public static double tmin; public static double tmax; Junit test //Before the start of all tests public static void setupbeforeclass() throws Exception { tmin=30; tmax=70; System.out.println("Start testing... //After the completion of all tests public static void teardownafterclass() throws Exception { System.out.println("Testing done...");

18 @Test public void testt1() throws TestException{ asserttrue("error VC1,VC4,VC7,VC11,VC17: output not in tmin<=ex1.temperature(1.6,3.1,'a') && Ex1.temperature(1.60,3.1,'A')<=tMax); public void testt2() throws TestException{ asserttrue("error VC8: output not in tmin<=ex1.temperature(1.6,3.1,'b') && Ex1.temperature(1.60,3.1,'B')<=tMax); public void testt3() throws TestException{ asserttrue("error VC9: output not in range", tmin<=ex1.temperature(1.6,2.1,'c') && Ex1.temperature(1.60,2.1,'C')<=tMax); Junit test VCs

19 @Test public void testt4() throws Ex1.temperature(1.4,2.1,'D'); catch (TestException e) { Junit test ICs asserttrue(e.getmessage().equals("error Unknown cooler")); public void testt5() throws TestException{ Ex1.temperature(1.4,2.1,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Power supply too public void testt6() throws TestException{ Ex1.temperature(1.9,2.1,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Power supply too high"));

20 public void testt7() throws TestException{ Ex1.temperature(1.6,1.8,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Clock too public void testt8() throws TestException{ Ex1.temperature(1.6,3.7,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Clock too public void testt9() throws TestException{ Ex1.temperature(1.6,3.7); catch (TestException e) { asserttrue(e.getmessage().equals("error few public void testt10() throws TestException{ Ex1.temperature(1.6,3.1,5,9); catch (TestException e) { asserttrue(e.getmessage().equals("error too many inputs")); Junit test ICs

21 @Test public void testt11() throws TestException{ Ex1.temperature(1.62,3.1,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Power supply wrong public void testt12() throws TestException{ Ex1.temperature(1.6,3.19,'A'); catch (TestException e) { asserttrue(e.getmessage().equals("error Clock wrong public void testt13() throws TestException{ Ex1.temperature(1.6,3.19,'a'); catch (TestException e) { asserttrue(e.getmessage().equals("error Wrong cooler public void testt14() throws TestException{ Ex1.temperature(1.6,3.1,'C'); catch (TestException e) { asserttrue(e.getmessage().equals("error Wrong cooler")); Junit test ICs