public void FullCoverageTreeShouldBeBuild(string file)
{
var petriNet = PetriNet.Parse(file);
var treeBuilder = new FullCoverageTreeBuilder(petriNet);
var tree = treeBuilder.Build();
/*Assert.IsTrue(tree.Root.Child.Count == 2);
Assert.IsTrue(tree.Root.Child[0].Child.Count == 2);
Assert.IsTrue(tree.Root.Child[1].Child == null);
Assert.IsTrue(tree.Root.Child[0].Child[0].Child == null);
Assert.IsTrue(tree.Root.Child[0].Child[1].Child.Count == 1);*/
}
public void FullCoverageTreeShouldBeBuildCorrectly()
{
var petriNet = PetriNet.Parse("Files\\petri_net_741.txt");
var treeBuilder = new FullCoverageTreeBuilder(petriNet);
var tree = treeBuilder.Build();
Assert.IsTrue(tree.Root.Child.Count == 2);
Assert.IsTrue(tree.Root.ChildTransitions.Count == 2);
Assert.IsTrue(tree.Root.Child[0].Child.Count == 2);
Assert.IsTrue(tree.Root.Child[0].ChildTransitions.Count == 2);
Assert.IsTrue(tree.Root.Child[1].Child == null);
Assert.IsTrue(tree.Root.Child[0].Child[0].Child == null);
Assert.IsTrue(tree.Root.Child[0].Child[1].Child.Count == 1);
Assert.IsTrue(tree.Root.Child[0].Child[1].ChildTransitions.Count == 1);
}
public PropertiesChecker(PetriNet petriNet)
{
_petriNet = petriNet;
_coverageTreeBuilder = new CoverageTreeBuilder(_petriNet);
_fullCoverageTreeBuilder = new FullCoverageTreeBuilder(_petriNet);
}
