packagemvd.jester.tests;importorg.junit.jupiter.api.DisplayName;importorg.junit.jupiter.api.Test;importmvd.jester.model.SystemSetup;/** * TestMaiaBertogna */publicclassTestMaiaBertogna{@Test@DisplayName("Check if the schedulability check returns the correct values.")publicvoidtestRunSchedulabilityCheck(){SystemSetupsystemSetup=SystemSetup.readFromFile("/resources/Taskset1.txt",0);MaiaBertognamb=newMaiaBertogna(systemSetup);}}