Skip to content
Permalink
Browse files

New evaluations

  • Loading branch information...
joleuger committed Feb 7, 2018
1 parent ab91fbc commit 01aad61f7dd80dce76a0ad53acd0de8467228efd
@@ -59,6 +59,8 @@ AddTest -Testname "HemodialysisMachine_AllHazardsWithoutStaticPruning" -TestAsse
AddTest -Testname "HeightControl_AllHazardsWithoutStaticPruning" -TestAssembly "SafetySharp.CaseStudies.HeightControl.dll" -TestMethod "SafetySharp.CaseStudies.HeightControl.Analysis.EvaluationTests.CreateMarkovChainWithBothHazardsWithoutStaticPruning" -TestNunitCategory "" -TestCategories @("Unhidden","HeightControl")
AddTest -Testname "HemodialysisMachine_SingleCore" -TestAssembly "SafetySharp.CaseStudies.HemodialysisMachine.exe" -TestMethod "SafetySharp.CaseStudies.HemodialysisMachine.Analysis.EvaluationTests.CalculateHazardSingleCore" -TestNunitCategory "" -TestCategories @("Unhidden","HemodialysisMachine")
AddTest -Testname "HeightControl_SingleCore" -TestAssembly "SafetySharp.CaseStudies.HeightControl.dll" -TestMethod "SafetySharp.CaseStudies.HeightControl.Analysis.EvaluationTests.CalculateHazardSingleCore" -TestNunitCategory "" -TestCategories @("Unhidden","HeightControl")
AddTest -Testname "HemodialysisMachine_SingleCore" -TestAssembly "SafetySharp.CaseStudies.HemodialysisMachine.exe" -TestMethod "SafetySharp.CaseStudies.HemodialysisMachine.Analysis.EvaluationTests.CalculateHazardSingleCore" -TestNunitCategory "" -TestCategories @("Unhidden","HemodialysisMachine")
AddTest -Testname "HeightControl_SingleCore" -TestAssembly "SafetySharp.CaseStudies.HeightControl.dll" -TestMethod "SafetySharp.CaseStudies.HeightControl.Analysis.EvaluationTests.CalculateHazardSingleCore" -TestNunitCategory "" -TestCategories @("Unhidden","HeightControl")



@@ -29,6 +29,7 @@
namespace SafetySharp.CaseStudies.RailroadCrossing.Analysis
{
using FluentAssertions;
using ISSE.SafetyChecking.ExecutedModel;
using ISSE.SafetyChecking.Modeling;
using Modeling;
using NUnit.Framework;
@@ -40,6 +41,7 @@ class HazardProbabilityRangeTests
[Test]
public void Calculate()
{
SafetySharpModelChecker.TraversalConfiguration.ModelCapacity = new ModelCapacityByModelSize(3300000L, 1000000000L);
var model = new Model();
model.Channel.MessageDropped.ProbabilityOfOccurrence = new Probability(0.0001);
model.CrossingController.Motor.BarrierMotorStuck.ProbabilityOfOccurrence = new Probability(0.001);

0 comments on commit 01aad61

Please sign in to comment.
You can’t perform that action at this time.