public void DialyzingFluidDeliverySystemWorks_ModelChecking()
{
var specification = new DialyzingFluidDeliverySystemTestEnvironment();
var analysis = new SafetyAnalysis();
var result = analysis.ComputeMinimalCriticalSets(specification, specification.Dialyzer.MembraneIntact == false);
result.SaveCounterExamples("counter examples/hdmachine");
Console.WriteLine(result);
}
public void DialyzingFluidDeliverySystemWorks_Simulation()
{
var specification = new DialyzingFluidDeliverySystemTestEnvironment();
var simulator = new Simulator(specification); //Important: Call after all objects have been created
var dialyzerAfterStep0 = simulator.Model.Roots.OfType <DialyzingFluidDeliverySystemTestEnvironmentDialyzer>().First();
var dialyzingFluidDeliverySystemAfterStep0 = simulator.Model.Roots.OfType <DialyzingFluidDeliverySystem>().First();
Console.Out.WriteLine("Initial");
//dialyzingFluidDeliverySystemAfterStep0.ArteryFlow.Outgoing.ForwardToSuccessor.PrintBloodValues("outgoing Blood");
//patientAfterStep0.VeinFlow.Incoming.ForwardFromPredecessor.PrintBloodValues("incoming Blood");
//patientAfterStep0.PrintBloodValues("");
Console.Out.WriteLine("Step 1");
simulator.SimulateStep();
/*
* //dialyzerAfterStep1.Should().Be(1);
* patientAfterStep4.BigWasteProducts.Should().Be(0);
* patientAfterStep4.SmallWasteProducts.Should().Be(2);*/
}
public void DialyzingFluidDeliverySystemWorks_ModelChecking()
{
var specification = new DialyzingFluidDeliverySystemTestEnvironment();
var analysis = new SafetyAnalysis();
var result = analysis.ComputeMinimalCriticalSets(specification, specification.Dialyzer.MembraneIntact == false);
result.SaveCounterExamples("counter examples/hdmachine");
Console.WriteLine(result);
}
public void DialyzingFluidDeliverySystemWorks_Simulation()
{
var specification = new DialyzingFluidDeliverySystemTestEnvironment();
var simulator = new Simulator(specification); //Important: Call after all objects have been created
var dialyzerAfterStep0 = simulator.Model.Roots.OfType<DialyzingFluidDeliverySystemTestEnvironmentDialyzer>().First();
var dialyzingFluidDeliverySystemAfterStep0 = simulator.Model.Roots.OfType<DialyzingFluidDeliverySystem>().First();
Console.Out.WriteLine("Initial");
//dialyzingFluidDeliverySystemAfterStep0.ArteryFlow.Outgoing.ForwardToSuccessor.PrintBloodValues("outgoing Blood");
//patientAfterStep0.VeinFlow.Incoming.ForwardFromPredecessor.PrintBloodValues("incoming Blood");
//patientAfterStep0.PrintBloodValues("");
Console.Out.WriteLine("Step 1");
simulator.SimulateStep();
/*
//dialyzerAfterStep1.Should().Be(1);
patientAfterStep4.BigWasteProducts.Should().Be(0);
patientAfterStep4.SmallWasteProducts.Should().Be(2);*/
}
