TaskSetTest.java

package mvd.jester.model;

import static org.junit.jupiter.api.Assertions.assertTrue;
import org.junit.jupiter.api.DisplayName;
import org.junit.jupiter.api.Test;


public class TaskSetTest {

    private static final int NUMBER_OF_SETS = 1000;

    @Test
    @DisplayName("Check if randomly generated task parameters lie within the specified ranges.")
    public void testRandomTaskSetGeneration() {

        for (int i = 0; i < NUMBER_OF_SETS; ++i) {
            SystemSetup taskSet = new SystemSetup.Generator().build();

            for (Task t : taskSet.getTasks()) {
                assertTrue(t.getPeriod() >= 100);
                assertTrue(t.getPeriod() <= 1000);
                assertTrue(t.getDeadline() == t.getPeriod());

                long maxJobWcet = t.getPeriod() / t.getSegments().size();

                for (Segment s : t.getSegments()) {
                    assertTrue(s.getJobWcet() * s.getNumberOfJobs() == s.getTaskletWcet()
                            * s.getNumberOfTasklets());
                    assertTrue(s.getJobWcet() >= 1);
                    assertTrue(s.getJobWcet() <= maxJobWcet);
                    assertTrue(s.getNumberOfJobs() >= 1);
                    assertTrue(s.getNumberOfJobs() <= 6);
                }

                assertTrue(t.getSegments().size() >= 1);
                assertTrue(t.getSegments().size() <= 5);
            }
        }

    }
}