public void TankRupturesWhenSensorDoesNotReportTankFullAndTimerDoesNotTimeout() { // Arrange var model = new PressureTankModel(); var simulator = new Simulator(model); model.Sensor.EnableFault<Sensor.SuppressIsFull>(); model.Timer.EnableFault<Timer.SuppressTimeout>(); // Act simulator.Simulate(TimeSpan.FromHours(1)); // Assert model.Tank.IsRuptured().Should().BeTrue(); }
public ModelCheckingTests() { _model = new PressureTankModel(); _spin = new Spin(_model); }
public void TankDoesNotRuptureWhenNoFaultsOccur() { // Arrange var model = new PressureTankModel(); var simulator = new Simulator(model); // Act simulator.Simulate(TimeSpan.FromHours(1)); // Assert model.Tank.IsRuptured().Should().BeFalse(); }