Ejemplo n.º 1
0
  @Test
  public void testUrgent() {
    String path = UNIT_BASEDIR + "urgent/";

    Configuration c =
        flatten(SpaceExImporter.importModels(path + "urgent.cfg", path + "urgent.xml"));
    BaseComponent ha = (BaseComponent) c.root;

    if (!AutomatonUtil.hasUrgentMode(ha)) {
      Assert.fail("urgent model not imported correctly");
    }
  }
Ejemplo n.º 2
0
  @Test
  public void testInputOutput() {
    // test model with input and output variables
    String cfgPath = UNIT_BASEDIR + "comp_in_out/sys.cfg";
    String xmlPath = UNIT_BASEDIR + "comp_in_out/sys.xml";

    SpaceExDocument doc = SpaceExImporter.importModels(cfgPath, xmlPath);
    Map<String, Component> componentTemplates = TemplateImporter.createComponentTemplates(doc);
    Configuration config = ConfigurationMaker.fromSpaceEx(doc, componentTemplates);

    NetworkComponent nc = (NetworkComponent) config.root;

    BaseComponent bcX = (BaseComponent) nc.children.get("out_x_1").child;
    BaseComponent bcY = (BaseComponent) nc.children.get("out_y_1").child;

    Assert.assertEquals("two variables in out_x component", 2, bcX.variables.size());
    Assert.assertEquals(
        "one defined flow in out_x component",
        1,
        bcX.modes.values().iterator().next().flowDynamics.size());

    // also test AutomatonUtil.isOutputVariable()
    Assert.assertTrue(
        "x is an output variable of base component 'out_x_1'",
        AutomatonUtil.isOutputVariable(bcX, "x"));
    Assert.assertTrue(
        "y is NOT an output variable of base component 'out_x_1'",
        !AutomatonUtil.isOutputVariable(bcX, "y"));

    Assert.assertTrue(
        "x is NOT an output variable of base component 'out_y_1'",
        !AutomatonUtil.isOutputVariable(bcY, "x"));
    Assert.assertTrue(
        "y is an output variable of base component 'out_y_1'",
        AutomatonUtil.isOutputVariable(bcY, "y"));
  }
Ejemplo n.º 3
0
  @Test
  public void testPrintInitStates() {
    // Luan's import test. Init was printing as null when it wasn't null
    String cfgPath = UNIT_BASEDIR + "loc_init/one_init.cfg";
    String xmlPath = UNIT_BASEDIR + "loc_init/model.xml";

    SpaceExDocument doc = SpaceExImporter.importModels(cfgPath, xmlPath);
    Map<String, Component> componentTemplates = TemplateImporter.createComponentTemplates(doc);
    Configuration config =
        com.verivital.hyst.importer.ConfigurationMaker.fromSpaceEx(doc, componentTemplates);

    String initString = AutomatonUtil.getMapExpressionString(config.init);

    Assert.assertTrue("init string is not null", initString != null);
  }
Ejemplo n.º 4
0
  @Test
  public void testClassifySubtract() {
    String[][] dy = {{"x", "-x - 2 * y -0.2 * u"}, {"y", "4 * x - 3 * y + 2 * u"}, {"u", "1"}};
    // Automaton with three variables ['x', 'y', 'u'] and flows:
    // x' == -x - 2 * y -0.2 * u
    // y' == 4 * x - 3 * y + 2 * u
    // u' == 1
    Configuration c = AutomatonUtil.makeDebugConfiguration(dy);
    BaseComponent ha = ((BaseComponent) c.root);
    AutomatonMode mode = ha.modes.values().iterator().next();

    Classification cls = new Classification();
    Classification.ha = ha;
    cls.setVarID(ha);
    cls.setLinearMatrix(mode);
    double TOL = 1e-9;
    Assert.assertEquals(-1, Classification.linearMatrix[0][0], TOL);
  }