protected override void Check() { var components = Enumerable.Range(0, 5).Select(i => new C()).ToArray(); var model = TestModel.InitializeModel(components); IFaultSetHeuristic heuristic = new MinimalRedundancyHeuristic(model, components.Select(c => c.F1), components.Select(c => c.F2), components.Select(c => c.F3) ); var setsToCheck = new LinkedList<FaultSet>(); heuristic.Augment(0, setsToCheck); setsToCheck.Count.ShouldBe(125); setsToCheck.All(set => set.Cardinality == 12).ShouldBe(true); }
protected override void Check() { var components = Enumerable.Range(0, 5).Select(i => new C()).ToArray(); var model = TestModel.InitializeModel(components); IFaultSetHeuristic heuristic = new MinimalRedundancyHeuristic(model.Faults, components.Select(c => c.F1), components.Select(c => c.F2), components.Select(c => c.F3) ); var setsToCheck = new LinkedList <FaultSet>(); heuristic.Augment(0, setsToCheck); setsToCheck.Count.ShouldBe(125); setsToCheck.All(set => set.Cardinality == 12).ShouldBe(true); }