Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
SourceChanges
HeightControlLowerAllSensors.json
HeightControlLowerDrivers.json
HeightControlLowerLightBarriers.json
HeightControlNormal.json
README.md
compile_unhidden.ps1
computer-infos.ps1
count source code.txt
download_nunit2.ps1
evaluation10_RailroadParameterized.ps1
evaluation1_HeightControlAll_benchmark.ps1
evaluation1_HeightControlAll_compare.ps1
evaluation1_HeightControlAll_summarize.ps1
evaluation1_HeightControlAll_tests.ps1
evaluation2_HeightControlOriginalParameterized_benchmark-new.ps1
evaluation2_HeightControlOriginalParameterized_benchmark.ps1
evaluation2_HeightControlOriginalParameterized_createGraph.ps1
evaluation2_HeightControlOriginalParameterized_summarize.ps1
evaluation2_HeightControlOriginalParameterized_tests.ps1
evaluation3_StateSpaces_benchmark.ps1
evaluation3_StateSpaces_tests.ps1
evaluation4_Hemodialysis_benchmark.ps1
evaluation5_Various_evaluations.ps1
evaluation6_AllSimpleProbabilities.ps1
evaluation7_Bayesian_Analysis.ps1
evaluation8_Hiding.ps1
evaluation9_AllProbabilityRanges.ps1
func_benchmarkTestCases.ps1
func_compareBenchmarks.ps1
func_createGraphCsvFromSummarizedLocalBenchmarks.ps1
func_summarizeLocalBenchmarks.ps1
func_testCases.ps1
paths.ps1
testCases-heightcontrol.ps1
testCases-hemodialysis.ps1
testingKnownErrorsEvaluation.ps1

README.md

Here you can find batch files for PowerScript to automatically execute all relevant benchmarks and summarize them in a .csv-file.

These scripts are highly platform dependent. It depends on the local system settings such as system language and system paths. To use them you have to adjust the paths and the system separator (delimiter) in the script files to your local environment.

  • download_nunit2.ps1 downloads NUnit.exe
  • computer-infos.ps1 writes system infos to pc.txt
  • testCases.ps1 contains the list of test cases to benchmark
  • benchmarkTestCases.ps1 benchmarks all test cases and writes the results to the local directory (one file for each test case)
  • summarizeLocalBenchmarks.ps1 summarizes all results of the local directory to one file

Note: You must run the following command first Set-ExecutionPolicy -ExecutionPolicy RemoteSigned -Scope CurrentUser

To undo Set-ExecutionPolicy -ExecutionPolicy Restricted -Scope CurrentUser

References

You can’t perform that action at this time.