public void MineTestFail3()
{
try
{
MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
var field = new Field();
var miner = new HeuristicMiner(field);
miner.Mine();
Assert.Fail();
}
catch (Exception exception)
{
Assert.IsInstanceOfType(exception, typeof(Exception));
}
}
public void MineTestFail2()
{
try
{
MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
var field = new Field();
var miner = new HeuristicMiner(field);
miner.Mine();
Assert.Fail();
}
catch (Exception exception)
{
Assert.IsInstanceOfType(exception, typeof(Exception));
}
}
public void MineTest2()
{
MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
var field = new Field { EventLog = EventLogExample.ComplexEventLogVanDerAalst() };
var miner = new HeuristicMiner(field);
PetriNet actual = (PetriNet)miner.Mine();
Assert.AreEqual(33, actual.Transitions.Count);
Assert.AreEqual("D", actual.Transitions[2].Name);
Assert.AreEqual(44, actual.Places.Count);
// Assert.AreEqual("End", actual.Places[].Name);
}
public void MineTestFail1()
{
try
{
var miner = new HeuristicMiner(null);
miner.Mine();
Assert.Fail();
}
catch (Exception exception)
{
Assert.IsInstanceOfType(exception, typeof(Exception));
}
}
public void MineTest1()
{
MinerSettings.AddOrUpdateKey("AdjacencyThresholdSlider", 51);
MinerSettings.AddOrUpdateKey("MaximumRecursionDepthSlider", 10);
var field = new Field { EventLog = EventLogExample.ThreeCaseEventLog()};
var miner = new HeuristicMiner(field);
PetriNet actual = (PetriNet)miner.Mine();
Assert.AreEqual(1, actual.Transitions.Count);
Assert.AreEqual("A", actual.Transitions[0].Name);
Assert.AreEqual(2, actual.Places.Count);
Assert.AreEqual("End", actual.Places[1].Name);
}
