Skip to content
Snippets Groups Projects
Commit d9131cff authored by Emna Gharbi's avatar Emna Gharbi
Browse files

changing files path

parent 6166d62a
No related branches found
No related tags found
1 merge request!103Dsez3 merge into master
Hide whitespace changes
Inline Side-by-side
src/main/java/dsez3engine/InputInstance.java → src/main/java/tmltranslator/dsez3engine/InputInstance.java
+ 1
− 3
View file @ d9131cff
package dsez3engine;
package tmltranslator.dsez3engine;
import tmltranslator.*;
import javax.swing.text.html.HTMLDocument;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
......
src/main/java/dsez3engine/OptimizationModel.java → src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
+ 1
− 3
View file @ d9131cff
package dsez3engine;
package tmltranslator.dsez3engine;
import com.microsoft.z3.*;
import tmltranslator.*;
import tmltranslator.tmlcp.TMLCPSequenceDiagram;
import java.util.ArrayList;
import java.util.List;
......
src/main/java/dsez3engine/InputInstanceTest.java → ttool/src/test/java/tmltranslator/dsez3engine/InputInstanceTest.java
+ 39
− 56
View file @ d9131cff
package dsez3engine;
package tmltranslator.dsez3engine;
import com.microsoft.z3.Context;
import com.microsoft.z3.Log;
......@@ -121,10 +121,10 @@ public class InputInstanceTest {
taskE.addReadTMLChannel(be);
taskE.addReadTMLChannel(de);
ab.setTasks(taskA,taskB);
ad.setTasks(taskA,taskD);
be.setTasks(taskB,taskE);
de.setTasks(taskD,taskE);
ab.setTasks(taskA, taskB);
ad.setTasks(taskA, taskD);
be.setTasks(taskB, taskE);
de.setTasks(taskD, taskE);
ab.setNumberOfSamples(2);
ad.setNumberOfSamples(2);
......@@ -146,7 +146,6 @@ public class InputInstanceTest {
}
private TMLArchitecture setUpTMLArchitecture() {
HwExecutionNode mainCPU = new HwCPU("MainCPU");
......@@ -253,7 +252,6 @@ public class InputInstanceTest {
optimizationModel.findFeasibleMapping(ctx);
//optim.findOptimizedMappingModel(ctx);
Log.close();
if (Log.isOpen())
......@@ -277,26 +275,31 @@ public class InputInstanceTest {
}
/****************************** TEST PASSED WITH SUCCESS **************************************/
@Test
public void getFeasibleCPUs() {
TMLTask tempTask;
tempTask = (TMLTask) inputInstance.getModeling().getTasks().get(2);
System.out.println(tempTask.getName());
List<HwExecutionNode> tempList = new ArrayList<>();
Boolean test = false;
List <HwExecutionNode> expectedList = new ArrayList<>();
expectedList.add(inputInstance.getArchitecture().getHwCPUByName("MainCPU"));
expectedList.add(inputInstance.getArchitecture().getHwCPUByName("dsp"));
TMLTask tempTask = (TMLTask) inputInstance.getModeling().getTasks().get(2);
List<HwExecutionNode> actualList = new ArrayList<>();
for (int i = 0; i < inputInstance.getFeasibleCPUs(tempTask).size(); i++) {
tempList.add(inputInstance.getFeasibleCPUs(tempTask).get(i));
actualList.add(inputInstance.getFeasibleCPUs(tempTask).get(i));
}
for (int i = 0; i < tempList.size(); i++) {
System.out.println(tempList.get(i).getName());
}
assertEquals(actualList.size(), expectedList.size());
for (HwExecutionNode hwExecutionNode : actualList){
assertTrue(expectedList.contains(hwExecutionNode));
}
}
/****************************** TEST PASSED WITH SUCCESS **************************************/
@Test
public void getBufferIn() {
......@@ -305,14 +308,14 @@ public class InputInstanceTest {
tempTasks.add((TMLTask) inputInstance.getModeling().getTasks().get(i));
}
System.out.println("buffer in = " + inputInstance.getBufferIn((TMLTask) tempTasks.get(0)));
System.out.println("buffer in = " + inputInstance.getBufferIn((TMLTask) tempTasks.get(1)));
System.out.println("buffer in = " + inputInstance.getBufferIn((TMLTask) tempTasks.get(2)));
System.out.println("buffer in = " + inputInstance.getBufferIn((TMLTask) tempTasks.get(3)));
assertEquals(inputInstance.getBufferIn((TMLTask) tempTasks.get(0)), 0);
assertEquals(inputInstance.getBufferIn((TMLTask) tempTasks.get(1)), 2);
assertEquals(inputInstance.getBufferIn((TMLTask) tempTasks.get(2)), 2);
assertEquals(inputInstance.getBufferIn((TMLTask) tempTasks.get(3)), 10);
}
/****************************** TEST PASSED WITH SUCCESS **************************************/
@Test
public void getBufferOut() {
List<TMLTask> tempTasks = new ArrayList<>();
......@@ -320,30 +323,25 @@ public class InputInstanceTest {
tempTasks.add((TMLTask) inputInstance.getModeling().getTasks().get(i));
}
System.out.println("buffer out = " + inputInstance.getBufferOut((TMLTask) tempTasks.get(0)));
System.out.println("buffer out = " + inputInstance.getBufferOut((TMLTask) tempTasks.get(1)));
System.out.println("buffer out = " + inputInstance.getBufferOut((TMLTask) tempTasks.get(2)));
System.out.println("buffer out = " + inputInstance.getBufferOut((TMLTask) tempTasks.get(3)));
assertEquals(inputInstance.getBufferOut((TMLTask) tempTasks.get(0)), 4);
assertEquals(inputInstance.getBufferOut((TMLTask) tempTasks.get(1)), 5);
assertEquals(inputInstance.getBufferOut((TMLTask) tempTasks.get(2)), 5);
assertEquals(inputInstance.getBufferOut((TMLTask) tempTasks.get(3)), 0);
}
/****************************** TEST PASSED WITH SUCCESS **************************************/
@Test
public void getLocalMemoryOfHwExecutionNode() {
HwNode output1;
output1 = inputInstance.getArchitecture().getHwMemoryByName("mainMem");
HwNode output1 = inputInstance.getArchitecture().getHwMemoryByName("mainMem");
HwNode output2 = inputInstance.getArchitecture().getHwMemoryByName("dspMem");
HwNode output2;
output2 = inputInstance.getArchitecture().getHwMemoryByName("dspMem");
assertTrue(inputInstance.getLocalMemoryOfHwExecutionNode(inputInstance.getArchitecture().getHwNodeByName("MainCPU")) == output1);
assertTrue(inputInstance.getLocalMemoryOfHwExecutionNode(inputInstance.getArchitecture().getHwNodeByName("dsp")) == output2);
assertTrue("comparing between the expected local memory for main_CPU and the memory found", inputInstance.getLocalMemoryOfHwExecutionNode(inputInstance.getArchitecture().getHwNodeByName("MainCPU")) == output1);
assertTrue("comparing between the expected local memory for DSP and the memory found", inputInstance.getLocalMemoryOfHwExecutionNode(inputInstance.getArchitecture().getHwNodeByName("dsp")) == output2);
}
/****************************** TEST PASSED WITH SUCCESS **************************************/
@Test
public void getWCET() {
......@@ -352,33 +350,18 @@ public class InputInstanceTest {
for (int i = 0; i < inputInstance.getModeling().getTasks().size(); i++) {
tempTasks.add((TMLTask) inputInstance.getModeling().getTasks().get(i));
}
int expectedWcetA_CPU = 150;
int expectedWcetA_dsp = 300;
assertEquals(expectedWcetA_CPU, inputInstance.getWCET(tempTasks.get(0), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("MainCPU")));
assertEquals(expectedWcetA_dsp, inputInstance.getWCET(tempTasks.get(0), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
System.out.println(tempTasks.get(1).getActivityDiagram().getName());
System.out.println(tempTasks.get(2).getActivityDiagram().getElements().size());
System.out.println(tempTasks.get(1).getActivityDiagram().getWorstCaseIComplexity());
int expectedWcetA_CPU = 300;
int expectedWcetA_dsp = 150;
System.out.println("WCET(" + tempTasks.get(0).getName() +", dsp) = " +
inputInstance.getWCET(tempTasks.get(0), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
assertEquals("comparing between the expected WCET of task A on main_CPU and the computed value", expectedWcetA_CPU, inputInstance.getWCET(tempTasks.get(0), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("MainCPU")));
assertEquals("comparing between the expected WCET of task A on DSP and the computed value", expectedWcetA_dsp, inputInstance.getWCET(tempTasks.get(0), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
System.out.println("WCET(" + tempTasks.get(1).getName() +", dsp) = " +
inputInstance.getWCET(tempTasks.get(1), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
System.out.println("WCET(" + tempTasks.get(2).getName() +", dsp) = " +
inputInstance.getWCET(tempTasks.get(2), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
System.out.println("WCET(" + tempTasks.get(3).getName() +", dsp) = " +
inputInstance.getWCET(tempTasks.get(3), (HwExecutionNode) inputInstance.getArchitecture().getHwNodeByName("dsp")));
}
@Test
public void getFinalTask() {
System.out.println(inputInstance.getFinalTask(inputInstance.getModeling()).getName());
assertEquals("checking the last task", inputInstance.getModeling().getTMLTaskByName("task__E"), inputInstance.getFinalTask(inputInstance.getModeling()));
}
}
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment