public void HybridSal_RICircuit()
{
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run("HybridSal_RICircuit", mgaFile,
"/@Testing|kind=Testing|relpos=0/@Verification_CA|kind=Testing|relpos=0/@HybridSal|kind=Testing|relpos=0/@RICircuit|kind=TestBench|relpos=0");
Assert.True(result, "CyPhy2Modelica_v2 failed during interpretation with verification workflow.");
}
public void Succeed_Flat()
{
string outputDir = "Testing_RICircuit_CA";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@RICircuit_CA_Flat|kind=TestBench|relpos=0";
var result = CyPhy2ModelicaRunner.RunWithChecker(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 should have succeeded.");
}
public void Testing_RICircuit_CA()
{
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run("Testing_RICircuit_CA", mgaFile,
"/@Testing|kind=Testing|relpos=0/@RICircuit_CA|kind=TestBench|relpos=0");
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Testing_RICircuit_CA()
{
string outputDir = "Testing_RICircuit_CA";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@RICircuit_CA|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_PropertyParameter_Testbench_TestBenchParamHasNoValue()
{
string outputDir = "PropertyParameter_Testbench_TestBenchParamHasNoValue";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@PropertyParameter|kind=Testing|relpos=0/@Testbench_TestBenchParamHasNoValue|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void RulesWarnings_Testbench_CAParameterHasNoValue()
{
string outputDir = "RulesWarnings_Testbench_CAParameterHasNoValue";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesWarnings|kind=Testing|relpos=0/@Testbench_CAParameterHasNoValue|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_ModelicaModelURI_Testbench_ModelicaUriInvalid_1()
{
string outputDir = "ModelicaModelURI_Testbench_ModelicaUriInvalid_1";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@ModelicaModelURI|kind=Testing|relpos=0/@Testbench_ModelicaUriInvalid_1|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Fail_TestbenchSetup_Testbench_workflowWrongTask()
{
string outputDir = "TestbenchSetup_Testbench_workflowWrongTask";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@TestbenchSetup|kind=Testing|relpos=0/@Testbench_workflowWrongTask|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void RuleFailures_FailureTB_SimpleCalculation()
{
string outputDir = "RuleFailures_FailureTB_SimpleCalculation";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RuleFailures|kind=Testing|relpos=0/@FailureTB_SimpleCalculation|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void RuleFailures_PCC_DriverParam2MultipleTBParams()
{
string outputDir = "RuleFailures_PCC_DriverParam2MultipleTBParams";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RuleFailures|kind=Testing|relpos=0/@PCC_DriverParam2MultipleTBParams|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Dynamics_TestBenchProperty()
{
string outputDir = "Dynamics_TestBenchProperty";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@Dynamics|kind=Testing|relpos=0/@TestBenchProperty|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void ValidParameterRanges_RICircuit_inf()
{
string outputDir = "ValidParameterRanges_RICircuit_inf";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@ValidParameterRanges|kind=Testing|relpos=0/@RICircuit_inf|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Addition_RICircuit_TestBench_IntermediateParameter()
{
string outputDir = "Addition_RICircuit_TestBench_IntermediateParameter";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@SimpleFormulas|kind=Testing|relpos=0/@Addition|kind=Testing|relpos=0/@RICircuit_TestBench_IntermediateParameter|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void MinMax_RICircuit_Max()
{
string outputDir = "MinMax_RICircuit_Max";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@SimpleFormulas|kind=Testing|relpos=0/@MinMax|kind=Testing|relpos=0/@RICircuit_Max|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_ValueFlows_RICircuit_IncomingMetricToParameterAndProperties()
{
string outputDir = "ValueFlows_RICircuit_IncomingMetricToParameterAndProperties";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@FailTests|kind=Testing|relpos=0/@ValueFlows|kind=Testing|relpos=0/@RICircuit_IncomingMetricToParameterAndProperties|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void SingleConfig_MSD_om_CA()
{
string outputDir = "SingleConfig_MSD_om_CA";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@SingleConfig|kind=Testing|relpos=0/@MSD_om_CA|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_ModelicaConnector_Testbench_ModelicaConnectorClassConflict_2errors()
{
string outputDir = "ModelicaConnector_Testbench_ModelicaConnectorClassConflict_2errors";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@ModelicaConnector|kind=Testing|relpos=0/@Testbench_ModelicaConnectorClassConflict_2errors|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Fail_Testing_RICircuit_CAUsingGroundInResistor()
{
string outputDir = "Testing_RICircuit_CAUsingGroundInResistor";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@RICircuit_CAUsingGroundInResistor|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Fail_Names_Testbench_NonUniqueNamesTestComponents()
{
string outputDir = "Names_Testbench_NonUniqueNamesTestComponents";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@Names|kind=Testing|relpos=0/@Testbench_NonUniqueNamesTestComponents|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void TestBenches_Test_Delivered_Electric_Pump_TransportedFluid()
{
string outputDir = "TestBenches_Test_Delivered_Electric_Pump_TransportedFluid";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@Test_Delivered_Electric_Pump_TransportedFluid|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_ComponentsInTree_ComponentDefinedInThisTB()
{
string outputDir = "ComponentsInTree_ComponentDefinedInThisTB";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@ComponentsInTree|kind=Testing|relpos=0/@ComponentDefinedInThisTB|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Fail_MediaFails_PartialMediumInComponent()
{
string outputDir = "MediaFails_PartialMediumInComponent";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@MediaFails|kind=Testing|relpos=0/@PartialMediumInComponent|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Test_Benches_MassSpringDamperTest()
{
string outputDir = "Test Benches_MassSpringDamperTest";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@MassSpringDamperTest|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
public void Fail_CheckerTests_CA_for()
{
string outputDir = "CheckerTests_CA_for";
string testBenchPath = "/@Tests|kind=Testing|relpos=0/@CheckerTests_CA|kind=Testing|relpos=0/@for|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Pass_ModelicaConnector_Testbench_FloatingModelicaConnector_damper()
{
string outputDir = "ModelicaConnector_Testbench_FloatingModelicaConnector_damper";
string testBenchPath = "/@Test Benches|kind=Testing|relpos=0/@RulesFailures|kind=Testing|relpos=0/@ModelicaConnector|kind=Testing|relpos=0/@Testbench_FloatingModelicaConnector_damper|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 should have succeeded, but did not.");
}
public void Fail_CheckerTests_CA_RICircuit_CA_SolverSettingNegativeNbrOfIntervals()
{
string outputDir = "CheckerTests_CA_RICircuit_CA_SolverSettingNegativeNbrOfIntervals";
string testBenchPath = "/@Tests|kind=Testing|relpos=0/@CheckerTests_CA|kind=Testing|relpos=0/@RICircuit_CA_SolverSettingNegativeNbrOfIntervals|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void HybridSal_MSD()
{
string outputDir = "HybridSal_MSD";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@Verification_CA|kind=Testing|relpos=0/@HybridSal|kind=Testing|relpos=0/@MSD|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed during interpretation with verification workflow.");
}
public void Fail_CheckerTests_CA_RICircuit_CA_RegularModelicaConnectorsNotConnectedInComponent()
{
string outputDir = "CheckerTests_CA_RICircuit_CA_RegularModelicaConnectorsNotConnectedInComponent";
string testBenchPath = "/@Tests|kind=Testing|relpos=0/@CheckerTests_CA|kind=Testing|relpos=0/@RICircuit_CA_RegularModelicaConnectorsNotConnectedInComponent|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void Fail_InvalidModelicaConnectorConnections_RICircuit_InvalidConnectionsTC()
{
string outputDir = "InvalidModelicaConnectorConnections_RICircuit_InvalidConnectionsTC";
string testBenchPath = "/@Testing|kind=Testing|relpos=0/@InvalidModelicaConnectorConnections|kind=Testing|relpos=0/@RICircuit_InvalidConnectionsTC|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.False(result, "CyPhy2Modelica_v2 should have failed, but did not.");
}
public void TestingParameterAndMetricMappings_MSD_for_testing()
{
string outputDir = "TestingParameterAndMetricMappings_MSD_for_testing";
string testBenchPath = "/@TestBenches|kind=Testing|relpos=0/@SingleConfig|kind=Testing|relpos=0/@TestingParameterAndMetricMappings|kind=Testing|relpos=0/@MSD_for_testing|kind=TestBench|relpos=0";
Assert.True(File.Exists(mgaFile), "Failed to generate the mga.");
bool result = CyPhy2ModelicaRunner.Run(outputDir, mgaFile, testBenchPath);
Assert.True(result, "CyPhy2Modelica_v2 failed.");
}
